FOCLASA 2010

9th International Workshop on the
Foundations of Coordination Languages and Software Architectures

A Satellite Workshop of CONCUR 2010


                                                                      Le Louvre

Paris (France), September 4, 2010

Abstract

    A number of hot research topics are currently sharing the common problem of combining concurrent, distributed, mobile and heterogenous 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 achitectures are recognised as fundamental approaches to tackle this issue, improving software productivity, enhancing maintainability, advocating modularity, promoting reusability, and leading to systems more tractable and more amenable to verification and global analysis.

The goal of the FOCLASA workshop is to put together researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general solutions in the contexts of coordination languages and software architectures.

Topics of interest

    Topics of interest include (but are not limited to):

    In particular, practice, experience and methodologies from the following areas are solicited as well:

Workshop Program

09:15 - 09:30    Opening session     

09:30 - 10:30    Invited talk     

Simplified Distributed Programming with Micro Objects
          Maarten van Steen, Vrije Universiteit, Amsterdam, The Netherlands

10:30 - 11:00    Coffee break     

11:00 - 12:30    Session 1: Resources, Priorities, and Sensor Networks     

CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources
          Mayleen Lacouture, Hervé Grall and Thomas Ledoux

Implementing Distributed Controllers for Systems with Priorities
          Imene Benhafaiedh, Susanne Graf and Hammadi Khairallah

Self-Recovering Sensor-Actor Networks
          Maryam Kamali, Linas Laibinis, Luigia Petre and Kaisa Sere

12:30 - 14:00    Lunch     

14:00 - 15:30    Session 2: Data-Oriented Coordination and Adaptation     

Handling Data-Based Concurrency in Context-Aware Service Protocols
          Javier Cubo, Ernesto Pimentel, Gwen Salaün and Carlos Canal

On Coordinating Collaborative Objects
          Aabdessamad Imine

Behavioural Adaptation for Scalable Service Discovery
          José Antonio Martín and Ernesto Pimentel

15:30 - 16:00    Coffee break     

16:00 - 17:00    Session 3: Timed and Stochastic Systems     

A Compositional Semantics for Stochastic Reo Connectors
          Young-Joo Moon, Alexandra Silva, Christian Krause and Farhad Arbab

Timed Automata Semantics for Analyzing Creol
          Mohammad Mahdi Jaghoori and Tom Chothia

17:00 - 17:15    Closing session     

Call for Papers (pdf)

    FOCLASA 2010 is a satellite workshop of the 21st International Conference on Concurrency Theory (CONCUR 2010). It provides a venue where researchers and practitioners on the topics given below can meet, exchange ideas and problems, identify some of the key and fundamental issues related to coordination languages and software architecture, and explore together and disseminate solutions.

    Submissions must describe authors' original research work and their results. Description of work-in-progress with concrete results is also encouraged. The contributions should not exceed 15 pages formatted according to the style of the Electronic Proceedings in Theoretical Computer Science (EPTCS), and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: click here.

    Important Dates

    Submitting an abstract does not put any obligation on the authors to submit a full paper. Abstracts without an accompanying full paper by the paper submission deadline are automatically considered withdrawn; the authors are, however, encouraged to explicitly withdraw their abstract, if they decide not to submit a full paper.

    All submissions will be reviewed by an international program committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Concurrent submission to other venues (conferences, workshops or journal) and submission of papers under consideration elsewhere are not allowed. A printed version of the proceedings will be distributed among participants during the workshop. The proceedings of the workshop will be published as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series.

    Participants will give a presentation of their papers in twenty minutes, followed by a ten-minute round of questions and discussion on participants' work.

    Following the tradition of the past edition, a special issue of an international scientific journal will be devoted to FOCLASA 2010. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue. In the last few editions of FOCLASA, a special issue of Science of Computer Programming has been dedicated to this workshop and we plan to devote a special issue of the same journal to FOCLASA 2010.

Program Committee Chairs

MohammadReza Mousavi
       Eindhoven University of Technology, The Netherlands
       Web: http://www.win.tue.nl/~mousavi/

Gwen Salaün
       Grenoble INP - INRIA Grenoble (Rhône-Alpes) - LIG, France
       Web: http://www.inrialpes.fr/vasy/people/Gwen.Salaun/

Program Committee

Farhad Arbab, CWI, The Netherlands
Luis Barbosa, University of Minho, Portugal
Antonio Brogi, University of Pisa, Italy
Carlos Canal, University of Málaga, Spain
Vittorio Cortellessa, University of L'Aquila, Italy
Gregor Goessler, INRIA Grenoble - Rhône-Alpes, France
Ludovic Henrio, INRIA Sophia Antipolis, France
Jean-Marie Jacquet, University of Namur, Belgium
Alexander Knapp, University of Augsburg, Germany
Ronaldo Menezes, Florida Institute of Technology, USA
MohammadReza Mousavi, Eindhoven University of Technology, The Netherlands
Ernesto Pimentel, University of Málaga, Spain
Pascal Poizat, University of Evry, France
Jaco van de Pol, University of Twente, The Netherlands
Antonio Ravara, Technical University of Lisbon, Portugal
Gwen Salaün, Grenoble INP - INRIA - LIG, France
Marjan Sirjani, Reykjavik University, Iceland
Carolyn Talcott, SRI International, USA
Emilio Tuosto, University of Leicester, UK
Mirko Viroli, University of Bologna, Italy
Danny Weyns, Katholieke Universiteit Leuven, Belgium

Erik de Vink, Eindhoven University of Technology, The Netherlands  

Steering Committee

Farhad Arbab, CWI, The Netherlands
Antonio Brogi, University of Pisa, Italy
Carlos Canal, University of Málaga, Spain
Jean-Marie Jacquet, University of Namur, Belgium
Ernesto Pimentel, University of Málaga, Spain
Mirko Viroli, University of Bologna, Italy 

Past Editions

FOCLASA 2009 A satellite workshop of ICALP 2009, Rhodes (Greece)
    Proceedings in ENTCS, vol. 255, 2009
    Special issue to appear in Science of Computer Programming, Elsevier

FOCLASA 2008 A satellite workshop of ICALP 2008, Reykjavik (Iceland)
    Proceedings in ENTCS, vol. 248, 2009
    Special issue to appear in Science of Computer Programming, Elsevier

FOCLASA 2007 A satellite workshop of Concur 2007, Lisbon (Portugal)
    Proceedings in ENTCS, vol. 194(4), 2008
    Special issue to appear in Science of Computer Programming, Elsevier

FOCLASA 2006 A satellite workshop of Concur 2006, Bonn (Germany)
    Proceedings in ENTCS, vol. 175(2), 2007
    Special issue in Science of Computer Programming, vol. 74(9), Elsevier

FOCLASA 2005 A satellite workshop of Concur 2005, San Francisco (USA)
    Proceedings published in ENTCS, vol. 154(1), 2006
    Special issue in Science of Computer Programming, vol. 66(2), Elsevier, 2007

FOCLASA 2004 A satellite workshop of Concur 2004, London (United Kingdom)
   
Proceedings in ENTCS, vol. 180(2), 2007

FOCLASA 2003 A satellite workshop of Concur 2003, Marseille (France)
   
Proceedings in ENTCS, vol. 97, 2004
    Special issue in Science of Computer Programming,
vol. 61(2), Elsevier, 2006

FOCLASA 2002 A satellite workshop of Concur 2002, Brno (Czech Republic)
    Proceedings in ENTCS, vol. 68(3), 2003
    Special issue in Fundamenta Informaticae, vol 73(4), IOSPress, 2006