A Framework for Self-Adaptive Software Based on Extended Tropos Goal Model

Software variation modeling is essential to the requirements modeling of self-adaptive software. However, traditional Tropos goal model cannot specify the software variations. In order to address this problem, we incorporate the context conditions and internal event conditions into the Tropos goal model. For the problem that adaption strategies are difficult to modify when adaptive software is compiled, we propose a framework for adaptive software based on the extended Tropos goal model. The adaption logic layer of the framework has a double control loop, which takes the goal model as a reference. The dual control loop is responsible for monitoring the running status and context variations of the business logic layer, and adapting to variations according to the goal model. Such a loose coupling of adaption logic and business logic facilitates the modification of adaption strategies. We also design several adaption algorithms relative to the framework to control and cope with the internal events and context variations.