A formal specification of the Fractal component model in Alloy

Philippe Merle 1 Jean-Bernard Stefani 2, 3
1 ADAM - Adaptive Distributed Applications and Middleware
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
3 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : This report contains a formal specification of the Fractal component model using the Alloy specification language. The report covers all the elements of the (informal) reference specification of the Fractal model. It provides a truly language-independent specification of the Fractal model, and lifts the ambiguities of the reference specification.
Type de document :
Rapport
[Research Report] RR-6721, INRIA. 2008, pp.44
Liste complète des métadonnées


https://hal.inria.fr/inria-00338987
Contributeur : Jean-Bernard Stefani <>
Soumis le : samedi 15 novembre 2008 - 00:15:54
Dernière modification le : samedi 17 septembre 2016 - 01:38:18
Document(s) archivé(s) le : mardi 9 octobre 2012 - 15:26:59

Fichier

Fractal-Alloy.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00338987, version 1

Collections

Citation

Philippe Merle, Jean-Bernard Stefani. A formal specification of the Fractal component model in Alloy. [Research Report] RR-6721, INRIA. 2008, pp.44. <inria-00338987>

Partager

Métriques

Consultations de
la notice

682

Téléchargements du document

480