Logo eprints

Adaptable transition systems

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lluch-Lafuente, Alberto and Vandin, Andrea Adaptable transition systems. In: Proceedings fo the 21st International Workshop on Algebraic Development Techniques (WADT 2012). Lecture Notes in Computer science (7841). Springer, pp. 95-110. ISBN 978-3-642-37635-1 (2013)

Download (790kB) | Preview


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.

Item Type: Book Section
Identification Number: 10.1007/978-3-642-37635-1_6
Projects: IP 257414 ASCENS
Uncontrolled Keywords: Adaptation; Autonomic systems; Control data; Interface automata
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 30 not found.
Date Deposited: 18 Mar 2013 07:40
Last Modified: 12 Feb 2016 13:26
URI: http://eprints.imtlucca.it/id/eprint/1535

Actions (login required)

Edit Item Edit Item