4th International Workshop on the

Foundations of Coordination Languages and Software Architectures

A Satellite Workshop of CONCUR 2005

August 27, 2005
San Francisco, Californa (USA)


    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 architectures are recognised 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. The goal of this 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.

Workshop Program

Saturday August 27, 2005

09:00 - 10:00    Invited talk      (slides)

Processes as Types: A Generic Framework of Behavioral Type Systems for Concurrent Processes
Atsushi Igarashi, Kyoto University (Japan)

10:00 - 10:30    Coffee break

10:30 - 12:30    Session: Practice

Capability-Passing Processes
          Tom Chothia, and Dominic Duggan
          École Polytechnique, CNRS (France) & Stevens Institute of Technology (USA)

Coordination as an Architectural Aspect
          Carlos Cuesta, M. Pilar Romay, Pablo de la Fuente, and Manuel Barrio-Solórzano
          Universidad de Valladolid (Spain) & Universidad Europea de Madrid (Spain)

A Framework for Engineering Interactions in Open Component-Based Systems
          Antonio Natali, Enrico Oliva, Alessandro Ricci, and Mirko Viroli
          Universitŕ di Bologna (Italy)

Mobile Agents in Interaction Space
          Frédéric Peschanski
          University Pierre et Marie Curie - Paris 6 (France)

12:30 - 14:00    Lunch

14:00 - 15:30    Session: Theory

Formal Semantics and Analysis of Component Connectors in Reo
          Mohammad Reza Mousavi, Marjan Sirjani, and Farhad Arbab
          TU Eindhoven (The Netherlands), CWI (The Netherlands) & Tehran Univesrity and IPM (Iran)

Connector Colouring I: Synchronisation and Context Dependency
          Dave Clarke, David Costa, and Farhad Arbab
          CWI (The Netherlands)

Modeling the Exogenous Coordination of Mobile Channel based Systems with Petri Nets
          Juan Guillen-Scholten, Farhad Arbab, Frank de Boer, and Marcello Bonsangue
          CWI (The Netherlands) & Leiden University (The Netherlands)

15:30 - 16:00    Coffee break

16:00 - 17:00    Session: Orchestration

Designing a BPEL Orchestration Engine based on ReSpecT tuple centres
          Michele Cabano, Enrico Denti, Alessandro Ricci, and Mirko Viroli
          Universitŕ di Bologna (Italy)

Formalizing WSBPEL Business Processes using Process Algebra
          Javier Cámara, Carlos Canal, Javier Cubo, and Antonio Vallecillo
          University of Málaga (Spain)

16:00 - 17:00    Closing session

Final discussion and workshop wrap-up

Call for Papers (closed)

    FOCLASA 2005 is a satellite workshop of the 16th International Conference on Concurrency Theory CONCUR 2005 (mirror site). The workshop will be held at same location as CONCUR 2005 on August 27, 2005, one day after the main conference. 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 2005 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.

    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). You can find the proceedings of the 2004 edition here.

    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 (to determine) will invite the panelists and moderate the debate.

    The publication of a special issue on FOCLASA 2005 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.

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:

Program Committee

Farhad Arbab, CWI, The Netherlands

Antonio Brogi, University of Pisa, Italy

Carlos Canal (co-chair), University of Málaga, Spain

Atsushi Igarashi, University of Kyoto, Japan

Jean-Marie Jacquet, University of Namur, Belgium

Nickolas Kavantzas, Oracle, USA

Antónia Lopes, University of Lisbon, Portugal

Ronaldo Menezes, Florida Institute of Technology, USA

John-Jules Ch. Meyer, Universiteit Utrecht, The Netherlands

Ernesto Pimentel, University of Málaga, Spain

Alessandro Ricci, University of Bologna, Italy

Katia Sycara, Carnegie Mellon University, USA

Vladimiro Sassone, University of Sussex, UK

Mirko Viroli (co-chair), University of Bologna, Italy

Jan Vitek, Purdue University, USA

Gianluigi Zavattaro, University of Bologna, Italy

Important dates


May 31, 2005


Notification of acceptance:  

June 30, 2005


Final version due:

July 20, 2005

Early registration deadline

July 20, 2005



August 27, 2005



Carlos Canal
Universidad de Málaga
ETSI Informática
Campus de Teatinos
29071 Málaga (Spain)
Phone: +34 952 13 33 11
Fax: +34 952 13 13 97


Mirko Viroli
Universitŕ degli Studi di Bologna

via Venezia 52
47023 Cesena (Italy)
Phone: +39 547 339216
Fax: +39 547 339208


Carlos Canal
is Associate Professor of Software Engineering at the University of Málaga (Spain), where he received his M.Sc. and Ph.D. degrees in Computer Science in 1993 and 2001, respectively. His research interests deal with Software Architecture, Component-Based Software Development, and Component Adaptation. In addition to his participation as a speaker in international conferences on these subjects, his most significant publications can be found in The Computer Journal, Science of Computing Programming, Journal of Systems and Software, and IEEE Transactions on Software Engineering. He has been a frequent attendant to previous editions of FOCLASA, and he has co-organized the First Workshop on Coordination and Adaptation Issues for Software Entities (WCAT’04), associated to ECOOP 2004.

Mirko Viroli is Research Associate at the University of Bologna in Cesena (Italy), where he received his M.Sc. and Ph.D. degrees in Computer Science Engineering in 1997 and 2003, respectively. His research interests deal with Programming Languages, Coordination Models, Agent-Based Systems, and Foundation of Interaction. In addition to his participation as a speaker in international conferences on these subjects, his most significant publications can be found in The Computer Journal and Applied Artificial Intelligence. He has been a frequent attendant to previous editions of FOCLASA and other CONCUR workshops (WOOD, SECCO), and he has co-organized the Object-Oriented Programming Language and Systems (OOPS) track at ACM SAC 2004 & 2005, and the First Workshop on Foundations of Interactive Computation (FINCO 2005) at ETAPS 2005.

Previous Editions