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
2 LIG - Laboratoire d'Informatique de Grenoble
3 SARDES - System architecture for reflective distributed computing environments

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.

Mots clés: Software components; component model; formal specification; software architecture; Fractal component model; Alloy specification language

Domaines: Génie logiciel [cs.SE]

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⟩