Skip to Main content Skip to Navigation
Conference papers

Specifying Self-configurable Component-based Systems with FracToy

Alban Tiberghien 1 Philippe Merle 1 Lionel Seinturier 1, 2 
1 ADAM - Adaptive Distributed Applications and Middleware
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Lionel Seinturier Connect in order to contact the contributor
Submitted on : Monday, August 30, 2010 - 2:36:50 PM
Last modification on : Friday, February 4, 2022 - 3:08:54 AM
Long-term archiving on: : Thursday, December 1, 2016 - 9:02:13 AM


Files produced by the author(s)


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



Record views


Files downloads