Published: 28th July 2010 DOI: 10.4204/EPTCS.30 ISSN: 2075-2180 |
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 |
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