FOCLASA 2011

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

A Satellite Workshop of CONCUR 2011


Aachen

Rooms 129 and 130, SuperC Building, RWTH Aachen,
Templergraben 55, 52062 Aachen, Germany (on Google Maps)
September 10, 2011

Abstract

Computation nowadays is becoming inherently concurrent, either because of characteristics of the hardware (with multicore processors becoming omnipresent) or due to the ubiquitous presence of distributed systems (incarnated in the Internet). Computational systems are therefore typically distributed, concurrent, mobile, and often involve composition of heterogeneous components.

To specify and reason about such systems and go beyond the functional correctness proofs, e.g., by supporting reusability and improving maintainability, approaches such as coordination languages and software architecture are recognised as fundamental.

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 context of coordination languages and software architectures.

Topics of interest

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

  • Theoretical models (of coordination, of component composition, of open, concurrent, and distributed systems)

  • Specification, refinement, and analysis of software systems (architectures, patterns and styles, verification of functional and non-functional properties via logics or types)

  • Languages for interaction, coordination, architectures, and interface definition (syntax and semantics, implementation, usability, domain-specific languages)

  • Dynamic software architectures (mobile agents, self-organizing/adaptive/reconfigurable systems)

  • Tools and environments for the development of applications.

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

  • Service-Oriented computing

  • Multi-agent systems

  • Peer-to-peer systems

  • Grid computing

  • Component-based systems

Invited Talk

Joe Armstrong, Ericsson, Sweden.

Workshop Program

  • 08:30-08:45 Arrival and registration

  • 08:45-09:00 Welcome and opening remarks

  • 09:00-10:00 Session 1: Invited Talk

    • Joe Armstrong, Ericsson, Sweden
      How Erlang views the world and what we have learned in the last 25 years of programming distributed systems.

  • 10:00-10:30 Coffee/Tea Break

  • 10:30-12:00 Session 2: Concurrency Meets Coordination

    • 10:30-11:00 Ross Horne and Vladimiro Sassone
      A Verified Algebra for Linked Data

    • 11:00-11:30 Simon Ware and Robi Malik
      A State-Based Characterisation of the Conflict Preorder

    • 11:30-12:00 Jose Proenca, Dave Clarke, Erik De Vink and Farhad Arbab
      Decoupled execution of synchronous coordination models via behavioural automata

  • 12:00-14:30 Lunch Break

  • 14:30-16:00 Session 3: Invited Tutorial

    • Vladimir Klebanov, KIT, Germany
      VSTTE competition and some of its solutions

  • 16:00-16:30 Coffee/Tea Break

  • 16:30-17:30 Session 4: Coordination of Resource-Constrained Systems

    • 16:30-17:00 Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, Arni Herman Reynisson, Steinar Hugi Sigurdarson and Marjan Sirjani.
      Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca.

    • 17:00-17:30 Chiara Bodei, Viet Dung Dinh and Gian Luigi Ferrari.
      Predicting global usages of resources endowed with local policies

  • 17:30-17:45 Closing remarks

Call for Papers (pdf)

    FOCLASA 2011 is a satellite workshop of the 22nd International Conference on Concurrency Theory (CONCUR 2011). 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

    Abstract submission: June 3rd, 2011 (**Extended**)

    Paper submission: June 10th, 2011 (**Extended**)

    Notification: July 4th, 2011

    Final version due: July 18th, 2011

    Workshop: September 10th, 2011

    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 2011. 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 2011.

Program Committee Chairs

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

António Ravara
New University of Lisbon, Portugal
Web: http://ctp.di.fct.unl.pt/~aravara/

Program Committee

Jonathan Aldrich, Carnegie Mellon University, USA
Luis Barbosa, University of Minho, Portugal
Bernhard Beckert, Karlsruhe Institute of Technology, Germany
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
Paola Inverardi, Universitŕ dell'Aquila, Italy
MohammadReza Mousavi, Eindhoven University of Technology, The Netherlands
Jaco van de Pol, University of Twente, The Netherlands
António Ravara, New University of Lisbon, Portugal
Gwen Salaün, Grenoble INP - INRIA - LIG, France
Carolyn Talcott, SRI International, USA
Emilio Tuosto, University of Leicester, UK
Mirko Viroli, University of Bologna, Italy
Danny Weyns, Katholieke Universiteit Leuven, Belgium

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
Gwen Salaün, Grenoble INP - INRIA Grenoble - LIG, France
Mirko Viroli, University of Bologna, Italy

Past Editions

FOCLASA 2010 A satellite workshop of CONCUR 2010, Paris (France)
Proceedings in EPTCS , vol. 30, 2010     Special issue to appear in Science of Computer Programming, Elsevier

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