Adaptable Transition Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2013

Adaptable Transition Systems

Roberto Bruni
  • Fonction : Auteur
  • PersonId : 1003772
Andrea Corradini
  • Fonction : Auteur
  • PersonId : 1003773
Fabio Gadducci
  • Fonction : Auteur
  • PersonId : 894474
Andrea Vandin
  • Fonction : Auteur
  • PersonId : 1003775

Résumé

We present an essential model of adaptable transition systems inspired by white-box approaches to adaptation and based on foundational models of component based systems. The key feature of adaptable transition systems are control propositions, imposing a clear separation between ordinary, functional behaviours and adaptive ones. We instantiate our approach on interface automata yielding adaptable interface automata, but it may be instantiated on other foundational models of component-based systems as well. We discuss how control propositions can be exploited in the specification and analysis of adaptive systems, focusing on various notions proposed in the literature, like adaptability, control loops, and control synthesis.
Fichier principal
Vignette du fichier
978-3-642-37635-1_6_Chapter.pdf (772.13 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01485980 , version 1 (09-03-2017)

Licence

Identifiants

Citer

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin. Adaptable Transition Systems. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.95-110, ⟨10.1007/978-3-642-37635-1_6⟩. ⟨hal-01485980⟩
72 Consultations
131 Téléchargements

Altmetric

Partager

More