A Formal Framework for Adaptation
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.
KeywordsSelf-adaptation Component Semantic model Control loop
- 1.IBM: An Architectural Blueprint for Autonomic Computing. Autonomic Computing White Paper (2003)Google Scholar
- 3.SWI-Prolog Homepage. http://www.swi-prolog.org/. Accessed 06 Apr 2017
- 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.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