International Workshop on Synthesis and Analysis of Component Connectors (SYANCO 2007)

Satellite Workshop of ESEC/FSE 2007

September 3-4, 2007

Dubrovnik, Croatia


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.


In order to encourage participation and discussion, this workshop solicits two types of submissions - regular papers and presentations:
  1. 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.
  2. 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.

Important dates:

Submission deadline: June 1 (regular papers)
Notification: June 22
Camera-ready papers: July 1
Workshop presentation (extended) abstract submission: July 1


PC Chairs:

Program Committee:

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