HAL - INRIA :: [inria-00338987, version 1] A formal specification of the Fractal component model in Alloy

inria-00338987, version 1

A formal specification of the Fractal component model in Alloy

Philippe Merle () ¹, Jean-Bernard Stefani ()^a^, 2, 3

N° RR-6721 (2008)

Résumé : 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.

a – INRIA
1 : ADAM (INRIA Lille - Nord Europe)
INRIA – CNRS : UMR8022 – Université des Sciences et Technologies de Lille - Lille I
2 : Laboratoire d'Informatique de Grenoble (LIG)
CNRS : UMR5217 – INRIA – Université Pierre Mendès-France - Grenoble II – Université Joseph Fourier - Grenoble I – Institut Polytechnique de Grenoble
3 : SARDES (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble)
INRIA – Institut National Polytechnique de Grenoble - INPG – Université Joseph Fourier - Grenoble I – Université Pierre Mendès-France - Grenoble II – CNRS : UMR5217

inria-00338987, version 1
http://hal.inria.fr/inria-00338987
oai:hal.inria.fr:inria-00338987
Contributeur : Jean-Bernard Stefani <>
Soumis le : Samedi 15 Novembre 2008, 00:15:54
Dernière modification le : Mardi 18 Novembre 2008, 12:25:12

Voir la fiche détaillée

Documents associés

PDF :

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="report"><head>Rapports</head>
<biblStruct type="report" xml:id="inria-00338987"><monogr>
<author><persName><forename>Philippe</forename><surname>Merle</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lille - Nord Europe</orgName>
<orgName type="team">ADAM</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">Université des Sciences et Technologies de Lille - Lille I</orgName>
</affiliation>
</author>
<author><persName><forename>Jean-Bernard</forename><surname>Stefani</surname></persName>
<affiliation>
<orgName type="laboratory">LIG</orgName>
<orgName type="team">Laboratoire d'Informatique de Grenoble</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR5217</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Pierre Mendès-France - Grenoble II</orgName>
<orgName type="institution">Université Joseph Fourier - Grenoble I</orgName>
<orgName type="institution">Institut Polytechnique de Grenoble</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble</orgName>
<orgName type="team">SARDES</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National Polytechnique de Grenoble - INPG</orgName>
<orgName type="institution">Université Joseph Fourier - Grenoble I</orgName>
<orgName type="institution">Université Pierre Mendès-France - Grenoble II</orgName>
<orgName type="institution">CNRS : UMR5217</orgName>
</affiliation>
</author>
<title type="main" level="m">A formal specification of the Fractal component model in Alloy</title><title type="main" level="m">A formal specification of the Fractal component model in Alloy</title><imprint><biblScope type="publicationDate">2008-00-00</biblScope><biblScope type="pp">44</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00338987</idno><idno type="HALFile">http://hal.inria.fr/inria-00338987/PDF/Fractal-Alloy.pdf</idno></biblStruct>
</listBibl>
</listBibl>