Adaptable Transition Systems

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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.
Original languageEnglish
Title of host publicationRecent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Volume7841
PublisherSpringer Berlin Heidelberg
Publication date2012
Pages95-110
ISBN (Print)978-3-642-37634-4
ISBN (Electronic)978-3-642-37635-1
DOIs
Publication statusPublished - 2012
Externally publishedYes
Event21st International Workshop on Algebraic Development Techniques - Salamanca, Spain
Duration: 7 Jun 201210 Jun 2012
Conference number: 21

Conference

Conference21st International Workshop on Algebraic Development Techniques
Number21
CountrySpain
CitySalamanca
Period07/06/201210/06/2012

Cite this

Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., & Vandin, A. (2012). Adaptable Transition Systems. In Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers (Vol. 7841, pp. 95-110). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-37635-1_6