Coordination Models and Languages: 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings (Lecture Notes in Computer Science, 5052)

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. Modern Information Systems Rely Increasingly On Combining Concurrent, D- Tributed, Real-time, Recon?gurable And Heterogeneous Components. New Models, Architectures, Languages, And Veri?cation Techniques Are Necessary To Cope With Thecomplexityinducedbythedemandsoftoday’ssoftwaredevelopment. Coor- Dinationaimstoexplorethespectrumoflanguages,middleware,services,and Algorithms That Separate Behavior From Interaction, Therefore Increasing Mo- Larity, Simplifying Reasoning, And Ultimately Enhancing Software Development. This Volume Contains The Proceedings Of The 10th International Conference On Coordination Models And Languages, Coordination 2008, Held In Oslo, Norway In June 2008, As Part Of The Federated Discotec Conference. Coordi- Nationitselfispartofaserieswhoseproceedingshavebeenpublishedinlncs Volumes 1061, 1282, 1594, 1906, 2315, 2949, 3454, 4038, And 4467. From The 61 Submissions Received From Around The World, The Program Committee Selected 21 Papers For Presentation And Publication In This Volume On The Basis Of Or- Inality, Quality, And Relevance To The Topics Of The Conference. Each Submission Received At Least Three Reviews. As With Previous Editions, The Paper Submission And Selection Processes Were Managed Entirely Electronically. This Was Acc- Plished Using Easychair, A Free Web-based Conference Management System. In Addition To The Technical Paper Presentations, Coordination 2008 Hosted An Invited Presentation By Matt Welsh From Harvard University. We Are Grateful To All The Program Committee Members Who Devoted Much E?ort And Time To Read And Discuss The Papers. Moreover, We Acknowledge The Help Of Additional External Reviewers Who Evaluated Submissions In Their Area Of Expertise. Finally,wewouldliketothanktheauthorsofallthesubmittedpapersandthe Conferenceattendees, For Keeping This Researchcommunity Lively And Interactive, And Ultimately Ensuring The Success Of This Conference Series. 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 -

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.