Towards an assume-guarantee theory for adaptable systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Towards an assume-guarantee theory for adaptable systems

Paola Inverardi
  • Fonction : Auteur
  • PersonId : 861034
Patrizio Pelliccione
  • Fonction : Auteur
  • PersonId : 861035
Massimo Tivoli
  • Fonction : Auteur
  • PersonId : 861036

Résumé

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.
Fichier principal
Vignette du fichier
ICSE2009_SEAMS_2514_Pelliccione_Patrizio.pdf (335.86 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00392562 , version 1 (08-06-2009)

Identifiants

Citer

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, ⟨10.1109/SEAMS.2009.5069079⟩. ⟨inria-00392562⟩

Collections

CONNECT
27 Consultations
248 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More