Published: 12th October 2010
DOI: 10.4204/EPTCS.37
ISSN: 2075-2180

EPTCS 37

Proceedings International Workshop on
Component and Service Interoperability
Málaga, Spain , 29th June 2010

Edited by: Javier Cámara, Carlos Canal and Gwen Salaün

Preface
Javier Cámara, Carlos Canal and Gwen Salaün
Contract Aware Components, 10 years after
Antoine Beugnard, Jean-Marc Jézéquel and Noël Plouzeau
1
Partition Refinement of Component Interaction Automata: Why Structure Matters More Than Size
Markus Lumpe and Rajesh Vasa
12
Components Interoperability through Mediating Connector Patterns
Romina Spalazzese and Paola Inverardi
27
Behavioural Models for Group Communications
Rabéa Ameur-Boulifa, Ludovic Henrio and Eric Madelaine
42
Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability
Meriem Ouederni and Gwen Salaün
57
Multilevel Contracts for Trusted Components
Mohamed Messabihi, Pascal André and Christian Attiogbé
71
A Reusable Component for Communication and Data Synchronization in Mobile Distributed Interactive Applications
Abdul Malik Khan, Sophie Chabridon and Antoine Beugnard
86

Preface

PREFACE

 

The development of software systems requires mechanisms to structure them in order to tackle their complexity. This has led to the appearance of different kinds of abstractions to encapsulate system functionality, e.g., modules, objects, components, and more recently, services. Systems are then built as assemblies of these smaller and reusable entities, which are commonly developed by third parties, and that often present interoperability issues when assembled. Hence, interoperability is one of the key aspects related to the construction of large software systems, and can be defined as the ability of two or more entities to cooperate in a proper way.

This volume contains the proceedings of WCSI 2010, the International Workshop on Component and Service Interoperability. WCSI 2010 was held in Malaga (Spain) on June 29th, 2010 as a satellite event of the TOOLS 2010 Federated Conferences.

The goal of the workshop was to bring together researchers and practitioners interested in interoperability issues, to share and identify common problems, and to devise general solutions in the context of software components and services.

After a rigorous review process, the international Program Committee of WCSI 2010 decided to select seven papers for inclusion in these proceedings. These papers tackle different issues that are currently central to our community, namely definition of expressive interface languages, formal models and approaches to software composition and adaptation, interface-based compatibility and substitutability, and verification techniques for distributed software.

We would like to thank all the members of the Program Committee for their great work during the review process:

Luciano Baresi, Politecnico di Milano, Italy

Nelly Bencomo, Lancaster University, UK

Antoine Beugnard, ENST Bretagne, France

Rogerio de Lemos, University of Kent, UK

Marlon Dumas, University of Tartu, Estonia

Markus Lumpe, Swinburne University, Australia

Gordon Pace, University of Malta, Malta

Pascal Poizat, University of Evry and LRI, France

Razvan Popescu, Trinity College Dublin, Ireland

Gerardo Schneider, IT University Goteborg, Sweden

Massimo Tivoli, University of L'Aquila, Italy

Karsten Wolf, University of Rostock, Germany

We would also like to express our gratitude to the external reviewers for their participation during the review process, all the authors for submitting papers to the workshop, and the authors who participated in the workshop celebrated in Malaga. All these people contributed to the success of WCSI 2010.

 

Javier Cámara, Carlos Canal, Gwen Salaün