Engineering and Deployment of Cooperative Information Systems [electronic resource] : First International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002. Proceedings /

Workflows I -- A Data Warehouse for Workflow Logs -- Workflow and Knowledge Management: Approaching an Integration -- Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Nets Models -- Workflows II -- Discovering Workflow Performance Models from Timed Logs -- Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models -- An Agent Enhanced Framework to Support Pre-dispatching of Tasks in Workflow Management Systems -- Ontologies -- TEMPPLET: A New Method for Domain-Specific Ontology Design -- An Environment for Multi-domain Ontology Development and Knowledge Acquisition -- Applying Information Retrieval Technology to Incremental Knowledge Management -- Semantic Web -- Visualizing a Dynamic Knowledge Map Using Semantic Web Technology -- Indexing and Retrieval of XML-Encoded Structured Documents in Dynamic Environment -- Knowledge Management: System Architectures, Main Functions, and Implementing Techniques -- Enterprise Application Integration -- A Dynamic Matching and Binding Mechanism for Business Service Integration -- A Uniform Model for Authorization and Access Control in Enterprise Information Platform -- Constraints-Preserving Mapping Algorithm from XML-Schema to Relational Schema -- Mobile Agents -- Study on SOAP-Based Mobile Agent Techniques -- Securing Agent Based Architectures -- Service and Network Management Middleware for Cooperative Information Systems through Policies and Mobile Agents -- Enterprise Modeling -- Research on Enterprise Modeling of Agile Manufacturing -- HCM — A Model Describing Cooperation of Virtual Enterprise -- A Description for Services Supporting Cooperations -- Distributed Systems Analysis -- Analysis of an Election Problem for CSCW in Asynchronous Distributed Systems -- A Linear-Order Based Access Method forEfficient Network Computations -- A Petri Net Model for Session Services -- Software Engineering -- Software Processes for Electronic Commerce Portal Systems -- Architecture Support for System-of-Systems Evolution -- Expressing Graphical User’s Input for Test Specifications -- Architectures -- An Intelligent Decision Support System in Construction Management by Data Warehousing Technique -- Distributed Heterogeneous Inspecting System and Its Implementation -- Architecture for Distributed Embedded Systems Based on Workflow and Distributed Resource Management -- Knowledge Management and the Control of Duplication -- Transactions -- An Execution and Transaction Model for Active, Rule-Based Component Integration Middleware -- Implementation of CovaTM -- Resource-Based Scripting to Stitch Distributed Components -- Coordination I -- Multi-agent Coordination Mechanism in Distributed Environment -- Coordination among Multi-agents Using Process Calculus and ECA Rule -- An RBAC Based Policy Enforcement Coordination Model in Internet Environment -- Coordination II -- A CORBA-Based Negotiation Strategy in E-Commerce -- Negotiation Framework for the Next Generation Mobile Middleware Service Environment -- Groupware I -- An Internet-Based Conference System for Real-Time Distributed Design Evaluation -- Intention Preservation by Multi-versioning in Distributed Real-Time Group Editors -- Supporting Group Awareness in Web-Based Learning Environments -- Groupware II -- Raison d’Etre Object: A Cyber-Hearth That Catalyzes Face-to-Face Informal Communication -- The Neem Platform: An Extensible Framework for the Development of Perceptual Collaborative Applications.

Today, technologies for engineering and deployment of cooperative information systems have become increasingly critical in the construction of practically all types of large-scale distributed systems. Stimulating forums with different focuses are thus still in need of researchers and professionals from academia and industry to exchange ideas and experience and to establish working relationships. The idea to organize in China an academic event focusing on current topics in the field was born during the IFIP World Computer Congress 2000 that was held in Beijing, China. And here are the proceedings of EDCIS 2002! This volume comprises the technical research papers accepted for presentation at EDCIS 2002. Of the initial 159 paper submissions involving nearly 500 authors from 14 countries of all continents, 45 papers were carefully selected. Every paper was reviewed by at least three members of the program committee, and judged - cording to its technical merit and soundness, originality, significance, presentation quality, and relevance to the conference. The accepted papers cover various s- jects such as workflow technology, coordination technology, advanced trans- tions, groupware systems, semantic web, ontologies, mobile agents, and enterprise modeling, and enterprise application integration.