Skip to Main content Skip to Navigation
Reports

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

https://hal.inria.fr/inria-00268965
Contributor : Eric Madelaine <>
Submitted on : Wednesday, April 2, 2008 - 4:15:55 PM
Last modification on : Friday, January 8, 2021 - 11:14:19 AM
Long-term archiving on: : Tuesday, September 21, 2010 - 4:35:54 PM

File

RR-6491.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00268965, version 2

Collections

Citation

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⟩

Share

Metrics

Record views

573

Files downloads

517