Adaptable Transition Systems

Abstract : 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.
Type de document :
Communication dans un congrès
Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.95-110, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_6〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01485980
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 mars 2017 - 15:33:44
Dernière modification le : jeudi 9 mars 2017 - 15:36:07
Document(s) archivé(s) le : samedi 10 juin 2017 - 14:33:33

Fichier

978-3-642-37635-1_6_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin. Adaptable Transition Systems. Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.95-110, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_6〉. 〈hal-01485980〉

Partager

Métriques

Consultations de la notice

60

Téléchargements de fichiers

26