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.

Domains

Software Engineering [cs.SE]
Fichier principal
Vignette du fichier
Fractal-Alloy.pdf (268.42 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Jean-Bernard Stefani  : Connect in order to contact the contributor

https://inria.hal.science/inria-00338987

Submitted on : Saturday, November 15, 2008-12:15:54 AM

Last modification on : Thursday, April 4, 2024-9:15:32 PM

Long-term archiving on: Tuesday, October 9, 2012-3:26:59 PM

Download

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 UNIV-LILLE3 UGA CNRS INRIA IRISA INRIA-RRRT LIG INRIA2 LARA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM LIG_SIDCH
658 View
653 Download

Share

Gmail Facebook X LinkedIn More