Adaptable Transition Systems

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.

[1]  Yongwang Zhao,et al.  Model Checking of Adaptive Programs with Mode-extended Linear Temporal Logic , 2011, 2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems.

[2]  Pierre-Yves Schobbens,et al.  Model Checking Adaptive Software with Featured Transition Systems , 2013, Assurances for Self-Adaptive Systems.

[3]  Robert Laddaga,et al.  Self-Adaptive Software , 2001, Lecture Notes in Computer Science.

[4]  Carlo Ghezzi,et al.  Assurances for Self-Adaptive Systems , 2013, Lecture Notes in Computer Science.

[5]  Nachum Dershowitz,et al.  Verification: Theory and Practice , 2004, Lecture Notes in Computer Science.

[6]  Heather Goldsby,et al.  Modular verification of dynamically adaptive systems , 2009, AOSD '09.

[7]  Roberto Bruni,et al.  A Conceptual Framework for Adaptation , 2012, FASE.

[8]  Nicola Paoletti,et al.  A multi-level model for self-adaptive systems , 2012, FOCLASA.

[9]  Taivo Lints,et al.  The essentials of defining adaptation , 2012, 2010 IEEE International Systems Conference.

[10]  Matteo Pradella,et al.  Context-Oriented Programming: A Programming Paradigm for Autonomic Systems , 2011, ArXiv.

[11]  Ladan Tahvildari,et al.  Self-adaptive software: Landscape and research challenges , 2009, TAAS.

[12]  Brian Campbell,et al.  Amortised Memory Analysis Using the Depth of Data Structures , 2009, ESOP.

[13]  Martin Wirsing,et al.  Towards a System Model for Ensembles , 2011, Formal Modeling: Actors, Open Systems, Biological Systems.

[14]  Peyman Oreizy,et al.  An architecture-based approach to self-adaptive software , 1999, IEEE Intell. Syst..

[15]  Robert Laddaga,et al.  Self-adaptive software : applications : Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001 : revised papers , 2003 .

[16]  Luca de Alfaro,et al.  Game Models for Open Systems , 2003, Verification: Theory and Practice.

[17]  Irène Guessarian.  Semantics of Systems of Concurrent Processes , 1990, Lecture Notes in Computer Science.

[18]  Robert Laddaga,et al.  Introduction to Self-adaptive Software: Applications , 2001, IWSAS.

[19]  Rocco De Nicola,et al.  Action versus State based Logics for Transition Systems , 1990, Semantics of Systems of Concurrent Processes.

[20]  S. Ramesh,et al.  Interface synthesis and protocol conversion , 2008, Formal Aspects of Computing.

[21]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[22]  Gul Agha,et al.  Formal Modeling: Actors, Open Systems, Biological Systems , 2011, Lecture Notes in Computer Science.

[23]  Florence Maraninchi,et al.  Mode-Automata: About Modes and States for Reactive Systems , 1998, ESOP.

[24]  David Sinreich,et al.  An architectural blueprint for autonomic computing , 2006 .

[25]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[26]  L. A. Zadeh,et al.  On the definition of adaptivity , 1963 .

[27]  Sandeep S. Kulkarni,et al.  Correctness of Component-Based Adaptation , 2004, CBSE.

[28]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1999 .