Skip to Main content Skip to Navigation

Behavioural Models for Distributed Fractal Components

Tomás Barros 1 Rabea Boulifa 1 Antonio Cansado 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 : This paper presents a formal behavioural specification framework together with its applications in different contexts for specifying and verifying the correct behaviour of distributed Fractal components. Our framework allows us to build behavioural models for applications ranging from sequential Fractal components, to distributed objects, and finally distributed components. Our models are able to characterise both functional and non-functional behaviours, and the interaction between the two concerns. Finally, this work has resulted in the development of tools allowing the non-expert programmer to specify the behaviour of his components, and automatically, or semi-automatically verify properties of his application.
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download
Contributor : Eric Madelaine Connect in order to contact the contributor
Submitted on : Wednesday, April 2, 2008 - 4:15:55 PM
Last modification on : Friday, February 4, 2022 - 3:09:17 AM
Long-term archiving on: : Tuesday, September 21, 2010 - 4:35:54 PM


Files produced by the author(s)


  • HAL Id : inria-00268965, version 2



Tomás Barros, Rabea Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine. Behavioural Models for Distributed Fractal Components. [Research Report] RR-6491, INRIA. 2008, pp.27. ⟨inria-00268965v2⟩



Record views


Files downloads