Behavioural Contracts for a Sound Assembly of Components

Cyril Carrez, Alessandro Fantechi, Elie Najm

in The 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003, IFIP TC 6 / WG 6.1), LNCS 2767, Sept. 2003
SpringerLink: http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2767&spage=111

PS.GZ     PDF

Abstract

Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-existing components. Remains the problem of the compositional verification of such systems. We investigate methods and concepts for the provision of "sound" assemblies. We define an abstract, dynamic, multi-threaded, component model, encompassing both client/server and peer to peer communication patterns. We define a behavioural interface type language endowed with a (decidable) set of interface compatibilty rules. Based on the notion of compliance of components to their interfaces, we define the concepts of "contract" and "contract satisfaction". This leads to the notion of sound assemblies of components, i.e., assemblies made of contracted components interacting through compatible interfaces. Sound assemblies possess interesting properties like "external deadlock freeness" and "message consumption".

BibTeX

@InCollection{carrez03behavioural,
  author =	 "Cyril Carrez and Alessandro Fantechi and Elie Najm",
  title =	 "Behavioural Contracts for a Sound Composition of Components",
  booktitle =	 "23rd IFIP International Conference on Formal Techniques for
                  Networked and Distributed Systems ({FORTE 2003}, {IFIP TC
                  6/WG 6.1})",
  pages =	 "111--126",
  publisher =	 "Springer-Verlag",
  year =	 2003,
  editor =	 "Hartmut K{\"o}nig and Monika Heiner and Adam Wolisz",
  volume =	 2767,
  series =	 "LNCS",
  address =	 "Berlin, Germany",
  month =	 sep,
  url =          "\url{http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2767&spage=111}
                  \url{http://www.cyril-carrez.net/work/publis/forte03.html}"
}