A formal specification of the Fractal component model in Alloy - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2008

A formal specification of the Fractal component model in Alloy

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.
Fichier principal
Vignette du fichier
Fractal-Alloy.pdf (268.42 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

inria-00338987 , version 1 (15-11-2008)

Identifiers

  • HAL Id : inria-00338987 , version 1

Cite

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⟩
661 View
656 Download

Share

Gmail Mastodon Facebook X LinkedIn More