Verifying the correct composition of distributed components: Formalisation and Tool

Ludovic Henrio 1 Oleksandra Kulankhina 1 Dongqian Liu 2 Eric Madelaine 1
1 SCALE - Safe Composition of Autonomous applications with Large-SCALE Execution environment
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : 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.
Type de document :
Communication dans un congrès
FOCLASA, Sep 2014, Rome, Italy. 2014
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01055370
Contributeur : Oleksandra Kulankhina <>
Soumis le : mardi 12 août 2014 - 15:26:54
Dernière modification le : lundi 5 octobre 2015 - 16:58:26
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 23:05:32

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01055370, version 1

Collections

Citation

Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine. Verifying the correct composition of distributed components: Formalisation and Tool. FOCLASA, Sep 2014, Rome, Italy. 2014. 〈hal-01055370〉

Partager

Métriques

Consultations de
la notice

440

Téléchargements du document

136