fractal-alloy-08

Summary

A formal specification of the Fractal component model in Alloy. Philippe Merle and Jean-Bernard Stefani. Research Report 6721, INRIA, November 2008.

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.

Bibtex entry

@TECHREPORT { fractal-alloy-08,
    AUTHOR = { Philippe Merle and Jean-Bernard Stefani },
    TITLE = { {A formal specification of the Fractal component model in Alloy} },
    INSTITUTION = { INRIA },
    YEAR = { 2008 },
    TYPE = { Research Report },
    NUMBER = { 6721 },
    PAGES = { 44 },
    MONTH = { nov },
    INRIA = { ADAM },
    LABO = { dans },
    BOARD = { no },
    PROCEEDINGS = { no },
    AUDIENCE = { yes },
    URL = { http://hal.inria.fr/inria-00338987 },
    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. },
}