This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, COORDINATION 2006, held in Bologna, Italy in June 2006.
The 17 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics addressed are component connectors, negotiation in service-oriented computing, process algebraic specification, workflow patterns, reactive XML, ubiquitous coordination, type systems, ad-hoc network coordination, choreography, communication coordination, and distributed embedded systems.
Author(s): Christel Baier, Verena Wolf (auth.), Paolo Ciancarini, Herbert Wiklicky (eds.)
Series: Lecture Notes in Computer Science 4038 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Language: English
Pages: 299
Tags: Software Engineering; Special Purpose and Application-Based Systems; Programming Techniques; Computation by Abstract Devices; Artificial Intelligence (incl. Robotics)
Front Matter....Pages -
Stochastic Reasoning About Channel-Based Component Connectors....Pages 1-15
Atomic Commit and Negotiation in Service Oriented Computing....Pages 16-27
Synthesizing Concurrency Control Components from Process Algebraic Specifications....Pages 28-43
Automated Evaluation of Coordination Approaches....Pages 44-62
Choreography and Orchestration Conformance for System Design....Pages 63-81
Workflow Patterns in Orc....Pages 82-96
Evolution On-the-Fly with Paradigm....Pages 97-112
Formalising Business Process Execution with Bigraphs and Reactive XML....Pages 113-129
Enabling Ubiquitous Coordination Using Application Sessions....Pages 130-144
A WSDL -Based Type System for WS-BPEL ....Pages 145-163
Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements....Pages 164-178
A Logical View of Choreography....Pages 179-193
Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks....Pages 194-211
Coordinating Computation with Communication....Pages 212-227
Distributed Workflow upon Linkable Coordination Artifacts....Pages 228-246
Actors, Roles and Coordinators — A Coordination Model for Open Distributed and Embedded Systems....Pages 247-265
Tuple Space Coordination Across Space and Time....Pages 266-280
Compositional Semantics of an Actor-Based Language Using Constraint Automata....Pages 281-297
Back Matter....Pages -
