Towards an assume-guarantee theory for adaptable systems

Abstract : Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should be performed preserving some properties that we call invariants. This position paper presents a step towards the definition of a theoretical assume-guarantee framework that allows one to efficiently define under which conditions adaptation can be performed by still preserving the desired invariant. The framework aims to cope with different levels of granularity that span from code to software architecture. Two illustrative examples instantiate the framework at two different levels of abstraction.
Type de document :
Communication dans un congrès
SEAMS 2009 : Workshop Software Engineering for Adaptive and Self-Managing Systems, May 2009, Vancouver, Canada. pp.106-115, 2009, 〈10.1109/SEAMS.2009.5069079〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00392562
Contributeur : Massimo Tivoli <>
Soumis le : lundi 8 juin 2009 - 14:14:50
Dernière modification le : jeudi 18 novembre 2010 - 00:49:47
Document(s) archivé(s) le : jeudi 10 juin 2010 - 22:20:16

Fichier

ICSE2009_SEAMS_2514_Pelliccion...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli. Towards an assume-guarantee theory for adaptable systems. SEAMS 2009 : Workshop Software Engineering for Adaptive and Self-Managing Systems, May 2009, Vancouver, Canada. pp.106-115, 2009, 〈10.1109/SEAMS.2009.5069079〉. 〈inria-00392562〉

Partager

Métriques

Consultations de la notice

73

Téléchargements de fichiers

146