Construction of complex systems out of black-box components or services
involves non-trivial glue code that embodies increasingly complex
protocols, far beyond trivial "wiring" of those components or services.
Distribution of the constituent components and services and their
heterogeneity, as in service oriented computing, only compound the
complexity of the connectors that must compose and engage them in such
protocols. Systematic approaches to tackle this complexity requires
the recognition of connectors as first-class concepts.
The focus of this workshop is on the glue code itself and its properties,
independent of the entities that it connects. The goal of this workshop
is to advocate glue code as a first-class constituent in complex systems,
and promote application of formal methods to its synthesis and analysis
as a means to allow compositional construction and reasoning about the
properties of composite systems.
Topics of interest include models, methods, logics, tools, techniques,
middleware, and systems for formal synthesis and analysis of coordination glue code used
to connect back-box components and services in parallel and distributed
environments to compose new systems or services. Both behavioral
properties (liveness, termination, reachability, etc.) as well as
non-functional properties (e.g., resource consumption, quality of service,
performance measures, etc.) constitute relevant topics of interest.
This workshop is open for participation to any member of the community,
particularly researchers working on formal methods, verification,
concurrency, coordination, service oriented computing, Grid, and component
based software engineering. Specifically, participation by PhD students
is encouraged.
Submissions:
In order to encourage participation and discussion, this workshop solicits
two types of submissions - regular papers and presentations:
Regular paper submissions must be original work,
and must not have been previously published,
nor be under consideration for publication
elsewhere.
Regular paper submission must not exceed 15 pages,
possibly followed by a clearly marked appendix which will be
removed for the proceedings and contains
technical material for the reviewers.
A presentation reports on recent or ongoing work on relevant topics and
ideas, for timely discussion and feedback at the workshop. There is
no restriction as for previous/future publication of the contents of
a presentation. Typically, a presentation is based on a paper which
recently appeared (or which is going to appear) in the proceedings of
another recognized conference, or which has not yet been submitted.
The (extended) abstract of presentation submissions
should not exceed 4 pages.
All Submissions must be as PDF and adhere to the
ACM proceedings format and made via
email
by the stated deadline.
The workshop PC will review all submissions of both types to select
appropriate ones for acceptance in each category, based on their
relevance, merit, originality, and technical content. The authors of the
accepted submissions of both types are expected to present and discuss
their work at the workshop.
Workshop proceedings:
Accepted regular papers will be published in the workshop proceedings, in
the ACM Digital Library and on the same CD as that of the main ESEC/FSE
2007 conference. The extended abstract of a presentation
will not be published in the workshop proceedings.
Farhad Arbab, CWI, Amsterdam, The Netherlands
Christel Baier, Universitaet Dresden, Germany
Luis Barbosa, University of Minho, Portugal
Antonio Brogi, University of Pisa, Italy
Carlos Canal, University of Malaga, Spain
Rocco De Nicola, University of Pisa, Italy
Jose Luiz Fiadeiro, University of Leicester, UK
Rob van Glabbeek, NICTA, Australia
Jean-Marie Jacquet, University of Namur, Belgium
Einar Broch Johnsen, University of Oslo, Norway
Jetty Kleijn, Leiden University, The Netherlands
Ugo Montanari, University of Pisa, Italy
Ernesto Pimentel, University of Malaga, Spain
Carolyn Talcott, SRI International, USA
Erik de Vink, Technical University of Eindhoven, The Netherlands
Wang Yi, Uppsala University, Sweden