Verification of Distributed Hierarchical Components - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

Verification of Distributed Hierarchical Components


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.
Fichier principal
Vignette du fichier
2005-FACS-Macau.pdf (368.88 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00122926 , version 1 (05-01-2007)


  • HAL Id : inria-00122926 , version 1


Tomás Barros, Ludovic Henrio, Eric Madelaine. Verification of Distributed Hierarchical Components. International Workshop on Formal Aspects of Component Software (FACS'05), 2005, Macao. ⟨inria-00122926⟩
166 View
71 Download


Gmail Facebook Twitter LinkedIn More