Engineering and Deployment of Cooperative Information Systems Book

	A Data Warehouse for Workflow Logs	1
	Workflow and Knowledge Management: Approaching an Integration	16
	Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Net Models	30
	Discovering Workflow Performance Models from Timed Logs	45
	Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models	64
	An Agent Enhanced Framework to Support Pre-dispatching of Tasks in Workflow Management Systems	80
	TEMPPLET: A New Method for Domain-Specific Ontology Design	90
	An Environment for Multi-domain Ontology Development and Knowledge Acquisition	104
	Applying Information Retrieval Technology to Incremental Knowledge Management	117
	Visualizing a Dynamic Knowledge Map Using a Semantic Web Technology	130
	Indexing and Retrieval of XML-Encoded Structured Documents in Dynamic Environment	141
	Knowledge Management: System Architectures, Main Functions, and Implementing Techniques	155
	A Dynamic Matching and Binding Mechanism for Business Service Integration	168
	A Uniform Model for Authorization and Access Control in Enterprise Information Platform	180
	Constraints-Preserving Mapping Algorithm from XML-Schema to Relational Schema	193
	Study on SOAP-Based Mobile Agent Techniques	208
	Securing Agent Based Architectures	220
	Service and Network Management Middleware for Cooperative Information Systems through Policies and Mobile Agents	232
	Research on Enterprise Modeling of Agile Manufacturing	247
	HCM - A Model Describing Cooperation of Virtual Enterprises	257
	A Description for Service Supporting Cooperations	267
	Analysis of an Election Problem for CSCW in Asynchronous Distributed Systems	280
	A Linear-Order Based Access Method for Efficient Network Computations	289
	A Petri-Net Model for Session Services	303
	Software Processes for Electronic Commerce Portal Systems	315
	Architecture Support for System-of-Systems Evolution	332
	Expressing Graphical User's Input for Test Specifications	347
	An Intelligent Decision Support System in Construction Management by Data Warehousing Technique	360
	Distributed Heterogeneous Inspecting System and Its Implementation	370
	Architecture for Distributed Embedded Systems Based on Workflow and Distributed Resource Management	381
	Knowledge Management and the Control of Duplication	396
	An Execution and Transaction Model for Active, Rule-Based Component Integration Middleware	403
	Implementation of CovaTM	418
	Resource-Based Scripting to Stitch Distributed Components	429
	Multi-agent Coordination Mechanism in Distributed Environment	444
	Coordination among Multi-agents Using Process Calculus and ECA Rule	456
	An RBAC-Based Policy Enforcement Coordination Model in Internet Environment	466
	A CORBA-Based Negotiation Strategy in E-Commerce	478
	Negotiation Framework for the Next Generation Mobile Middleware Service Environment	487
	An Internet-Based Conference System for Real-Time Distributed Design Evaluation	499
	Intention Preservation by Multi-versioning in Distributed Real-Time Group Editors	510
	Supporting Group Awareness in Web-Based Learning Environments	525
	Raison d'Etre Object: A Cyber-Hearth That Catalyzes Face-to-Face Informal Communication	537
	The Neem Platform: An Extensible Framework for the Development of Perceptual Collaborative Applications	547
	Author Index	563