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 Mappings Between Ontologies -- Interoperability of XML Schema Applications with OWL Domain Knowledge and Semantic Web Tools -- Query Expansion and Interpretation to Go Beyond Semantic P2P Interoperability -- SPARQL++ for Mapping Between RDF Vocabularies -- OntoPath: A Language for Retrieving Ontology Fragments -- Taxonomy Construction Using Compound Similarity Measure -- r 3- A Foundational Ontology for Reactive Rules -- Heuristics for Constructing Bayesian Network Based Geospatial Ontologies -- OntoCase - A Pattern-Based Ontology Construction Approach -- Towards Community-Based Evolution of Knowledge-Intensive Systems -- ImageNotion: Methodology, Tool Support and Evaluation -- Optimal Learning of Ontology Mappings from Human Interactions -- Automatic Feeding of an Innovation Knowledge Base Using a Semantic Representation of Field Knowledge -- Ontology Learning for Search Applications -- MultiBeeBrowse - Accessible Browsing on Unstructured Metadata -- Matching of Ontologies with XML Schemas Using a Generic Metamodel -- Labeling Data Extracted from the Web -- Data Quality Enhancement of Databases Using Ontologies and Inductive Reasoning -- A Web Services-Based Annotation Application for Semantic Annotation of Highly Specialised Documents About the Field of Marketing -- Ontology Based Categorization in eGovernment Application -- Semantic Matching Based on Enterprise Ontologies.