Verifying the correct composition of distributed components: Formalisation and Tool - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Verifying the correct composition of distributed components: Formalisation and Tool

Résumé

This article provides formal definitions characterizing well-formed composition of components in order to guarantee their safe deployment and execution. Our work focuses on the structural aspects of component composition; it puts together most of the concepts common to many component models, but never formalized as a whole. Our formalization characterizes correct component architectures made of functional and non-functional aspects, both structured as component assemblies. Interceptor chains can be used for a safe and controlled interaction between the two aspects. Our well-formed components guarantee a set of properties ensuring that the deployed component system has a correct architecture and can run safely. Finally, those definitions constitute the formal basis for our Eclipse-based environment for the development and specification of component-based applications.
Fichier principal
Vignette du fichier
paper.pdf (351.23 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01055370 , version 1 (12-08-2014)

Identifiants

  • HAL Id : hal-01055370 , version 1

Citer

Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine. Verifying the correct composition of distributed components: Formalisation and Tool. FOCLASA, Sep 2014, Rome, Italy. ⟨hal-01055370⟩
280 Consultations
149 Téléchargements

Partager

Gmail Facebook X LinkedIn More