Engineering and deployment of cooperative information systems : 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 for Efficient 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.