HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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 , Laboratoire I3S - 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.
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

Contributor : Ludovic Henrio Connect in order to contact the contributor
Submitted on : Friday, January 5, 2007 - 4:31:18 PM
Last modification on : Friday, February 4, 2022 - 3:18:02 AM
Long-term archiving on: : Wednesday, April 7, 2010 - 1:50:14 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads