Sciweavers

Share
ADT
2005

Assembling components with behavioural contracts

12 years 1 months ago
Assembling components with behavioural contracts
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investigate methods and concepts for the provision of "sound" assemblies. We define a behavioural interface type language with a (decidable) set of interface compatibilty and subtyping rules. We define an abstract, dynamic, multi-threaded, component model, encompassing both client/server and peer to peer communication patterns. Based on the notion of compliance of components to their interfaces, we define the concepts of "contract" and "contract satisfaction". This leads to sound assemblies of components, which possess intersting properties, such as "external deadlock freeness" and "message consumption". R
Cyril Carrez, Alessandro Fantechi, Elie Najm
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2005
Where ADT
Authors Cyril Carrez, Alessandro Fantechi, Elie Najm
Comments (0)
books