Adaptable Transition Systems

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

doi:10.1007/978-3-642-37635-1_6

Adaptable Transition Systems

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

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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 language	English
Title of host publication	Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Volume	7841
Publisher	Springer Berlin Heidelberg
Publication date	2012
Pages	95-110
ISBN (Print)	978-3-642-37634-4
ISBN (Electronic)	978-3-642-37635-1
DOIs	https://doi.org/10.1007/978-3-642-37635-1_6
Publication status	Published - 2012
Externally published	Yes
Event	21st International Workshop on Algebraic Development Techniques - Salamanca, Spain Duration: 7 Jun 2012 → 10 Jun 2012 Conference number: 21

Conference

Conference	21st International Workshop on Algebraic Development Techniques
Number	21
Country/Territory	Spain
City	Salamanca
Period	07/06/2012 → 10/06/2012

Access to Document

10.1007/978-3-642-37635-1_6

OpenUrl availability

Full text

Cite this

@inproceedings{c4eea4c809b5490781ecc4fddfc1310c,

title = "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.",

author = "Roberto Bruni and Andrea Corradini and Fabio Gadducci and {Lluch Lafuente}, Alberto and Andrea Vandin",

year = "2012",

doi = "10.1007/978-3-642-37635-1_6",

language = "English",

isbn = "978-3-642-37634-4",

volume = "7841",

pages = "95--110",

booktitle = "Recent Trends in Algebraic Development Techniques",

publisher = "Springer Berlin Heidelberg",

note = "21st International Workshop on Algebraic Development Techniques, WADT 2012 ; Conference date: 07-06-2012 Through 10-06-2012",

}

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, Springer Berlin Heidelberg, pp. 95-110, 21st International Workshop on Algebraic Development Techniques, Salamanca, Spain, 07/06/2012. https://doi.org/10.1007/978-3-642-37635-1_6

Adaptable Transition Systems. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio et al.
Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Vol. 7841 Springer Berlin Heidelberg, 2012. p. 95-110.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Adaptable Transition Systems

AU - Bruni, Roberto

AU - Corradini, Andrea

AU - Gadducci, Fabio

AU - Lluch Lafuente, Alberto

AU - Vandin, Andrea

N1 - Conference code: 21

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-37635-1_6

DO - 10.1007/978-3-642-37635-1_6

M3 - Article in proceedings

SN - 978-3-642-37634-4

VL - 7841

SP - 95

EP - 110

BT - Recent Trends in Algebraic Development Techniques

PB - Springer Berlin Heidelberg

T2 - 21st International Workshop on Algebraic Development Techniques

Y2 - 7 June 2012 through 10 June 2012

ER -

Adaptable Transition Systems

Abstract

Conference

Access to Document

OpenUrl availability

Fingerprint

Cite this