ABSTRACT. 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 endowed 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".
Assembling Components with Behavioural Contracts - Assemblage de Composants selon des Contrats Comportementaux / C. CARREZ; A. FANTECHI; E. NAJM. - In: ANNALES DES TÉLÉCOMMUNICATIONS. - ISSN 0003-4347. - STAMPA. - 60:(2005), pp. 989-1022.
Assembling Components with Behavioural Contracts - Assemblage de Composants selon des Contrats Comportementaux
FANTECHI, ALESSANDRO;
2005
Abstract
ABSTRACT. 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 endowed 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".File | Dimensione | Formato | |
---|---|---|---|
AT05.pdf
Accesso chiuso
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Tutti i diritti riservati
Dimensione
256.52 kB
Formato
Adobe PDF
|
256.52 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.