Transcript of "Adaptable Transition Systems @ ASCENS Meeting Prague 2013"
Adaptable T ´´ ransition Systems -- Roberto Bruni, UNIPI -- Andrea Corradini, UNIPI -- Fabio Gadducci, UNIPI -- Alberto Lluch Lafuente, IMT -- Andrea Vandin, IMT ASCENS General and Working Meeting, Prague, February 11-14 2013
“... a software system self-adaptive if changes behavior in response to ...” [*] Oreizy, P., Gorlick, M.M., Taylor, R.N., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D.S., Wolf, A.L.: An architecture-based approach to self- adaptive software. Intelligent Systems and their Applications 14(3), 54–62 (1999) [*] Robertson, P., Shrobe, H.E., Laddaga, R.: Introduction to self-adaptive software: Applications. In: Robertson, P., Shrobe, H.E., Laddaga, R. (eds.) IWSAS. LNCS, vol. 1936, pp. 1–5. Springer (2001) [*] Self-Adaptive Software: Landscape and Research Challenges, Mazeiar Salehie, Ladan Tahvildari, ACM Transactions on Autonomous and Adaptive Systems 4, 2.
ADAPTATION MECHANISMS constraints contracts plans aspects architectures messages contexts rulesconfigurationvariables policies programs CONTROL DATA
WHAT IS AN ADAPTABLE SYSTEM? CONTROL DATA OTHER DATA ADAPTABLE SYSTEM“adaptation is the run-time modification of control data”
A SYSTEM IS...“...adaptable if it has a distinguished control datathat can be modified at runtime.”“...adaptive if its control data is modified at runtimefor some computation.”“...self-adaptive if it modifies its own control data atruntime.”
“an excellent discussion of the precise meaning of the term adaptive software.” - Carlo Ghezzi, Evolution, Adaptation, and the Quest for Incrementality, LNCS 7539/2012,
OUTLINE1 White box adaptation “A Conceptual Framework for Adaptation” [FASE 2012]2 Adaptable Transition Systems “Adaptable Transition Systems” [WADT 2012]
RECONCILING BLACK- AND WHITE-BOX ADAPTATION?“in the game between the system and the environment, the manager has a strategy to ensure the satisfaction of ψ.”“receptiveness, realizability, and controllability can be formulated as model-checking problems for alternating-time formulas.”