Coordination Models and Languages : 8th International Conference, Coordination 2006, Bologna, Italy, June 14-16, 2006, Proceedings

by Ciancarini, Paolo; Wiklicky, Herbert

• ISBN13: 9783540346944
• ISBN10: 3540346945
• Format: Paperback
• Copyright: 2006-07-15
• Publisher: Springer Verlag

Summary

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.

Table of Contents

Stochastic Reasoning About Channel-Based Component Connectors
Christel Baier, Verena Wolf	1	(15)
Atomic Commit and Negotiation in Service Oriented Computing
Laura Bocchi, Roberto Lucchi	16	(12)
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer	28	(16)
Automated Evaluation of Coordination Approaches
Tibor Bosse, Mark Hoogendoorn, Jan Treur	44	(19)
Choreography and Orchestration Conformance for System Design
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro	63	(19)
Workflow Patterns in Orc
William R. Cook, Sourabh Patwardhan, Jayadev Misra	82	(15)
Evolution On-the-Fly with Paradigm
Luuk Groenewegen, Erik de Vink	97	(16)
Formalising Business Process Execution with Bigraphs and Reactive XML
Thomas Hildebrandt, Henning Niss, Martin Olsen	113	(17)
Enabling Ubiquitous Coordination Using Application Sessions
Christine Julien, Drew Stovall	130	(15)
A WSDL-Based Type System for WS-BP EL
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi	145	(19)
Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements
Martin López-Nores, Jorge Garcia-Duque, José J. Pazos-Arias	164	(15)
A Logical View of Choreography
Carlo Montangero, Laura Semini	179	(15)
Using Line to Support Replication for Availability in Mobile Ad Hoc Networks
Amy L. Murphy, Gian Pietro Picco	194	(18)
Coordinating Computation with Communication
Thomas Nitsche	212	(16)
Distributed Workflow upon Linkable Coordination Artifacts
Amircu Omicini, Alessandro Ricci, Nicola Zaghini	228	(19)
Actors, Roles and Coordinators A Coordination Model for Open Distributed and Embedded Systems
Shanyping Ren, Yue Yu, Nianen Chen, Kevin Marth, Pierre-Etienne Poirot, Limin Shen	247	(19)
Tuple Space Coordination Across Space and Time
Gruia-Catalin Roman, Redo Handorean, Rohan Shen	266	(15)
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Marian Sirjani, Mohammad Mandi Jaghoori, Christel Baier, Farhad Arbab	281	(18)
Author Index	299