Published: 22nd January 2011
DOI: 10.4204/EPTCS.46
ISSN: 2075-2180

EPTCS 46

Proceedings
Foundations for Interface Technologies
Paris, France, 30th August 2010

Edited by: Axel Legay and Benoît Caillaud
Preface
Axel Legay and Benoît Caillaud
Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems
Sebastian S. Bauer, Rolf Hennicker and Stephan Janisch		1
Contracts for Abstract Processes in Service Composition
Maria Grazia Buscemi and Hernán Melgratti		9
An Algebra of Synchronous Scheduling Interfaces
Michael Mendler		28
A Few Considerations on Structural and Logical Composition in Specification Theories
Axel Legay and Andrzej Wąsowski		49

Preface

FIT stands for Foundations of Interface Technologies. Component-based design is widely considered as a major approach to developing systems in a time and cost effective way. Central in this approach is the notion of an interface. Interfaces summarize the externally visible properties of a component and are seen as a key to achieving component interoperability and to predict global system behavior based on the component behavior. To capture the intricacy of complex software products, rich interfaces have been proposed. These interfaces do not only specify syntactic properties, such as the signatures of methods and operations, but also take into account behavioral and extra-functional properties, such as quality of service, security and dependability. Rich interfaces have been proposed for describing, e.g., the legal sequences of messages or method calls accepted by components, or the resource and timing constraints in embedded software. The development of a rigorous framework for the specification and analysis of rich interfaces is challenging. The aim of this workshop is to bring together researchers who are interested in the formal underpinnings of interface technologies. Previous occurrences of FIT took place in 2005 (satellite workshop of CONCUR, in San Francisco, CA, USA) and in 2008 (satellite workshop of ETAPS, in Budapest, Hungary). The third occurrence of FIT was collocated with CONCUR 2010 in Paris, France. We would like to acknowledge INRIA and the Artist Network of Excellence on Embedded System Design for their financial support. The present proceedings contain three contributed papers and one invited paper. Contributed papers have been selected by B. Caillaud (co-chair), Axel Legay (co-chair), Marco Faella, Holger Hermanns, Kim G. Larsen, Dejan Nickovic, Dave Parker, Marielle Stoelinga.