A Formal Approach to Quantifying Soft Goals Satisfaction in Self-Adaptive Systems



Journal Title

Journal ISSN

Volume Title



Self-Adaptive systems are systems that are expected to fulfill a set of requirements at varying operational environments. The system can, in essence, adapt to the changes and not hamper the continual operation of that system. More specifically, these sorts of systems are expected to be aware of their operational state (self-aware), and the set of requirements that they need to meet at varying state of the system operations. In recent years, to ensure software quality, requirements are given careful consideration during the development of self-adaptive systems. The trend of applying Goal-Oriented Requirements Engineering (GORE) techniques are in use today. GORE-based modeling techniques such as Tropos and Goal-oriented Requirement Language (GRL) are used to model agent intentions. These models help in understanding systems and stakeholders’ motivations for performing a task. In modeling the stakeholders or system intentions, these requirements modeling techniques ensure the right systems are built. Thus, these modeling techniques are helpful for requirements elicitation of said self-adaptive systems. Due to the fact that goal models can be analyzed to answer questions relating to satisfaction of the intentional elements of the agent seeks to satisfy, it has become extremely important to predict system behavior. One major factor considered in self-adaptive systems is at a different point in time when there is a change in operational context and what is the effect of these changes to the satisfaction of agent intentions. This thesis focuses on providing the ability to analyze an agent’s intentions at varying operational context. In doing this, the thesis seeks to quantify the impact of this changing operational context to the satisfaction of soft goals at a particular time as oppose to the current method of weighing all impact to the satisfaction of these soft goals without consideration of excluding alternative path not taken while performing satisfaction analysis on a given goal model.

Embargo status: Restricted to TTU community only. To view, login with your eRaider (top right). Others may request the author grant access exception by clicking on the PDF link to the left.



Goal-Oriented Requirment Engineering, Soft-Goal, Goal Model, Self-Adaptive System, Context-Aware Systems, Satisfaction Analysis