Behavioural Models for Distributed Fractal Components - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2008

Behavioural Models for Distributed Fractal Components

Résumé

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
RRFractal.pdf (435.21 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : inria-00268965 , version 1

Citer

Tomás Barros, Rabea Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine. Behavioural Models for Distributed Fractal Components. [Research Report] RR-6491, 2008, pp.27. ⟨inria-00268965v1⟩
235 Consultations
401 Téléchargements

Partager

Gmail Facebook X LinkedIn More