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

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 Sema