Coordination Models and Languages
This volume contains the proceedings of the 8th International Conference on Coordination Models and Languages, Coordination 2006. This year the conf- ence was part of a set of federated conferences named DisCoTec 2006, held in Bologna in June 2006. It was held in the series of successful conferences whose proceedings were also published in LNCS, in volumes 1061, 1282, 1594, 1906, 2315, 2949, and 3454. The conference was born in 1996, as a forum for researchers working on programming models, formalisms, and platforms for describing or supporting concurrent and distributed computations. Contemporary information systems increasingly rely on combining concurrentand distributed, and now also mobile, recon?gurable and heterogeneous components. New models, architectures, l- guages,andveri?cationtechniquesarenecessaryto copewith the complexity- ducedbythedemandsoftoday’ssoftwareindustry.Coordinationlanguageshave emerged as a successful approach, in that they provide abstractions that cleanly separatebehaviorfromcommunication,therebysupportingmodulardesign,s- plifying reasoning,and ultimately enhancing softwaredevelopment. Researchon coordination models and languages is still playing a crucial role in addressing the technological concerns of widely distributed applications and services. We received 50 submission. All papers were reviewed by four reviewers. The Program Committee used a tool for collaborative conference management to select 18 regular papers. The Program Committee invited Chris Hankin and Pierpaolo Degano to give talks.
Proceedings of the 8th International Conference on Coordination Models and Languages, COORDINATION 2006Presents 17 revised full papersTopics addressed include component connectors, negotiation in service-oriented computing, process algebraic specification, workflow patterns, reactive XML and more