Updated: Thu Jul 6 13:08:11 JST 2000 ---------------------------------------------------------------------- Call for Participation ISFST 2000 International Symposium on Future Software Technology 2000 August, 28-30, 2000 Guiyang, China Sponsored by Software Engineers Association (Japan), UNU/IIST (Macau) Guizgou University and Guizhou Academy of Sciences (China) ---------------------------------------------------------------------- This is the fifth symposium dedicated to the future software technology in succession to the series of annual international CASE Symposiums held in China since 1991. This symposium is organized by SEA (Software Engineers Association of Japan), UNU/IIST (International Institute of Software Technology of United Nations University), Guizhou University, and Guizhou Academy of Science. Usually, ISFSTs have been held in October-November period. But, this year's ISFST is scheduled in August as a satelite event of ICS2000 (one of the IFIP Congress held in Beijing in the week of August 20-25). Also, a pre-symposium workshop titled as IWSEPPA (International Workshop on Software Engineering for Post-PC Age) will be held on August 24 in Beijing within ICS2000. The theme of the symposium is "Software Technology Catering for 21st Century". From about 80 submissions, 44 papers were selected for technical presentations, and 18 papers for working group sessions. One of the unique features of the ISFST is that the program includes informal but intensive working-group style discussion sessions besides regular paper presentations. The selected topics of this year's symposium are: (1) Development Method (2) Software Development Process (3) Web based Information System (4) HCI & CSCW (5) Free Software & Open Source Program committee decides to invite two distinguished keynote speakers: Mr. Kouichi Kishida (SRA, Japan) and Prof. Ruqian Lu (Academy of Science, China). Program Framework: ---------------------- Day 1 (August 28, Mon) ---------------------- 8:30 - 9;00 Opening 9:00 - 10:00 Keynote 1 by Mr. Kouichi Kishida (SRA, Japan) 10:30 - 12:00 Technical Paper Sessions: 1-A, 1-B, 1-C 1-A: Object Oriented Software 1-B: Component technology 1-C: Testing and Process 12:00 - 13:00 Lunch Break 13:00 - 14:30 Technical Paper Sessions: 2-A, 2-B, 2-C 2-A: Database 2-B: Artificail Intelligence 2-C: Mutimedia and Computer Graphics (1) 14:45 - 16:15 Technical Paper Sessions: 3-A, 3-B, 3-C 3-A: Programming Language and Formal Method 3-B: Human-Computer-Interaction and XML (1) 3-C: Mutimedia and Computer Graphics (2) 16:30 - 18:00 Technical Paper Sessions: 4-A, 4-N 4-A: Network and Distributed Systems (1) 4-B: Human-Computer-Interaction and XML (2) 19:00 Reception ---------------------- Day 2 (August 29, Tue) ---------------------- 8:30 - 10:30 Technical Paper Sessions: 5-A, 5-B, 5-C 5-A: Network and Distributed Systems (2) 5-B: Web-based Information Systems 5-C: Algorithm 11:00 - 13:00 Workshop Paper Sessions: WS-1, WS-2, WS-3 WS-1: Method WS-2: Web-based Information Systems WS-3: HCI, CSCW, and Free Software 13:00 - 14:00 Lunchon Break 14:00 - Working Group Sessions WG-1: Development Method WG-2: Software Development Process WG-3: Web-based Information System WG-4: HCI & CSCW WG-5: Free Software & Open Source ---------------------- Day 3 (August 30, Wed) ---------------------- 8:30 - 9:30 Kenote 2 by Prof. Ruqian Lu (Academy of Science, China) 10:00 - 12:00 Working Group Report 12:00 - 12:30 Closing ---------------------- Day 4 (August 31, Thu) ---------------------- All day Technical visit and open-air discussion --------------------------------------------------------------------- Detailed Program will be found at SEA's web page: http://www.sea.jp/ ----------------------------------------------------------------- ISFST 2000 Conference Registration Form Please complete and return this form until August 10 to ISFST 2000 Secretariate (Prof Li Danning of Guizhou Academy of Science: Prof Li Danning Director, R&D Department Guizhou Academy of Sciences 40 East Yanan Road, Guiyang, Guizhou 550001, China Tel: +86-851-682-4176 Fax: +86-851-682-6514 E-Mail: lidn@mail.guz.cei.gov.cn ------------------------------------------------------------------------- Title: Prof. Dr. Mr. Mrs. Ms. --- --- --- --- --- Name: ________________ _______________ _________________ Sex: (Surname) (First name) (Middle name) Nationality: Passport No.: Mailing Address: Tel: Fax: E-Mail: Acompanied Person (if any): Name: _______________ ______________ _________________ Sex: (Surname) (First name) (Middle name) Nationality: Passport No.: Registration Fee: Foreign Expert: US$ 700.00 Foreign Student: US$ 350.00 (2 persons share 1 hotel room) Accompanied Person: US$ 350.00 (shares same room with participant) (The registration fee includes a copy of the proceedings, 5 nights of accomodation at Ziwei Hotel, banquet, and after-symposium technical tour on Aug 31.) Method of Payment: Please pay in Cash or Traveller's Check on site ------------------------------------------------------------------------ Conference Venue: ISFST2000 will be held at Ziwei Hotel, located in the downtown area of Guiyang City, the capital of Guizhou Province. The city is on a plateau at an altitude of 1,000 meters. The terrain is rugged, with karst formations, undrground river, jagged leaks, dramatic valleys and terrassed rice fields. 26% among the population are minorities, who retain most of their unique customs. Capital city Guiyang also has karst caves, wild monkeys, some temples, and a bird sanctuary. Climate in the summer is mild, less than 30 degrees centigrade. Also, Guizhou is the hometown of the world-famous Maotai liquor. Ziwei Hotel is a kind of resort-style hotel located in the downtown area of the city near the office of Guizhou provincial government office. Address: No.7 Zjhaiji Raod, Guiyang 550004, China Tel: +86-851-687-1681, Fax: +86-851-682-6364 Access to Guiyang: Guiyang is reachable by air from major cities in China. There are daily flights from Beijing and Shanghai. Inter- national direct flights are available from Hong Kong (but not daily). Please inform your arrival schedule to ISFST2000 Secretariat. Local arrange ment people will see you at the airport. VISA: If you need to have a formal invitation letter to get VISA to China, please contact to ISFST secretariat. ---------------------------------------------------------------------------- **************** Tentative Program ********************* Aug/28(Mon.) AM 9:00 Opening AM 9:30 Key Note 1 AM 11:00 TS1-A(3) TS1-B(3) TS1-C(3) Lunch PM 1:00 TS2-A(3) TS2-B(3) TS2-C(3) PM 2:45 TS3-A(3) TS3-B(3) TS3-C(3) PM 4:30 TS4-A(3) TS4-B(3) Aug/29(Tue.) AM 8:30 TS5-A(4) TS5-B(4) TS5-C(4) AM 10:30 WS1(6) WS2(6) WS3(6) PM 1:30 WG1 WG2 WG3 WG4 WG5 Aug/20(Wed.) AM 8:30 Key Note 2 AM 10:00 Working Group Report AM 11:30 Closing TS : Technical Paper Session (Regular Presentation) WS : Workshop Paper Session (Short Presentation) WG : Working Group (Group Discussion) ( ) : Number of Papers ------------------------------------------------------------------------ Technical Session Session Session Title Paper Numbers Number TS1-A OOSW N3, N21, N23 TS1-B Component N14, N16, C4 TS1-C Testing & Process N19, C12, C26 TS2-A DB N7, N13, C37 TS2-B AI C17, C30, C51 TS2-C MM & CG (I) C14, C24, C55 TS3-A PL & Formal Method N1, N8, N24 TS3-B HCI & XML (I) N5, N18, N20 TS3-C MM & CG (II) C10, N4, C53 TS4-A Network & Distributed Sys. (I) C2, C11, C29 TS4-B HCI & XML (II) N6, N9, N15 TS5-A Network & Distributed Sys. (II) C13, C39, C46, C48 TS5-B WIS N2, N22, C35, C49 TS5-C Algorithm C16, C33, C52, C28 OOSW : Object-Oriented Software HCI : Human Computer Interaction WIS : Web-based Information System MM : Multimedia CG : Computer Graphic ------------------------------------------------------------------------ Aug/28(Monday) AM 9:00 Opening -------------------- AM 9:30 Key Note 1 New Software Paradigm in the Internet Age: Conceptual Model for the Evolution of Open Source Software as a Free City on the Internet Kouichi Kishida (SRA,Japan) -------------------- AM 10:30 TS1-A : OOSW A progressive view of use case modeling Liwu Li (University of Windsor, Canada) Translating OMT state diagrams with concurrency into SDL diagrams Simona Vasilache, Jiro Tanaka(University of Tsukuba,Japan) UML Refinement for Object-Relational Database Pujianto Yugopuspito, Keijiro Araki (Kyushu University, Japan) TS1-B : Component Adoption Component Management Model for Developing a Domain Framework Sang-Geun Kim, Je-Min Bae(Kwandong University, Korea) A Methodology for CORBA Component Development Based on Software Architecture Chang-Joo Moon , Doo-Kwon Baik(Korea University,Korea) An Integration Method Based On Business Component For ERP Zheng Mingchun, Yang Lijie, Feng Mei, Liu Hong (Shandong Normal University,China) TS1-C : Testing & Process Debugging Process Models based on changes in Impressions of Software Modules Shinji Uchida, Akito Monden, Hajimu Iida, Ken-ichi Matsumoto, Katsuro Inoue and Hideo Kudo (NAIST etc.,Japan) Block-based Test Data Adequacy Measurement Criteria and Test Complexity Metrics Jianjun Yang,Weidong Chen,Chengqing Ye (Zhejiang University, China) Software Process Management and Automation to Establish ISO9001 Quality System Shen Beijun, Chen Cheng, Ju Dehua,Gu Chunhua,Lu Jianliang (Application Solutions & Technologies Inc. Shanghai Corp.) -------------------- PM 1:00 TS2-A : DB Schema Integration in Multidatabase Systems Using the Extension of SQL3 Mi-Yeon Kim, Ju-Won Song (Multimedia Technology Research Laboratory, Korea), Jung-Uk Lee, Doo-Kwon Baik(Korea University, Korea) Design and Implementation of Component Registry Using XML Chee-Yang Song, Sung-Bin Yim, Chang-Joo Moon, Doo-Kwon Baik(Korea University, Korea) Constraint-based Spatial Data Query Chen Lianggang, Wang Haibing, Shi Baile (Fudan University, China) TS2-B : AI The Algorithm of Move Death Piece In Computer Go Wang JingHui, Li Xiang (Guizhou University, China) Minimum and Maximum Classification Rules For KDD and Their Algorithms Shu Cheng, Chen Xiaorong, Wang Hanhu (Guizhou University, China) The Pseudo-Petri-Net Representation of Nonmonotonic Reasoning Systems Xu Daoyun, Ding Decheng(Nanjing University) TS2-C : MM & CG (I) A Fast Motion Estimation Algorithm Based on The Spatial Correlation and The Time Continuity of The Motion Object Zhou Haishan, Chen Xiaowei, Zhang Jian (Guizhou University, China) An N-tiered Architecture for Internet Online Multimedia Data Cataloguing Yu Lijun, Xu Manwu(Nanjing University, China) A MAS-based CSCW System Xiaosu Zhan, Zongkai Lin, Guang Xu (AirForce Command College) -------------------- PM 2:45 TS3-A : PL & Formal Method Implementing Prolog with chronological garbage collection Xining Li(Lakehead University, Canada) Machine Processing semantic information with Universal COmputational Model Yoshiya Nakata, Atsushi Kumazaki (Nanzan University, Japan) Case Studies of Formal Approaches to Domain Modelling and Specification Keijiro Araki, Han-Myung Chang, Toshiyuki Tanaka (Kyushu Univ., Japan) TS3-B : HCI & XML (I) EDS: a Simulation and Animation Platform based on Terrain Data Tomohiro Oda(SRA, Japan) A Problem-Independent Tool for Visualizing Requirement-driven Design Meetings Kei Kurakawa (NAIST), Kumiyo Nakakoji (NAIST, SRA, JST), Takashi Kiriyama(University of Tokyo, Japan) An Interational Model for Experimental Data Analysis (Using Spatial Positioning) Yasuhiro Yamamoto (NAIST), Kumiyo Nakakoji(NAIST,SRA,JST), and Atsushi Aoki(SRA) TS3-C : MM & CG (II) Shape creation using Teddy implemented in Jun Atsushi Aoki(SRA, Japan) Froth image processing Windows program and different languages interfaces Weixing Wang and Luya Wang(Hunan Normal University,China) Evaluating Membership Queries Efficiently Using Bitmap Indices Hongxing Tan, Longxiang Zhou(Henan University) -------------------- PM 4:30 TS4-A : Network & Distributed Sys. (I) Conformance Testing for Routing Protocols Based on Petri Net Models Wang Lirui, Ye Xinming(Inner Mongolia University,China) Load Balancing among Internet Server Clusters By Forwarding-based Request Dispatching Ni Shirong,Wang Lian,Zheng Weimin, Shen Meiming (Tsinghua Univ.) Active network Architecture Based on Extended Services Router Xu Ke, Wu Jian-ping, Jiang Yong, Xu Ming-wei(Tsinghua Univ.) TS4-B: HCI & XML (II) Using Interactive Cone Trees and Filter to Understand Large Class Hierarchies Jauhar Ali, Yoshiyuki Nishinaka(SRA, Japan) A Method of Usability Testing by Measuring Brain Waves Jian Hu, Masahiro Nakanishi, Hirokazu Tagaito, Kazuyuki Shima, Ken-ichi Matsumoto, Katsuro Inoue, and Koji Torii(NAIST, Japan) Design and Implementation of an XML Generating Interface for ISO 11179-based Data Registries Hong-seok Na, Yoo-seung Yang, Hea-sook Park, Doo-kwon Baik(Korea University,Korea) ------------------------------------------------------------------------ Aug/29(Tuesday) AM 8:30 TS5-A : Network & Distributed Sys. (II) Security design of mobile agent system Wang jihong,Hu jianping,Hu kai (Beijing University of Aeronautics and Astronautics,China) On Nested Real-Time Transactions Yunsheng Liu, Liping Yu (Huazhong University of Science and Technology) A Mathematical Model and Algorithm of Quality of Services Routing Zou Yang, Zhang Mingyi, Ning Zhou(Guizhou University) Integration of Collective I/O and Data Sieving Li Ji, Lu Sanglu, Chen Guihai, Xie Li(Nanjing University) TS5-B : WIS Virtual index system for information retrieval in WWW environment Chang-Hwa Kim(Kangnung National University, Korea) A Report on Empirical Studies of Web Search Processes Akio Takashima, Yasuhiro Yamamoto(NAIST), Kumiyo Nakakoji(NAIST,SRA,JST) The Design of the B/S architecture of Java-Based in Control Configuration System Gao Jianyi,Song Lizhe,Yu zhengtao,Che Wengang (Kunming University of science and technology,China) Intelligent Residence's Estate Management and Information Service System Liu Feng Ming, Tan Ke Jian(Chongqing Jian Zhu University) TS5-C : Algorithm Genetic Algorithm of solving semi-infinite nonlinear programming Zhang Jianhong,Li Xiang(Guizhou University,China) An Approach for Developing Parallel Algorithmic Programs Wang Mingwen,Sun Yongqing,Xue Jinyun (Shanghai Jiaotong University) Liveness and Boundedness of Weighted Extended Strong Asymmetric Choice Nets II Jiao Li, Lu Weiming(Academia Sinica) A New Algorithm for Computing Network Reliability Based on Cutsets Chen-Mingming, Zhao-Lianchang, Wang-Deqiang (Dalian Maritime University,China) -------------------- AM 11:00 Workshop Paper Session WS 1 : Method Security design of mobile agent system Wang jihong,Hu jianping,Hu kai (Beijing University of Aeronautics and Astronautics,China) The Research on Function Object Reuse on the Multimedia Heterogeneous Platforms Li zhi,Zhu yi (Jiangsu University of Science &Technology,China) Research on Efficient Algorithms of Bilevel Programming Problems Chen Ning, Zhou Longxiang, Chen An, Liu Lu (Chinese Academy of Science,China) An Object-Oriented Software Design Method for Real -Time Multitask Systems Li Yun, Xiong Guangze (University of Electronic Science and Technology,China) Formal Development of Graph and Tree Algorithmic Programs Using PAR Method Xue Jinyun (Computer Software Institute,Jiangxi Normal University) The Application of Hierarchy Poll Protocol in Wireless Data Communication Mingzhong Xiao, Quanping Liao, Zhenquan Ding(Guizhou Univ.) WS 2 : WIS ISM Conversion Algorithm for the Definition of Distributed Objects IDL Soo-Hyun Park, Sung-Gi Min, Tai-Suk Kim (Dong Eui University, Korea), Doo-kwon Baik(Korea University, Korea) A Data Registry-based Environment for Sharing CALS/EC Metadata Hea-Sook Park, Doo-Kwon Baik(Korea University,Korea) Ssomar: Schedule Management System utilizing active concept in Web Young-Shil Kim(Daelim Technical College), Doo-Kwon Baik (Korea University,Korea) Research on Data Mining Framework Based on Rough Sets LI Long-Shu, CHENG Hui-Xia, ZHU Yu, ZHANG Xia (Anhui University,China) Developing Technology Research of Web Database Dynamic Publishing Platform Fu Xiu-fen, Li Zhi-jun, Luo Ning,Wang Jing (Guangdong University of Technology,China) The Design of library web retrieval system & Database Security Duan FU, Li Chunzhi, Nie Liqin, Zhang Xingzhong, Zhu Qiming(Taiyuan University of Technology,China) WS 3 : HCI & CSCW & Free Software The Role Network Team in Software Engineering Xuefen Fag(SRA, Japan) Applications of Network and Telecommunication Techniques to the Automated Measurement and Monitoring System of the Hydrology in the XiaoLangDi Pivotal Hydraulic Projects Zhao Xinsheng, Ji Junfeng, Wang Baohua, Zhao Anlin (Hydrology Bureau of Yellow River Conservancy Commissio,China) The Study of Analogy Reasoning and Consistency Maintenance in Common Sense Knowledge Base Based on Agent and Ontology Hu Sikang, Zheng Hong, Chen Xiaorong, Wang Hanhu (Guizhou Univ.) Commonsense about Emotion Anaphora Analysis Yang Fan(Academia Sinic, China) The Open Decision-making Support System For Estate Exploitation Weitao Wang, Kuangsheng Ma, Jiangao Zhang, Xiaohong Zhu (Chongqing Architecture University) The Real-Time Characteristics of the Linux Kernel Xiafengli, Yima(Shanghai Jiaotong University,China) -------------------- PM 2:00 Working Group(Discussion) WG 1 : Development Method - OO, UML, Design Pattern, Extreme Proramming Chair:Ochimizu(JP) Talk: Tamai(JP) WG 2 : Software Development Process - CMM, ISO900x, SPA Chair:Shioya(JP) Talk:Matsubara(JP) WG 3 : Web based Information System - XML,CORBA,DCOM, Web DB Chair:Itoh(JP) Talk:Kumagai(JP) WG 4 : HCI & CSCW - User/System Interface Visualization Chair:Tanaka(JP) Talk:Nakakoji(JP) WG 5 : Free Software & Open Source - GNU/Linux, Cathedral & Bazaar Chair:Hayashi(JP) Talk:Hayashi(JP) ------------------------------------------------------------------------ Aug/30(Wedensday) AM 8:30 Key Note 2 Lu Ruqian(China) -------------------- AM 10:00 Working Group Report -------------------- AM 12:00 Closing --------------------------------------------------------------------------