A formal specification of the Fractal component model in Alloy
Philippe Merle, Jean‐Bernard Stefani · HAL (Le Centre pour la Communication Scientifique Directe) · 2008
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.