Specifying Self-configurable Component-based Systems with FracToy

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.
Type de document :
Communication dans un congrès
ASM, Alloy, B and Z, 2010, Feb 2010, Orford, Canada. Springer, 5977, pp.91-104, 2010, LNCS
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00512442
Contributeur : Lionel Seinturier <>
Soumis le : lundi 30 août 2010 - 14:36:50
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13
Document(s) archivé(s) le : jeudi 1 décembre 2016 - 09:02:13

Fichier

fractoy.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00512442, version 1

Collections

Citation

Alban Tiberghien, Philippe Merle, Lionel Seinturier. Specifying Self-configurable Component-based Systems with FracToy. ASM, Alloy, B and Z, 2010, Feb 2010, Orford, Canada. Springer, 5977, pp.91-104, 2010, LNCS. 〈inria-00512442〉

Partager

Métriques

Consultations de la notice

321

Téléchargements de fichiers

322