The Community for Technology Leaders
Technology of Object-Oriented Languages, International Conference on (1999)
Nanjing, China
Sept. 22, 1999 to Sept. 25, 1999
ISSN: 1530-2067
ISBN: 0-7695-0393-4
TABLE OF CONTENTS

Preface (PDF)

pp. x
Object Oriented Languages and Systems

Class Algebra for Ontology Reasoning (Abstract)

Dan Buehrer , National Chung Cheng University
Lee Chee-Hwa , National Chung Cheng University
pp. 2

Software Evolution: Prototypical Deltas (Abstract)

Bent Bruun Kristensen , University of Southern Denmark/Odense University
Palle Nowack , University of Southern Denmark/Odense University
Eydun Eli Jacobsen , University of Southern Denmark/Odense University
Torben Worm , University of Southern Denmark/Odense University
pp. 14

Modeling and Reuse Perspectives of Inheritance Can be Reconciled (Abstract)

E. Steegmans , Katholieke Universiteit Leuven
W. Al-Ahmad , American University of Sharjah
pp. 31

LEAD++: An Object-Oriented Language Based on a Reflective Model for Dynamic Software Adaptation (Abstract)

Noriki Amano , Japan Advanced Institute of Science and Technology
Takuo Watanabe , Japan Advanced Institute of Science and Technology
pp. 41

Synchronizing Java Threads Using Assertions (Abstract)

Ernesto Pimentel , University of Malaga
Miguel Katrib , University of Havana
Damian Fernandez , University of Havana
pp. 51

The Typing of Communicating Sequential Processes (Abstract)

Xiaocong Zhou , Zhongshan University
Shixian Li , Zhongshan University
Wenjun Li , Zhongshan University
pp. 61

Object Mapping for Layered Cooperative Systems (Abstract)

Chengkai Li , Nanjing University
Li Xie , Nanjing University
Bing Mao , Nanjing University
Daoxu Chen , Nanjing University
pp. 67

Reasoning about Inheritance and Cloning Behaviors of Software Agents (Abstract)

Xiaocong Fan , Nanjing University
Dianxiang Xu , Nanjing University
Guoliang Zheng , Nanjing University
pp. 77

An Object Oriented Data Model for Web and Its Algebra (Abstract)

Yisheng Dong , Southeast University
Dell Zhang , Southeast University
pp. 83

JMSAS: A Mobile Software Agent System (Abstract)

Jiwen Huo , Beijing University of Aeronautics and Astronautics
Zhongfan Mai , Beijing University of Aeronautics and Astronautics
Chong Chen , Beijing University of Aeronautics and Astronautics
pp. 89

Strategies and Techniques of Freeze/Melt (Abstract)

Zhiyuan Zhan , Nanjing University
Yu Li , Nanjing University
Gaoyan Xie , Nanjing University
Yongsen Xu , Nanjing University
pp. 98
Object Oriented Analysis and Modelling

Two-Level Modeling (Abstract)

Stuart Kent , University of Kent at Canterbury
Anthony Lauder , University of Kent at Canterbury
pp. 108

Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas (Abstract)

K.S. Cheung , City University of Hong Kong
K.O. Chow , City University of Hong Kong
T.Y. Cheung , City University of Hong Kong
pp. 118

An Object-Oriented Net Graph Model for Agent Group-Based Network Management (Abstract)

Junzhou Luo , Southeast University
Jun Shen , Southeast University
Guanqun Gu , Southeast University
pp. 126

Object-Oriented Requirements Modeling Based on UML (Abstract)

Mingshu Li , Chinese Academy of Sciences
Xinpei Zhao , Chinese Academy of Sciences
Mei Lu , Chinese Academy of Sciences
pp. 133
Object Oriented Software Development

Risk Analysis and Assessment Using Object-Oriented Techniques (Abstract)

Bingyang Zhou , University of Southern Queensland
pp. 142

Testing Java Swing-Based Applications (Abstract)

J.D. Newmarch , University of Canberra
pp. 156

CoOWA: A Component Oriented Web Application Model (Abstract)

Jian Chen , University of South Australia
Weiquan Zhao , University of South Australia
pp. 191

A New Architecture of Object-Oriented Rule Base Management System (Abstract)

Chang-Jiun Tsai , National Chiao-Tung University
Shian-Shyong Tseng , National Chiao-Tung University
Yu-Co Wu , National Chiao-Tung University
pp. 200

Research in Evolution and Reuse of Multi-Leveled Orthogonal Software System Architecture (Abstract)

De-chun Peng , Wuhan University
Zi-yu Lin , Wuhan University
Kai Tan , Wuhan University
Sheng-qun Tang , Wuhan University
pp. 204

A Equivalent Object-Oriented Schema Evolution Approach Using the Path-Independence Language (Abstract)

Weiwen Dong , Shanghai Jiaotong University
Chuangliang Dong , Shanghai Jiaotong University
Jiaheng Lu , Shanghai Jiaotong University
pp. 212

A Framework for Configurable Workflow Systems (Abstract)

Thorsten Schaaf , Free University of Berlin
Hongbing Pang , Beijing University of Aeronautics and Astronautics
Yanbo Han , Yalande New Technology Research Center
pp. 218

An Object-Oriented Developing Framework of Fault-Tolerance System (Abstract)

Xin Zhao , Nanjing University
Li Xie , Nanjing University
Daoxu Chen , Nanjing University
pp. 232

Agent Class Methodology: A New Kind of Autonomous Object Generation Methodology (Abstract)

Hui Jiang , Institute of Communications Engineering
Xiren Xie , Institute of Communications Engineering
Dong Lin , Institute of Communications Engineering
pp. 245

A Dynamic Architecture for Multi-Agent Systems (Abstract)

Wenpin Jiao , Institute of Computing Technology, CAS
Zhongzhi Shi , Institute of Computing Technology, CAS
pp. 253

A Formal Software Development Approach Based on COOZ and Refinement Calculus (Abstract)

Ming Zha , Nanjing University
Guoliang Zheng , Nanjing University
Jun Pang , Nanjing University
Yunfeng Wang , Nanjing University
Bixin Li , Nanjing University
pp. 261

MAC: A Component Reuse Architecture Based on Multi-Agent Adapter (Abstract)

Chen-guang Wang , Dalian University of Technology
Zhong Wang , Dalian University of Technology
Zhongxian Chi , Dalian University of Technology
pp. 267

Test Selection from UML Statecharts (Abstract)

ZhiChang Qi , ChangSha Institute of Technology
Liuying Li , ChangSha Institute of Technology
pp. 273
Distributed and Concurrent Systems

Correct Composition of Distributed Systems (Abstract)

Thomas Genßler , FZI Karlsruhe
Welf Löwe , Universit?t Karlsruhe
pp. 296

A Java Networking API for ATM Networks (Abstract)

K.M.V. Chee , University of Otago
S. Cranefield , University of Otago
Z. Huang , University of Otago
Martin Purvis , University of Otago
pp. 306

A Framework and Methodology for Development of Content-Based Web Sites (Abstract)

Xin Fan , University of South Australia
Jian Chen , University of South Australia
pp. 316

Parallel Objects in Distributed Ada95 Compiler and Running System - PDEFA (Abstract)

Lu Jia , Tsinghua University
Yang Guang , Tsinghua University
Wen Dongchan , Tsinghua University
pp. 320

An Implementation Model of Real Time CORBA for Internet Applications (Abstract)

Wang Yun , Southeast University
Xie Junqing , Southeast University
Cai Min , Southeast University
pp. 326

Research on the Multi-Agent Model of Autonomous Distributed Control Systems (Abstract)

Yufeng Liu , Beijing University of Aeronautics and Astronautics
Shuzhen Yao , Beijing University of Aeronautics and Astronautics
pp. 331

A Java/CORBA Based Universal Framework for Super Server User-End Integrated Environments (Abstract)

Hong An , University of Science and Technology of China
Guoliang Chen , University of Science and Technology of China
Hong Li , University of Science and Technology of China
Zhihui Chen , University of Science and Technology of China
Ming Wu , University of Science and Technology of China
Feng Wang , University of Science and Technology of China
Yongchang Ji , University of Science and Technology of China
pp. 336

A Parallel and Distributed Debugger Implemented with Java (Abstract)

Hong An , University of Science and Technology of China
Feng Wang , University of Science and Technology of China
Qilong Zheng , University of Science and Technology of China
Guoliang Chen , University of Science and Technology of China
pp. 342
Database Systems and Applications

Building a Repository for Workflow Systems (Abstract)

Chengfei Liu , University of Technology at Sydney
Xiaofang Zhou , University of Queensland
Xuemin Lin , The University of New South Wales
Maria Orlowska , University of Queensland
pp. 348

A Tool for Constructing Service Replication Systems (Abstract)

Wanlei Zhou , Deakin University
Li Wang , Deakin University
pp. 358

A Survey of Schema Evolution in Object-Oriented Databases (Abstract)

Xue Li , The University of New South Wales
pp. 362

Extensible Motor of a Object-Relational DBMS: Design and Implementation (Abstract)

Sergio V. Chapa , Jiangsu University of Science and Technology
Shi-guang Ju , Jiangsu University of Science and Technology
Wei-he Chen , Jiangsu University of Science and Technology
pp. 372

Translating Object Query Language (Abstract)

Beihong Jin , Chinese Academy of Sciences
pp. 380

An Object-Oriented Software Design for Distributed Videoconferencing System (Abstract)

Yinqiu Yu , Northwest Institute of Nuclear Technology
Zhijun Zheng , Xi'an Jiaotong University
Shouqi Zheng , Xi'an Jiaotong University
Junhui Zhou , Northwest Institute of Nuclear Technology
Li Zhu , Xi'an Jiaotong University and Northwest Institute of Nuclear Technology
pp. 386

Federated Query Service Based on CORBA (Abstract)

Ruey-Kai Sheu , National Chiao Tung University
Shyan-Ming Yuan , National Chiao Tung University
pp. 392

A Composite Data Model in Object-Oriented Data Warehousing (Abstract)

Tzung-Pei Hong , I-Shou University
Wei-Chou Chen , I-Shou University
Wen-Yang Lin , I-Shou University
pp. 400

A Model of Collaborative Systems Transactions (Abstract)

Xuezhou Xu , Xidian University
Ping Chen , Xidian University
Jinglin Guo , Xidian University
pp. 406

The Design and Implementation of an Object Oriented Database Management System-OMNIX (Abstract)

Wenyang Bai , Nanjing University
Zhigang Li , Nanjing University
Lijun Ying , Nanjing University
and Jiepan Xu , Nanjing University
pp. 414
Applications and Experiences

Using Paradigm Plus CASE Tool in a Fusion-Based Application Development Project (Abstract)

N. Bajgoric , Bogazi?i University
M. Draman , Bogazi?i University
I.K. Altinel , Bogazi?i University
A.T. Ünal , Bogazi?i University
pp. 424

Efficiently Computing Frequent Tree-Like Topology Patterns in a Web Environment (Abstract)

Chengfei Liu , University of Technology at Sydney
Yanchun Zhang , University of Southern Queensland
Xiaofang Zhou , University of Queensland
Xuemin Lin , University of New South Wales
pp. 440

Applying UML to Gas Turbine Engine Simulation (Abstract)

Jinyang Liu , Hubei Institute of Technology
Jun Yu , Naval Academy of Engineering
Zhiwu Xie , Naval Academy of Engineering
pp. 458

The Design of Cooperative Workflow Management Model Based on Agent (Abstract)

Jinsong Xue , Chinese Academy of Sciences
Yunlong Zhu , Chinese Academy of Sciences
Hongtao Wang , Chinese Academy of Sciences
Hongxin Li , Chinese Academy of Sciences
pp. 465

An Object-Oriented Design of a Multimedia Item Pool (Abstract)

Tiansi Dong , Shanghai Jiaotong University
Yue Wang , Shanghai Jiaotong University
Liangxian Xu , Shanghai Jiaotong University
Ruzhan Lu , Shanghai Jiaotong University
pp. 471

Personal Intelligent Navigation System Based on Java (Abstract)

Yuan Sun , Tsinghua University
He Jiang , Tsinghua University
Kehong Wang , Tsinghua University
pp. 477

Applying Object-Oriented Method to CSIE System (Abstract)

Weidu Jiang , Tsinghua University
Yuanfang Hu , Tsinghua University
Suqin Zhang , Tsinghua University
pp. 484

Author Index (PDF)

pp. 492
107 ms
(Ver 3.3 (11022016))