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 , 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.
Type de document :
Rapport
[Research Report] RR-6491, INRIA. 2008, pp.27
Liste complète des métadonnées

Littérature citée [32 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00268965
Contributeur : Eric Madelaine <>
Soumis le : mercredi 2 avril 2008 - 16:15:55
Dernière modification le : jeudi 11 janvier 2018 - 16:32:53
Document(s) archivé(s) le : mardi 21 septembre 2010 - 16:35:54

Fichier

RR-6491.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Partager

Métriques

Consultations de la notice

427

Téléchargements de fichiers

245