An Automatic Reasoning Mechanism for NFR Goal Models
- IEEE Computer Society
- Publication Type:
- Conference Proceeding
- Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011, pp. 52 - 59
- Issue Date:
Software requirements, especially non-functional requirements, are considered as vital prerequisites for producing software of high quality. As widely accepted, non-functional goal modeling like the NFR Framework usually employs tree modeling style, and presents an interactive process for the analysis of nonfunctional requirements. However, there still exist some problems during the identification of satisficing status. This paper based on the popular NFR goal model reasoning manners, clearly distinguishes the closed world assumption and the open world assumption, and proposes an automatic reasoning mechanism for NFR goal models in order to identify the satisficing statuses of the goal tree roots according to leavesâ contributions. Under a specific assumption, goalsâ satisficing statuses will be transformed to affect satisficing statuses of their parents. Then parentsâ satisficing statuses will be inferred according to the reasoning rules derived from different decomposition relationships. By alternately adopting these two steps, goal tree rootâs satisficing status can be identified layer by layer. An illustrative example is used to show how our proposed formal approach works.
Please use this identifier to cite or link to this item: