On the Move to Meaningful Internet Systems 2005走向有意义的因特网系统 2005

出版时间：2005-12-20  出版社：Springer  作者：Meersman, Robert; Tari, Zahir;  页数：921  

内容概要

This two-volume set LNCS 3760/3761 constitutes the refereed proceedings of the three confederated conferences CoopIS 2005, DOA 2005, and ODBASE 2005 held as OTM 2005 in Agia Napa, Cyprus in October/November 2005.    The 89 revised full and 7 short papers presented together with 3 keynote speeches were carefully reviewed and selected from a total of 360 submissions. Corresponding with the three OTM 2005 main conferences CoopIS, DOA, and ODBASE, the papers are organized in topical sections on workflow, workflow and business processes, mining and filtering, petri nets and processs management, information access and integrity, heterogeneity, semantics, querying and content delivery, Web services, agents, security, integrity and consistency, chain and collaboration mangement, Web services and service-oriented architectures, multicast and fault tolerance, communication services, techniques for application hosting, mobility, security and data persistence, component middleware, java environments, peer-to-peer computing architectures, aspect oriented middleware, information integration and modeling, query processing, ontology construction, metadata, information retrieval and classification, system verification and evaluation, and active rules and Web services.

书籍目录

OTM 2005 Keynotes　　Probabilistic Ontologies and Relational Databases　　Intelligent Web Service - From Web Services to .Plug&Play. Service Integration　　Process Modeling in Web ApplicationsCooperative Information Systems (CoopIS) 2005 International Conference　　CoopIS 2005 PC Co-chairs' Message　Workflow　　Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System　　A Service-Oriented Workflow Language for Robust Interacting Applications　　Balancing Flexibility and Security in Adaptive Process Management Systems　Workflow and Business Processes　　Enabling Business Process Interoperability Using Contract Workflow Models　　Resource-Centric Worklist Visualisation　　CoopFlow: A Framework for Inter-organizational Workflow Cooperation　Mining and Filtering　　Process Mining and Verification of Properties: An Approach Based on Temporal Logic　　A Detailed Investigation of Memory Requirements for Publish/Subscribe Filtering Algorithms　　Mapping Discovery for XML Data Integration　Petri Nets and Processs Management　　Colored Petri Nets to Verify Extended Event-Driven Process Chains　　Web Process Dynamic Stepped Extension: Pi-Calculus-Based Model and Inference Experiments　　Petri Net + Nested Relational Calculus = Dataflow　Information Access and Integrity　　On the Controlled Evolution of Access Rules in Cooperative Information Systems　　Towards a Tolerance-Based Technique for Cooperative Answering of Fuzzy Queries Against Regular Databases　　Filter Merging for Efficient Information Dissemination　……Distributed Objects and Applications (DOA) 2005 International ConferenceDistributed Objects and Applications (DOA) 2005 International Conference (continued)Author Index