Specifying Self-configurable Component-based Systems with FracToy - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Specifying Self-configurable Component-based Systems with FracToy


One of the key research challenges in autonomic computing is to define rigorous mathematical models for specifying, analyzing, and verifying high-level self-* policies. This paper presents the FracToy formal methodology to specify self-configurable component-based systems, and particularly both their component-based architectural description and their self-configuration policies. This rigorous methodology is based on the first-order relational logic, and is implemented with the Alloy formal specication language. The paper presents the dierent steps of the FracToy methodology and illustrates them on a self-configurable component-based example.
Fichier principal
Vignette du fichier
fractoy.pdf (194.08 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00512442 , version 1 (30-08-2010)


  • HAL Id : inria-00512442 , version 1


Alban Tiberghien, Philippe Merle, Lionel Seinturier. Specifying Self-configurable Component-based Systems with FracToy. ASM, Alloy, B and Z, 2010, Feb 2010, Orford, Canada. pp.91-104. ⟨inria-00512442⟩
132 View
324 Download


Gmail Facebook Twitter LinkedIn More