Behavioural Models for Distributed Fractal Components - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2008

Behavioural Models for Distributed Fractal Components


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

Dates and versions

inria-00268965 , version 1 (01-04-2008)
inria-00268965 , version 2 (02-04-2008)


  • 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⟩
227 View
365 Download


Gmail Facebook Twitter LinkedIn More