Last update: 24/07/2007


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

A Satellite Workshop of CONCUR 2007

                                                                      Padrão dos Descobrimentos ©
João Abreu

Lisbon (Portugal), September 8, 2007


    A number of hot research topics are currently sharing the common problem of combining concurrent, distributed, mobile and heterogeneous services and components, while harnessing the intrinsic complexity of the resulting systems. These include Web Services, multi-agent systems, peer-to-peer systems, grid computing, and component-based systems. Fundamental approaches to tackle these issues rely on foundational works in the context of coordination languages and software architectures, which are generally claimed to improve software productivity, enhance maintainability, advocate modularity, promote reusability, and lead to systems which are more tractable and more amenable to verification and global analysis. The goal of this workshop is to put together researchers and practitioners of the aforementioned fields, and to share and identify general and specific problems and solutions.

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:00 – 09:30


Opening session:
     presentation of the workshop

09:30 – 10:00

A Service-oriented Model for Embedded Peer-to-Peer Systems
     Antonio Brogi, and Razvan Popescu
          University of Pisa, Italy
     Francisco Gutiérrez, Pablo López, and Ernesto Pimentel
          University of Málaga, Spain

10:00 – 10:30

Modelling of Service-Oriented Architectures with UML
     Marcos López-Sanz, César J. Acuña, Carlos E. Cuesta, and Esperanza Marcos
          Universidad Rey Juan Carlos, Spain


10:30 – 11:00

Coffee break

11:00 – 11:30

Comparing Three Coordination Models: Reo, ARC, and RRD
     Shangping Ren
          Illinois Institute of Technology, USA
     Marjan Sirjani
          University of Tehran and IPM, Iran

     Carolyn Talcott
          SRI Internacional, USA


11:30 – 12:00

Coordination Models Orc and Reo Compared
     José Proença, and Dave Clarke
          CWI, The Netherlands


12:00 – 12:20

Modeling Sequential and Concurrent Programs with Reo and Constraint Automata (short presentation)
     Bahman Pourvatan, Arash Afshar, and Nima Ruhy
          Amirkabir University of Technology, Iran


12:20 – 14:00

Lunch time

14:00 – 14:30

Connector Rewriting with High-Level Replacement Systems
     Christian Koehler, Alexander Lazovik, and Farhad Arbab
          CWI, The Netherlands


14:30 – 15:00

Executable Models as Composition Elements in the Construction of Families of Applications
     Jorge Villalobos, Mario Sánchez, and Daniel Romero
          Universidad de los Andes, Colombia


15:00 – 15:30

Component Interfaces based on relative-timed Linda
     Ernesto Pimentel
          University of Málaga, Spain
     Ana M. Roldán
          University of Huelva, Spain


15:30 – 16:00

Coffee break

16:00 – 16:30

Prototyping A&A ReSpecT in Maude
     Matteo Casadei, Andrea Omicini, and Mirko Viroli
          Università di Bologna, Italy


16:30 – 17:00

Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
     Alessandro Ricci, Mirko Viroli,and Maurizio Cimadamore
          Università di Bologna, Italy


17:00 – 17:20

Coordinated Mobility in Open Distributed Systems (short presentation)
     Gabriel Ciobanu
          “A. I. Cuza" University, Romania


17:20 – 17:50

Closing session:
     conclusions from the workshop


Call for Papers (closed)

    FOCLASA 2007 is a satellite workshop of the 18th International Conference on Concurrency Theory CONCUR 2007. The workshop will be held on September 8, 2007. The workshop tries to provide a venue where researchers and practitioners on the topics above 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.

    FOCLASA 2007 invites the submission of technical papers in any of the topics of interest and areas listed above.  Submissions must describe authors’ original research work and their results. Description of work-in-progress is also encouraged. The contributions should not exceed 15 pages formatted according to the style of the Electronic Notes on Theoretical Computer Science (ENTCS), and should be emailed as PostScript (PS) or Portable Document Format (PDF) files to

    The deadline for paper submission to FOCLASA 2007 is June 10, 2007. However, if you intend to submit a paper to the workshop, please inform us of the title and abstract by June 3, so we can organize in advance and speed up the reviewing process.

    All submissions will be reviewed by an international program committee that will select them for presentation in the workshop. Selected papers will be available through the workshop website, and a printed version of the proceedings will be distributed among participants during the workshop. The proceedings of the workshop will be published in Electronic Notes in Theoretical Computer Science (ENTCS).

    Participants will make a presentation of their papers (about twenty or twenty five minutes maximum), followed by a five to ten minutes round of questions and discussion on participants’ work. The workshop will also include a closing panel in which several issues related to the topics of the workshop and some issues raised during the workshop will be discussed. The Panel Chair will invite the panelists and moderate the debate.

    The publication of a special issue on FOCLASA 2007 in an international scientific journal is also being prepared. 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. Previous editions of FOCLASA have been published on Fundamenta Informaticae and Science of  Computer Programming.

Programme 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
Serge Haddad, University of Paris-Dauphine, France
Atsushi Igarashi, University of Kyoto, Japan
Paola Inverardi, University of L'Aquila, Italy
Valérie Issarny, INRIA, France
Jean-Marie Jacquet, University of Namur, Belgium
Nickolas Kavantzas, Oracle, USA
Ronaldo Menezes, Florida Institute of Technology, USA
John-Jules Ch. Meyer, Universiteit Utrecht, The Netherlands
George Papadopoulos, University of Cyprus, Cyprus
Ernesto Pimentel, University of Málaga, Spain
Pascal Poizat, ARLES Project-team, INRIA and Université d'Evry, France
Julian Rathke, University of Sussex, United Kingdom
Alessandro Ricci, University of Bologna, Italy
Miguel Valero, Universidad Complutense de Madrid, Spain
Mirko Viroli, University of Bologna, Italy
Jan Vitek, Purdue University, USA
Danny Weyns, Katholieke Universiteit Leuven, Belgium


Steering Committee

Antonio Brogi, University of Pisa, Italy
Jean-Marie Jacquet, University of Namur, Belgium
Ernesto Pimentel, University of Málaga, Spain

Organizing Committee

Carlos Canal
       Universidad de Málaga, Spain
       ETSI Informática
       Campus de Teatinos
       29071 Málaga (Spain)

Pascal Poizat
       INRIA Rocquencourt
Projet ARLES
Domaine de Voluceau - Rocquencourt
       78153 Le Chesnay Cedex (France)
       91000 Evry (France)

Mirko Viroli
       Università degli Studi di Bologna, Italy
       via Venezia 52
       47023 Cesena (Italy)

Past Editions

FOCLASA 2006 A satellite workshop of Concur 2006, Bonn (Germany)
    Proceedings in ENTCS, vol. 175(2), 2007
    Special issue to appear in Science of Computer Programming, 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