Published: 28th July 2010
DOI: 10.4204/EPTCS.30
ISSN: 2075-2180

EPTCS 30

Proceedings Ninth International Workshop on
the Foundations of Coordination Languages and Software Architectures
Paris, France, 4th September 2010

Edited by: MohammadReza Mousavi and Gwen Salaün

Foreword
MohammadReza Mousavi and Gwen Salaün
Simplified Distributed Programming with Micro Objects
Jan-Mark S. Wams and Maarten van Steen
1
CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources
Mayleen Lacouture, Hervé Grall and Thomas Ledoux
16
Implementing Distributed Controllers for Systems with Priorities
Imene Ben-Hafaiedh, Susanne Graf and Hammadi Khairallah
31
Self-Recovering Sensor-Actor Networks
Maryam Kamali, Linas Laibinis, Luigia Petre and Kaisa Sere
47
Handling Data-Based Concurrency in Context-Aware Service Protocols
Javier Cubo, Ernesto Pimentel, Gwen Salaün and Carlos Canal
62
On Coordinating Collaborative Objects
Abdessamad Imine
78
A Compositional Semantics for Stochastic Reo Connectors
Young-Joo Moon, Alexandra Silva, Christian Krause and Farhad Arbab
93
Timed Automata Semantics for Analyzing Creol
Mohammad Mahdi Jaghoori and Tom Chothia
108

Foreword

This volume contains the proceedings of FOCLASA 2010, the 9th International Workshop on the Foundations of Coordination Languages and Software Architectures. FOCLASA 2010 was held in Paris, France on September 4th, 2010 as a satellite event of the 21st International Conference on Concurrency Theory, CONCUR 2010. The workshop provides a venue where researchers and practitioners could meet, exchange ideas, identify common problems, determine some of the key and fundamental issues related to coordination languages and software architectures, and explore together and disseminate solutions. Indeed, a number of hot research topics are currently sharing the common problem of combining concurrent, distributed, mobile and heterogeneous components, trying to harness the intrinsic complexity of the resulting systems. These include coordination, peer-to-peer systems, grid computing, web services, multi-agent systems, and component-based systems. Coordination languages and software architectures are recognized as fundamental approaches to tackle these issues, improving software productivity, enhancing maintainability, advocating modularity, promoting reusability, and leading to systems more tractable and more amenable to verification and global analysis. This year, we received seventeen submissions involving 43 authors from 3 continents (Africa, Asia and Europe) and 13 different countries. Papers underwent a rigorous review process, and received 3 review reports. (The papers with a co-author from the Program Committee were treated more stringently and received 4 review reports.) After the review process, the international Program Committee of FOCLASA 2010 decided to select eight papers for presentation during the workshop and inclusion in these proceedings. These papers tackle different issues that are currently central to our community, namely software adaptation, sensor networks, distributed control, non-functional aspects of coordination such as resources, timing and stochastics. The workshop features an invited speech by Maarten van Steen from Vrije Universiteit in Amsterdam and we are honored to have an invited paper by Jan-Mark S. Wams and Maarten van Steen in the proceedings on programming paradigms for distributed systems. The best papers of the workshop will be invited for a special issue in Science of Computer Programming (Elsevier). We would like to thank all the members of the program committee for their great work during the review process, the external reviewers for their participation during the review process of the submissions, all the authors for submitting papers to the workshop, and the authors who participate in the workshop in Paris. All these people contribute to the success of the 2010 edition of FOCLASA.

MohammadReza Mousavi
Gwen Salaün

Steering Committee

Program Committee

External Reviewers