ISFST'99 Advance Program

                      October 27 - 29

		   at Nanjing Grand Hotel
                       Nanjing, China

  -----------------------------------------------------------
                         Framework
  -----------------------------------------------------------
     Day 1 (October 27)

      9:00                Opening
      9:30 - 11:00        Keynote 1 by Xichang Zhong
     11:00 - 13:00        Lunchon Break
     13:00 - 15:00        Technical Paper Sessions 1-A, 1-B, 1-C
     15:30 - 17:30        Technical Paper Sessions 2-A, 2-B, 2-C
     18:00                Reception

     Day 2 (October 28)

      8:30 - 10:00        Keynote 2 by Dr. Richard Stallman
     10:30 - 12:30        Technical Paper Sessions 3-A, 3-B, 3-C
     12:30 - 14:00        Lunchon Break
     14:00 -              Working Group Sessions

     Day 3 (October 29)

      8:30 - 10:30        Technical Paper Sessions 4-A, 4-B, 4-C
     11:00 - 12:30        Working Group Report
     12:30 - 13:30        Lunchon Break
     13:30 - 15:00        Invited Talk by Prof. Xueshi Lu
     15:00                Closing
  -----------------------------------------------------------

Details

------------------------------------------------------------------------------
Day 1 (October 27 Wed)
------------------------------------------------------------------------------

  Keynote 1       Professor Xichang Zhong (CAS/SEC)

	Embedded Operating System and "Nu Wa" Project

  Technical Paper Session 1-A: Web and Security

	Complex query for the semi-structured objects on the Web
		Yu Zhang,Kang Zhang (Macquarie University)
	An Inteligent Interface Agent for Web-Based Information Retrieval
		Jun Li, Lingling Zhang, Jingui Pan (Nanjing University)
	A Deduction Engine for Security Logic
		Takamichi SAITO, Wu WEN, Fumio MIZOGUCHI (Science University of Tokyo)
	A Source, Automatic Protocol for Electronic Commerce
		Wu Zhigang, Fang Binxing, Sun Peng (Harbin Institute of Technology)

  Technical Paper Session 1-B: Method and Environment

	A Method supporting Datatype in XML based on Data Registry
		Jin-Seok Chae, Hong-Seok Na, Chang-Wha Kim, Doo-won Baik (Korea University)
	An Adaptive Version-Controlled File System
		Makoto Matsushita, Tetsuo Ymamoto, Katsuro Inoue (Osaka University)
	A Design Development in Production Control System of ERP
		Hwa Gyoo Park (Electronic Telecommunicatin Research Institute)
	Research on the Model of Software development Based on Reuse
		You Xiaoming (Hubei Normal University),
		Chen Chuanbo (Huazhong University of Science and Techonology), 
		Liu Sheng (Hubei Normal University)

  Technical Paper Session 1-C: Visual Programming

	Three-dimensional Visualization of Java Class Library
		Jauhar ALI, Yoshiyuki NISHINAKA (Software Research Associates Inc.)
	"3D-PP":Visual Programming System with Three-Dimensional Representation
		Takashi Oshiba, Jiro Tanaka (University of Tsukuba)
	VIC:CMG Input System Using Example Figures
		Kenichirou Fujiyama, Kazuhisa Iizuka, Jiro Tanaka (University of Tsukuba)
	Syntax-Directed Computations in the VisPro Graph Rewriting System
		Da-Qian Zhang, Kang Zhang, Jiannong Cao (Macquarie University)

  Technical Paper Session 2-A: Formal and Reliability

	The Detection of Fault-Prone Program Using a Neural Network
		Shuji Takabayashi, Akito Monden, Shin-ichi Sato,
		Kenichi Matsumoto, Koji Torii (Nara Institute of Science and Technology)
	A Case Study of Algebraic Specification for Communication Processing Systems
		Hiroshi Unno,Akira Mori, Kokichi Futatsugi (JAIST)
	A System Framework for Distributed Programing Testing
		Gu Qing, Chen DaoXu, Xie Li, Sun ZhongXiu (Nanjing University)
	Proving the Initialization Theorems in Z Specifications Using Tactics
		Miao Huaikou (Shanghai University)

  Technical Paper Session 2-B: CSCW and Graphics;

	Relationship between Software Artifacts and Communication Using Email
		Hiroyuki MURAKOSHI, Akira SHIMAZU, Koichiro OCHIMIZU (JAIST)
	EVIDII: An Environment for Constructing Shared Understanding
	through Visualizing Differences of Impressions
		Masao Ohira, Yasuhiro Yamamoto, Kumiyo Nakakoji
		(Nara Institute of Science and Technology)
	Watermarking Java programs
		Akito Monden, Hajimu Iida, Ken-ichi Matsumoto, Katsuro Inoue, 
		Koji Torii (Nara Institute of Science and Technology)
	"Jun" -- Free Software!
		Atsushi Aoki (Software Research Associates, Inc.)

  Technical Paper Session 2-C: Programming Language

	Quantum Programming: What Is It and Why Study It?
		Hiroshi Mochio (Institute of Systems & Technologies/Kyushu),
		Kazunori Nishi, Jingde Cheng, Kazuo Ushijima (Kyushu University)
	Multiparadigm Within A Class
		ChoiChae-Woo Yoo, Jong-Myung (Soongsil University)
	CORBA Application Development Environment Using Reflection
		Kazuhiro Fujieda, Takuo Watanabe, Koichiro Ochimizu (JAIST)
	Program Slicing Introduction into VRML
		Hiroshi MARUYAMA (NEC Software Kyushu, Ltd), Keijiro Araki (Kyushu University)

  -----------------------------------------------------------------------------
  Day 2 (October 28 Thu)
  -----------------------------------------------------------------------------

  Keynote 2       Dr. Richard Stallman (Free Software Foundation)

	The Free Software Movement and the GNU/Linux Operating System

  Technical Paper Session 3-A: Database and Information systems

	Re-engineering of Relational Database into Object-Relational
	Database in Informal and Formal Levels
		Pujianto Yugopuspito, Kenjiro Araki (Kyushu University)
	Discovery of Multiple-Level Sequential Patterns from Large Database
		Chen Ning, Chen An (Beijing University)
	An Information System Construction Method Based on
	ORDB and Software Component.
		Luo Bin, Zhao Zhihong, Chen Shifu (Nanjing University)
	Incremental Rule Extraction from Similarity Information System
		Zhifeng Ma, Hancheng Zing, Ziaomei Zheng, Quinghua Li,
			Dexiang Liamg (Shouth East University)

  Technical Paper Session 3-B: Mobile and Network

	Information Acqisiotion in Mobile Wireless Computing Environment
		Ruan Tong, Zhou Huan, Feng Yulin
		(Lab. Of Computer Science, Institute of Software)
	A Frexible Mechanism for Mobile Network
		Zhao Xin, Chen Daoxu, Xie Li (Nanjing University)
	Object-Oriented Technology And Network Computing Environment
		Li Lian, Zou Xiao (Lanzhou University)

  Technical Paper Session 3-C: User Interface

	The Multilingual Input Method -Egg V4
		Yoshio Katayama (PFU)
	ART: A Cognitive Tool for Writing
		Yasuhiro Yamamoto, Brent N. Reeves, Kumiyo Nakakoji
		(Nara Institute of Technology)
	VES: A DIGITAL EARTH BASED VIRTUAL REALITY SYSTEM
		Liu ZhanPing, Wang HongWu, DongShihai (Peking University)
	Research and Implementation of Automatic Abstract System in Special Field
		Li Lei, Zhong Yulin (Beijing University of posts and Telecomunications)

  Working Group Session 1: Life-cycle Support

	Discovering High-Level Information for program Understanding
		Xuefen Fang, Tetsuo Tamai (Tokyo University)
	A Design of Unified Computation Model:
	a first Step towards Static Semantics Manipulation
		Masami Noro (Nanzan University)
	Hierarchical Dependence Diagram for C++
		Nongporn Lilian, Jian Chen (University of South Australia)
	WINGNUT  - A Business Project Supporting GNU Free Software -
		Nobuyuki Hikichi (SRA, Inc)
	A Software Process Supporting Environment based on PF Model
		Zhou Zhiying, Qian Ling  (Tsinghua University)
	A Model-checking Algorithm for Reactive Systems using PLTL
		Zhang Guangquan, Shen Yidong (Chongqing University)
	A Practicable Approach for Formal Development of Algorithmic Programs
		Xue Jinyun (Jiangxi Normal University)
	Efficient Checkpointing On MPP Architectures
		Wu Yong (JianNan Computing Technology Institute.)

  Working Group Session 2: Distributed Database and Computing

        Web-Based Process Control System Development of Machining Process Plan
		Hwa Gyoo Park, Hyum Kim (Electronic Telecommunicatin Research Institute)
	Process Change with Process Re-combinantion Patterns
		Masao Ito,Kouichi Kishida (Nil Software Corp.)
	Web-Based Workflow Data Exchange Framework(WDEF) using RDF and Data Registry
		Joong-Il Kim (Korea University)
	Knowledge sharing among Databases based on Data Registry
		Jeong-Oog Lee, Doo-Kwon Baik (Korea University)
	MegaFlow: Workflow Management System based on 
		Mega-Programming on the InterNet
		Lee-Sub Lee, Joong-Il Kim, Doo-Kwon Baik (Korea University)
	How to Improve the Communication Heavy Algorithm's Performance on 
	Message-Passing Parallel Machine.
		Wang Guangrong, Chen Xiangchuan, Gu Naijie 
		(University of Science and Technology of China)
        VIN: A User-oriented and Cooperative Model in Internet Information Retrieval
		Chen Xin, Chen Jun-liang, Zhong Yu-tao, Liu Guo-Dong, Xu Yong-sen
		(Nanjing University)
	Models and Problems in Designing Practical Algorithms for Information Dissemination
		Chen Xiangchuan, Zheng Shirong (University of Science and Technology of China)
	Alarm Correlation Using Intelligent Agents
		Xu Guanghui, Xie Xiren, Xu Yongsen (Nanjing University)
	A Concept-Based Information Retrieval Model
		Zhendong Li, Xianglin Fei, Hezhen Wang, Yiwei Zhao (Nanjing University)
	The Study of Architecture in a Distributed Environment with Limited Resources.
		Wang Jihong, Hu Jianping (Beijing University)

  Working Group Session 3: Software Component

	"Building Graphic ActiveX controls with Simulated Inheritance"
		Y. S. Kuo Chih-Nan Chen, Chuan-Chieh Jung  (Institute of Information Science Academia Sinica)
	Predicate Transformer Refinement as a Basis for Interactive Component Design
		Winnie Weiqun Qiu, John Zic (University of New South Wales)
	Component Management System by using JavaBeans for Network Management System
		Soo-Hyun Park, Kwang-Hyung Lee, Doo-Kwon Baik (Dongeui University)
	The ESS System: Embedded Specification executor for Smalltalk
		Tomohiro Oda (SRA)
        Distributed Objects Based High Performance Computing Technology Survey.
		Wang Ye, Wang Chen, Zhang Defu (Nanjing University)   
	Port Object Based OOD Approach for Embedded Real Time System
		Chen Jinlin, Yang Shiyuan, Hu Dongcheng (Tsinghua University)
        Design and Implementation Issues of Object Mapping Model in Layered Cooperative Systems
		Li Chengkai, Mao Bing, Chen Daoxu (Nanjing University)
	Surviving CORBA Development -Distributed Object versus Traditional Object-
		Youliang Zhong, Janusz Markowski (HYPERSOFT)
	Knowledge-Based Assets and Repository for Reuse
		Wei Zhu, Chunhui Zhu, Yongsen Xu (Nanjing University)

  Working Group Session 4: Agent and Artificial Inteligence

	"Building Graphic ActiveX controls with Simulated Inheritance"
		Y. S. Kuo Chih-Nan Chen, Chuan-Chieh Jung  (Institute of Information Science Academia Sinica)
	Predicate Transformer Refinement as a Basis for Interactive Component Design
		Winnie Weiqun Qiu, John Zic (University of New South Wales)
	Component Management System by using JavaBeans for Network Management System
		Soo-Hyun Park, Kwang-Hyung Lee, Doo-Kwon Baik (Dongeui University)
	The ESS System: Embedded Specification executor for Smalltalk
		Tomohiro Oda (SRA)
        Distributed Objects Based High Performance Computing Technology Survey.
		Wang Ye, Wang Chen, Zhang Defu (Nanjing University)   
	Port Object Based OOD Approach for Embedded Real Time System
		Chen Jinlin, Yang Shiyuan, Hu Dongcheng (Tsinghua University)
        Design and Implementation Issues of Object Mapping Model in Layered Cooperative Systems
		Li Chengkai, Mao Bing, Chen Daoxu (Nanjing University)
	Surviving CORBA Development -Distributed Object versus Traditional Object-
		Youliang Zhong, Janusz Markowski (HYPERSOFT)
	Knowledge-Based Assets and Repository for Reuse
		Wei Zhu, Chunhui Zhu, Yongsen Xu (Nanjing University)

  -----------------------------------------------------------------------------
  Day 3 (October 29 Fri)
  -----------------------------------------------------------------------------

  Technical Paper Session 4-A: Distributed Computing

        Dynamic Load Balancing in a Replication Based Parallel Object-Oriented System
		Wei JIE, Wentong CAI, Stephen J. Turrner (Nanyang Technological University)
	GDSM: Group-based DSM Analysis and Design
		Li Ji, Wei Mingliang (Nanjing University)
	A New Method for Synthesis of Reliable Networks
		Chen Mingmin, Zhao Lianchang (Northeastern Univ/Dalian Martime University)
        A Hierachical Model for Real-time Video Transfer System:CRR
		Wei Mingliang, Li Ji, Fu Peirong, Zeng Qingkai, Mao Bing, Xie Li (Nanjin University)

  Technical Paper Session 4-B: Agent

	Research on Architecture and Mechanisms for Interface Agents
		Xiaosu Zhan, Guang Xu, Zongkai Lin (Airforce Command College)
        The Cooperative Search Based on Multi-Agent in AND-CASE
		Cai Zhiming, Liu Ying (Hefei University)
	The Design and Implementation of DBPM/AB
		Song deshun, Mai Zhongfan (Beijin University)
        The Intention Theory of Agent Computing
		Xinjun Mao, Huaiming Wang, Huowang Chen, Fengqi Liu (Changsha Institute of Technology)

  Technical Paper Session 4-C: Algorithm

        A New Graph Coloring Algorithm based on Hybrid Genetic Algorithm
		Huo Hongwei, Xu Jin, Bao Zheng (Xidian University)
        Heterogeneous Unified Resource Scheduling via a Fast Genetic-Annealing-Based-Algorithm
		Jingcun Wang, Xinda Lu, Guosun Zeng, Weimin Huang(Shanghai Jiaotong University)
        An Approach For Software Reliability Evaluating interval wavelets Neural Networks Combined Model
		Zhou Yuanyuan (Academy of Ordnance Engineering,Shijiazhuang), 
                Jiao Zhining, Wang Chaoyang (The first Radio Factory)
	Using GA to Constructing Bayesian Networks with Experts Knowledge and Database
		Wang Junsheng, Li Minqiang (Tianjin University)


  Working Group Report

          Group 1: Life-cycle Support
          Group 2: Distributed Database and Computing
          Group 3: Software Component
          Group 4: Agent and Artificial Inteligence

  Invited Talk    Professor Xueshi Lu (Shanghai Red-100 Computer)