A Formal Framework for Adaptation

  • Anne Marie Amja
  • Abdel Obaid
  • Hafedh Mili
  • Zahi Jarir
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10542)


Context comprises everything in the environment that affects a system’s structure and behavior. Self-adaptive systems aim to evaluate and to adjust itself in response to context changes. Developing self-adaptive systems is a challenging problem in component-based software engineering. This paper presents a formal model and framework for component-based adaptation founded on process algebra. With respect to this semantic model, we propose an adaptation method that consists of imposing constraints to restrain the behavior of components and transforming operators to modify a system’s architecture. We also integrate our approach on the use of a control loop. We simulate the model using a simple application from the medical field.


Self-adaptation Component Semantic model Control loop 


  1. 1.
    IBM: An Architectural Blueprint for Autonomic Computing. Autonomic Computing White Paper (2003)Google Scholar
  2. 2.
    Milner, R. (ed.): A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980). doi: 10.1007/3-540-10235-3 MATHGoogle Scholar
  3. 3.
    SWI-Prolog Homepage. http://www.swi-prolog.org/. Accessed 06 Apr 2017
  4. 4.
    Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004)CrossRefMATHMathSciNetGoogle Scholar
  5. 5.
    Canal, C., Camara, J., Salaun, G.: Structural reconfiguration of systems under behavioral adaptation. Sci. Comput. Program. 78(1), 46–64 (2012)CrossRefMATHGoogle Scholar
  6. 6.
    Batisde, G., Seriai, A., Oussalah, M.: Dynamic adaptation of software component structures. In: IEEE International Conference on Information Reuse and Integration, pp. 404–409 (2006)Google Scholar
  7. 7.
    Castaneda, L., Tamura, G.: A reference architecture for component-based self-adaptive software systems. Rev. Electronica En Construcción De Softw. 7(1), 1–15 (2013)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Anne Marie Amja
    • 1
  • Abdel Obaid
    • 1
  • Hafedh Mili
    • 1
  • Zahi Jarir
    • 2
  1. 1.University of Quebec at MontrealMontrealCanada
  2. 2.Cadi Ayyad UniversityMarrakeshMorocco

Personalised recommendations