ISFST2001 Tentative Program Plan
------------------------------------------------------------
Nov 4 (Sunday)
Arrive to Zengzhou
Registration at Songshan Hotel
------------------------------------------------------------
Nov 5 (Monday)
09:00 - 09:30 Opening
09:30 - 10:30 Keynote-1
The Software Technology of the 21th Century:
From Software Reuse to Collaborative Software Design
Prof. G. Fischer (Univ of Colorado)
10:30 - 11:00 Break
11:00 - 12:30 Technical Sessions (3 Tracks):
Session 1A : Formal Method
Systematics Generation of Statechart from VDM-SL in Multi-Aspect Formal
Methods for System Development
Toru Endo, Keijiro Araki (Kyushu Univ), Han-Myung Chang (Nanzan Univ)
An Example of Formal Specifiction and Verificatiopn Using PVS
Hongli Yang, Jungang Han (Xi'an Univ of Post & Telecommunication),
Kegang Hao (Northwest Univ)
Automating Specification-based TestSuites Generation
LIU Ling, MIAO Huaikou (Shanghai Univ)
Session 1B : Object-Oriented Software (1)
Model of Train Operation Based on Petri Net with Objects(*)
Ye Yangdong (Zhengzhou Univ),
Jia Limin (China Academy of Railway Science)
Research on Extensible Management Services Object and Its Application
in Internet Management
Zhang Jing, Yi Hangjun(Beijing Univ of Aeronautics & Astronautics)
Session 1C : Network
Multi-Role Communicator: A New Secretary Agent System for Scheduling
on the Internet
Makoto Sakai (SRA Key Technology Laboratory), Hiroshi Igaki,
Hajimu Iida, Ken'ichi Matsumoto
(Nara Institute of Science and Technology)
Integrating Heterogeneouus Netwaork Elements via IMT-2000
by Using ASIB of AIN
Soo-Hyun Park (Dongeui Univ)
Design of Dynamic Protocol Selection Architecture for Reliable Multicast
Transport
Kensuke Shibata, Koji Okamura, Keijiro Araki(Kyushu Univ)
12:30 - 14:00 Lunch
14:00 - 16:00 Technical Sessions (4 papers):
Session 2A : Algorithm
Dynamic Parameter Spring Modeling Algorithm for Graph Drawing
Xuejun Liu, Buntarou Shizuki, Jiro Tanaka (Tsukuba Univ)
Register Allocation of Software Pipelining with Predication Using
Spiral Graph
Hiroya Itoga(Tsukuba Univ), Tomohiro Haraikawa(Shizuoka Univ),
Yoshiyuki Yamashita (Saga Univ), Jiro Tanaka (Tsukuba Univ)
Optical Thin Film Optimisation Design by Genetic Algorithms(*)
D.G.Li, A.C.Walson(Edith Cowan Univ)
Apply P-F Method to Extended Petri Net
Zhou Zhiying, Song Weiwei (Tsinghua Univ)
Session 2B : Object-Oriented Software (2)
CORBA-based Management Architecture for CDMA2000 BSS(*)
Ye Wen, Cheng Xiaowen, Weifang, Du Ying
(Beijing Univ of of Post and Telecommunications)
Integrating CORBA with DCOM via Proxy(*)
Wang yang(COMTECH Information Engineering),
Wang Zhenyu (Wuhan Digital Engineering Institute)
Preliminary Researches on Object Dependency and Key
Wu Yonghui (Fudan Univ, East China Normal Univ, ISCAS)
The Competing Distributed Computing Technoligies(*)
Yun-Tao Zhang, Ming-Guang Ouyang, Yong-Cheng Wang, Ling Gong
(Shanghai Jiao-Tong Univ)
Session 2C : Web-Based Information System
An Overview of Object Image-based Intelligent Alarming / Monitoring
System over the Wired and Wireless Communication Network
Changhwa Kim (Kangnung National Univ)
Design and Implementation of Knowledge Distributed Collaborative
Learning System Based on Web
Chen Qingzhang, Zhao Xiaomin, Lv Lingyan
(Zhejiang Univ of Technology)
Testing in Web
Li Qian, Ling Hui, XuYoungsen (Nanjing Univ, Nanjing)
The Research and Development of a Complicated Trade System Supporting
Multiple Trading Modes(*)
Zhang Zhihong, Lu Mingye (Beijing Institute of Technology),
Li gongyuan, Wang Shiqing (Zhengzhou Univ)
16:00 - 16:30 Break
16:30 - 18:00 Technical Sessions (3 papers):
Session 3A : Programming Language
Optimization for Exception Handling by Two-Return-Values Method
Yuji Chiba (Hitachi Ltd)
Describing a Drawing Editor by Using Constraint Multiset Grammers
Kazuhisa Iizuka, Jiro Tanaka, Buntarou Shizuki (Tsukuba Univ)
A Denotational Semantics for Graph-Based Active Rules
Xu ChangXing, Liu YunSheng, Xu guiping (Huazhong Univ)
Session 3B : Process Model
A Internet-based Online Issue Management System for Software Projects
Lu Jianliang, Zhang Youren, Shen Beijun (East China Univ of Science &
Technology), Zhang Yuanfang (Fudan Univ)
Towards Flexible and High-Level Process Modeling Language
Chen Cheng (Chinese Academy of Sciences),
Shen Beijun (East China Univ of Science and Technology)
Three Levels of Workflow Process Model(*)
Wang Binjun, Hao Kegang (Northwest Univ)
Session 3C : Requirement & Design
Integrated Requirement Mangement System
Sooyong Park, Jae-seung Song, Kehwi Lee (Sogang Univ)
Software Component Search Based on Behavioral Specification
Akira Mori (National Institute of Advanced Industrial S&T),
Toshimi Sawada (SRA Key Technology Lab), Kokichi Futatsugi
(Japan Advanced Institute of Science & Technology)
Synthesizing Statecharts from Multiple Interrelated Scenarios
Simona Vasilache, Jiro Tanaka (Tsukuba Univ, Tsukuba)
18:00 - 18:30 Break
18:30 - 20:00 Reception
------------------------------------------------------------
Nov 6 (Tuesday)
09:00 - 10;00 Keynote-2
Product Line Software Engineering:
An Emerging Software Reuse Paradigm
Prof. Kyo C. Kang (Postech)
10:00 - 10:30 Break
10:30 - 12:30 Technical Sessions (4 papers):
Session 4A : Software Testing
Relationship between the Probabilities of Detecting at Least One Failure
for Test Case Selection with and without Replacement
S. Ng, T.Y Chen, M.F. Lau (Swinburne Univ of Technology)
Describing, Analyzing and Managing Software Problem in Software Testing
SUN Chang-ai, JIN Mao-zhong, LIU Chao, ZHANG Mei (Beijing Univ of
Aeronautics & Astronautics)
Software Testability Meaqsurement for Interconnection between Modules
Zhang Jun (Beijing Univ of Aeronautics & Astronautics)
Study of Quantitative Measurement Method for Parameters in
Image Processing(*)
LV Mingzhong, GAO Dunyue (East China Univ)
Session 4B : System Implementation
An Architecture of OLAP System(*)
Baojun Qiao, Qiang Liu, Zheng Zhang, Zhiguo Chen(Henan Univ),
Hongxing Tan(Chinese Academy of Scinece)
Design and Implementation of Reflective Middleware
Yang Sizhong, Liu Jinde
(Univ of Electronic Science and Technology of China)
Implement Forward Mechanism ona Virtual Cluster Environment(*)
Yi Zhang, Jianping Hu (Beijing Univ of Aeronautics & Astronautics)
The Implementation of Lazy Baysian Rule in Weka System(*)
Zhihai Wang (Northern Jiatong Univ, Deakin Univ),
Geoffrey I.Webb, Honghua Dai (Deakin Univ)
Session 4C : Database
A Dynamic Load Balancing System Based on Data Migration
Liang Hu, A.Goscinski (Deakin Univ)
Alternating Well-Founded Semantics for Extended Disjunctive Databases
Zou Yang, Ning Zhuo (Guizhou Univ), Zhang MIngyi(Southwest Normal Univ)
Modes of Heterogeneous Database Replication Methodology(*)
Jing Zhe, Yufang Sun (Chinese Academy of Sciences),
Xin Chen (Beijing Information Technology Institute)
A Novel Meta-rule Guided Algorithm for Multi-Dimensional Association
Rule Mining
Ming Fan, Changyong Niu, Guoqiang Cai (Zhengzhou Univ)
12:30 - 14:00 Lunch
14:00 - 18:00 Working Group Sessions;
Working Group A : Human Computer Interaction (5 papers)
Model Construction and Validation Using ASADAL/OBJ
Hye Jung Kim, Jongha Yun (SRA Key Technology Laboratory)
Web-Based XML Authoring
Y.S. Kuo, Jaspher Wang, C.F. Wei
(Institute of Information Science Academia Sinica)
A Generic Analysis Tool with Attributes Path Query
Toshiyuki Tanaka, Yoshikazu Watanabe, Keijiro Araki (Kyushu Univ),
Han-Myung Chang (Nanzan Univ)
ARTWare : A Component Library for Building Doamin-Oriented Authoring
Environment
Yasuhiro Yamamoto (Grad. School of Information Science, NAIST),
Kumiyo Nakakoji (Intelligent Cooperation and Control Group),
Atsushi Aoki (SRA Key Technology Laboratory)
A Framework Modeling of Geological Related Spatial Data in 3D Scene
Xu Hua, Wu Qiang(CUMT)
Working Group B : Database/Methodology (6 papers)
A Method to Construct the Topic Maps from the RDF Schema
Shin-Ae Shin, Doo-Kwon Baik (Korea Univ)
Multimedia database system for ballistics firearms identification based on
images of cartridge Case and projectile
D.G.Li, A.C.Walson (Edith Cowan Univ)
On Engineering Programming Discipline
Youliang Zhong (Hypersoft)
Knowledge Management in Software Engineering
Dehua Ju (ASTI Shanghai)
Multimodal Intergration System Design: A Brief Introduction to ETD
Software Structure
Qing Jing, Wang Xiaonan, Wang Heng, Dong Shihai (Peking Univ)
A Design Pattern for Developing Parallel Divide-and-Conquer Programs(*)
Wan Jianyi(Jiangxi Normal Univ, Shanghai Jiaotong Univ),
Xue Jinyun(Jiangxi Normal Univ, Chinese Academy of Sciences)
Working Group C : Mobile Computing (5 papers)
A Multiple Mobile Agent System Model for Distributed Mobile Computing
Environments
Dong Won Jeong, Doo-Kwon Baik (Korea Univ)
A Study of Performance Evaluation Modeling Method for The 3rd
Generation Mobile Communication Network
Young Joon Kim, Dong Won Jeong, Doo-Kwon Baik (Korea Univ)
A Probability-based Approach of Transaction Consustency in Mobile
Huai-Zhong Lin, Chun Chen, Bo Zhou (Zhejiang Univ)
Enhancing Workflow Interoperability by Mobile Agent
Weishuai YANG, Shanping LI, Ming GUO (Zhejiang Univ)
Mobile Agent Applying for Network Fault Operation(*)
Puhan Zhang, Yufang Sun (Chinese Academy of Sciences)
Working Group D : Network Technology (8 papers)
An Algorithm to Identify Protocol States Applied in the Online Test
Yi xin Zhao, Jian ping Wu (Tshinghua Univ)
A Unified Authorization Scheme for Web and Database Integration System
Chen Qingzhang, Lin Jianming, Zhao Xiaomin, Lv lingyan
(Zhejiang Univ of Technology)
Allow Multiple Retransmisson for Real-time Packet Loss Recoverly
Hu Fei, Zhu Yaoting, Zhu Guangxi(Huazhong Univ)
On Special Forms of Interval Routing Schemes(*)
Qingxiu Shi, Zhizhou Zhao(Xiamen Univ)
Path Recommendar Syatem Based on HMM(*)
Wu XinLing, Wang Zebing, Feng Yan, XiangGang(Zhejiang Univ)
The Distributed Snapshot Algorithm on the Basis of the Hypercube Structure
Zhao Zhizhuo, Huang Xiaowei, Zhu Qingjia(Xiamen Univ)
Weak Serializable Concurrency Control for Real-Time Transactions
in Broadcast Environment(*)
Liu Yunsheng, Dang Depeng(Huazhong Univ of Science and Technlogy)
Evening Free
------------------------------------------------------------
Nov 7 (Wednesday)
09:00 - 10:00 Keynote-3
The Trends of the Internet and Its Environments
Prof.Li Wei
(Beijing University of Aeronautics & Astronautics)
10:00 - 10:30 Break
10:30 - 12:30 Closing Panel (SPI/SPA Activities in Asia)
Role of Automation in Software Process Improvement Acitivities
Gargi Keeni, Dibyendu Biswas (Tata Consultancy Services)
Building and Managing Safety Critical Systems
T. Matsubara (Matsubara Consulting)
Toward a Mature Software Industry With Mature
Dehua Ju (Shanghai Software Industry Association, Shanghai Software
Quality Consortium)
TBD (Korea)
????
TBD (USA)
????
12:30 - 13:30 Lunch
Afternoon Visit Henan Provincial Museum
Evening Free
------------------------------------------------------------
Nov 8 (Thursday)
1 day Excursion to Kaifeng City (Post Symposium Workshop)
------------------------------------------------------------
Nov 9 (Friday)
Leave Zengzhou
**** OR ****
Nov 9-10 (Friday-Saturday)
Optional Tour to Loyang City
------------------------------------------------------------
|
|
[HOME][PROGRAM][REGISTRATION][ACCESS][VISA][LOCAL INFO][STAFF] |