eprintid: 1535
rev_number: 13
eprint_status: archive
userid: 30
dir: disk0/00/00/15/35
datestamp: 2013-03-18 07:40:52
lastmod: 2016-02-12 13:26:47
status_changed: 2013-03-18 07:40:52
type: book_section
metadata_visibility: show
creators_name: Bruni, Roberto
creators_name: Corradini, Andrea
creators_name: Gadducci, Fabio
creators_name: Lluch-Lafuente, Alberto
creators_name: Vandin, Andrea
creators_id: 
creators_id: 
creators_id: 
creators_id: alberto.lluch@imtlucca.it
creators_id: andrea.vandin@imtlucca.it
title: Adaptable transition systems
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Adaptation; Autonomic systems; Control data; Interface automata
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.
date: 2013
date_type: published
series: Lecture Notes in Computer science
number: 7841
publisher: Springer
pagerange: 95-110
id_number: 10.1007/978-3-642-37635-1_6
refereed: TRUE
isbn: 978-3-642-37635-1
book_title: Proceedings fo the 21st International Workshop on Algebraic Development Techniques (WADT 2012)
official_url: http://dx.doi.org/10.1007/978-3-642-37635-1_6
projects: IP 257414 ASCENS
citation:   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)  
document_url: http://eprints.imtlucca.it/1535/1/wadt2012.pdf