Conference organization (PDF)

[Copyright notice] (PDF)

Table of contents (PDF)

Additional reviewers (PDF)

Title Page i (PDF)

Title Page iii (PDF)

Preface (PDF)

Towards Extending Service Discovery with Automated Composition Capabilities (Abstract)

Integrating a Decentralized Web Service Discovery System into the Internet Infrastructure (Abstract)

GLUE2: A Web Service Discovery Engine with Non-Functional Properties (Abstract)

WSPAB: A Tool for Automatic Classification & Selection of Web Services Using Formal Concept Analysis (Abstract)

The Analytical Hierarchy Process Approach for Prioritizing Features in the Selection of Web Service (Abstract)

Automatic Timed Test Case Generation for Web Services Composition (Abstract)

Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions (Abstract)

A Discrete-Events Simulation Approach for Evaluation of Service-Based Applications (Abstract)

Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems (Abstract)

Checking Necessary Conditions for Control and Data Flow Compatibility between Business and Interaction Logics in Web Processes (Abstract)

Beyond Soundness: On the Semantic Consistency of Executable Process Models (Abstract)

Variation Needs in Service-Based Systems (Abstract)

Secure Workflow Development from Early Requirements Analysis (Abstract)

Specifying and Constructing a Fault-Tolerant Composite Service (Abstract)

The Service Adaptation Machine (Abstract)

Developing Process Mediator for Supporting Mediated Web Service Interactions (Abstract)

Ontologising Interaction Behavior for Service-Oriented Enterprise Healthcare Integration (Abstract)

Design and Implementation of Information Flow-sensitive Business Processes (Abstract)

A Management Framework for WS-BPEL (Abstract)

Efficient Web Services in Mobile Networks (Abstract)

Validating Orchestration of Web Services with BPEL and Aggregate Signatures (Abstract)

A Service Based Approach to a New Generation of Intrusion Detection Systems (Abstract)

Dynamic Fault Handling Mechanisms for Service-Oriented Applications (Abstract)

Author Index (PDF)