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

inria-00338987, version 1

<?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 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</biblScope><biblScope type="pp">44</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00338987/en/</idno><idno type="HALFile">http://hal.inria.fr/inria-00338987/PDF/Fractal-Alloy.pdf</idno></biblStruct>
</listBibl>
</listBibl>

A formal specification of the Fractal component model in Alloy

Philippe Merle (

) ¹, Jean-Bernard Stefani (

)^a^, 2, 3

(2008)

Accès au texte intégral
PDF

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 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

Domaine

Informatique/Génie logiciel

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

Référence interne : RR-6721


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