Verification of Distributed Hierarchical Components

Tomás Barros 1 Ludovic Henrio 1 Eric Madelaine 1
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with distribution of controls due to asynchrony. This article relies on Fractive, an implementation of the Fractal component model allowing to unify the notion of components with the notion of activity. This article shows how to build automatically the behaviour of a distributed component system. Starting from the functional specification of primitive components, we generate a specification of a system of components, their asynchronous communications, and their control. We then show how to use such a specification to verify properties specific to components, reconfigurations, or asynchrony.
Type de document :
Communication dans un congrès
International Workshop on Formal Aspects of Component Software (FACS'05), 2005, Macao, Electronic Notes in Theoretical Computer Science (ENTCS), 2005
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00122926
Contributeur : Ludovic Henrio <>
Soumis le : vendredi 5 janvier 2007 - 16:31:18
Dernière modification le : mardi 12 juin 2018 - 10:04:04
Document(s) archivé(s) le : mercredi 7 avril 2010 - 01:50:14

Fichier

2005-FACS-Macau.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00122926, version 1

Collections

Citation

Tomás Barros, Ludovic Henrio, Eric Madelaine. Verification of Distributed Hierarchical Components. International Workshop on Formal Aspects of Component Software (FACS'05), 2005, Macao, Electronic Notes in Theoretical Computer Science (ENTCS), 2005. 〈inria-00122926〉

Partager

Métriques

Consultations de la notice

188

Téléchargements de fichiers

102