This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in Oslo, Norway, in June 2008, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2008.
The 21 revised full papers presented were carefully reviewed and selected from 61 submissions. The subject-matter is to explore the spectrum of languages, middleware, services, and algorithms that separate behavior from interaction, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development.
Author(s): João Abreu, José Luiz Fiadeiro (auth.), Doug Lea, Gianluigi Zavattaro (eds.)
Series: Lecture Notes in Computer Science 5052 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008
Language: English
Pages: 350
Tags: Software Engineering; Special Purpose and Application-Based Systems; Programming Techniques; Computation by Abstract Devices; Artificial Intelligence (incl. Robotics)
Front Matter....Pages -
A Coordination Model for Service-Oriented Interactions....Pages 1-16
Implementing Session Centered Calculi....Pages 17-32
Service Combinators for Farming Virtual Machines....Pages 33-49
Timed Soft Concurrent Constraint Programs....Pages 50-66
Multiparty Sessions in SOC....Pages 67-82
Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs....Pages 83-99
From Flow Logic to Static Type Systems for Coordination Languages....Pages 100-116
Session Types for Orchestration Charts....Pages 117-134
Implementing Joins Using Extensible Pattern Matching....Pages 135-152
Advice for Coordination....Pages 153-168
Modeling and Analysis of Reo Connectors Using Alloy....Pages 169-183
Alternating-Time Stream Logic for Multi-agent Systems....Pages 184-198
A Formal Account of WS-BPEL ....Pages 199-215
How to Infer Finite Session Types in a Calculus of Services and Sessions....Pages 216-231
An Event-Based Coordination Model for Context-Aware Applications....Pages 232-248
Formal Analysis of BPMN Via a Translation into COWS....Pages 249-263
Encrypted Shared Data Spaces....Pages 264-279
CiAN: A Workflow Engine for MANETs....Pages 280-295
A Process Calculus for Mobile Ad Hoc Networks....Pages 296-314
Actors with Multi-headed Message Receive Patterns....Pages 315-330
A Compositional Trace Semantics for Orc....Pages 331-346
Back Matter....Pages -
