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.
Document type :
Reports
Complete list of metadatas

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/inria-00338987
Contributor : Jean-Bernard Stefani <>
Submitted on : Saturday, November 15, 2008 - 12:15:54 AM
Last modification on : Friday, February 22, 2019 - 1:30:36 AM
Long-term archiving on : Tuesday, October 9, 2012 - 3:26:59 PM

File

Fractal-Alloy.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

909

Files downloads

735