On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, m. 2 Buch

frameworkthatincorporatesjointly(a)theory,(b)conceptualdesignanddev- opment, and (c) applications, in particular case studies and industrial solutions. Following and expanding the model created in 2003, we again solicited and selected quality workshop proposals to complement the more archival nature of the main conferences with research results in a number of selected and more avant garde areas related to the general topic of distributed computing. For instance,theso-calledSemanticWebhasgivenrisetoseveralnovelresearchareas combining linguistics, informationsystems technology,andarti?cialintelligence, such as the modeling of (legal) regulatory systems and the ubiquitous nature of their usage. We were glad to see that no less than eight of our earlier successful workshops(notably AweSOMe,CAMS, SWWS, ORM,OnToContent,MONET, PerSys,RDDS) re-appearedin2007withasecondorthirdedition,andthatfour brand-new workshops emerged to be selected and hosted, and were successfully organized by their respective proposers: NDKM, PIPE, PPN, and SSWS. We know that as before, workshop audiences will productively mingle with another and with those of the main conferences, as is already visible from the overlap in authors! The OTM organizers are especially grateful for the leadership and competence of Pilar Herrero in managing this complex process into a success for thefourthyearinarow. A special mention for 2007 is to be made of the third and enlarged edition of theOnTheMoveAcademy(formerlycalledDoctoralConsortiumWorkshop),our vision for the future in research in the areas covered by OTM.

CoopIS 2007 International Conference (International Conference on Cooperative Information Systems).- CoopIS 2007 PC Co-chairs' Message.- The Internet Service Bus.- Soundness Verification of Business Processes Specified in the Pi-Calculus.- Extending BPMN for Modeling Complex Choreographies.- Semantics of Standard Process Models with OR-Joins.- Pattern-Based Design and Validation of Business Process Compliance.- Constraint-Based Workflow Models: Change Made Easy.- Dynamic, Extensible and Context-Aware Exception Handling for Workflows.- Understanding the Occurrence of Errors in Process Models Based on Metrics.- Data-Driven Modeling and Coordination of Large Process Structures.- Supporting Ad-Hoc Changes in Distributed Workflow Management Systems.- Acquaintance Based Consistency in an Instance-Mapped P2P Data Sharing System During Transaction Processing.- Enabling Selective Flooding to Reduce P2P Traffic.- Improving the Dependability of Prefix-Based Routing in DHTs.- Social Topology Analyzed.- Conflict Resolution of Boolean Operations by Integration in Real-Time Collaborative CAD Systems.- Trust Extension Device: Providing Mobility and Portability of Trust in Cooperative Information Systems.- Organizing Meaning Evolution Supporting Systems Using Semantic Decision Tables.- Extending Online Travel Agency with Adaptive Reservations.- A Multi-level Model for Activity Commitments in E-contracts.- Decentralised Commitment for Optimistic Semantic Replication.- Coordinate BPEL Scopes and Processes by Extending the WS-Business Activity Framework.- Verifying Composite Service Transactional Behavior Using Event Calculus.- Matching Cognitive Characteristics of Actors and Tasks.- The OpenKnowledge System: An Interaction-Centered Approach to Knowledge Sharing.- Ontology Enrichment inMulti Agent Systems Through Semantic Negotiation.- A Relaxed But Not Necessarily Constrained Way from the Top to the Sky.- Collaborative Filtering Based on Opportunistic Information Sharing in Mobile Ad-Hoc Networks.- Policy-Based Service Registration and Discovery.- Business Process Quality Metrics: Log-Based Complexity of Workflow Patterns.- Distributed Objects and Applications (DOA) 2007 International Conference.- DOA 2007 PC Co-chairs' Message.- WS-CAF: Contexts, Coordination and Transactions for Web Services.- Resilient Security for False Event Detection Without Loss of Legitimate Events in Wireless Sensor Networks.- Formal Verification of a Group Membership Protocol Using Model Checking.- Revisiting Certification-Based Replicated Database Recovery.- A Survey of Fault Tolerant CORBA Systems.- Flexible Reuse of Middleware Infrastructures in Heterogeneous IT Environments.- Self-optimization of Clustered Message-Oriented Middleware.- Minimal Traffic-Constrained Similarity-Based SOAP Multicast Routing Protocol.- Implementing a State-Based Application Using Web Objects in XML.- Experience with Dynamic Crosscutting in Cougaar.- Property-Preserving Evolution of Components Using VPA-Based Aspects.- Multi-stage Aspect-Oriented Composition of Component-Based Applications.- An Eclipse-Based Tool for Symbolic Debugging of Distributed Object Systems.- A Bluetooth-Based JXME Infrastructure.- Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation.- An Adaptive Coupling-Based Algorithm for Internal Clock Synchronization of Large Scale Dynamic Systems.- Reviewing Amnesia Support in Database Recovery Protocols.- The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation.- Building Adaptive Systems with ServiceComposition Frameworks.- Invasive Patterns for Distributed Programs.- NSLoadGen- A Testbed for Notification Services.- Ontologies, Databases and Applications of Semantics (ODBASE) 2007 International Conference.- ODBASE 2007 PC Co-chairs' Message.- Towards Next Generation Value Networks.- Combining the Semantic Web with the Web as Background Knowledge for Ontology Mapping.- Discovering Executable Semantic Map