Goal models are primarily used to represent and analyze requirements at an early stage of software development. However, goal models are sequence agnostic and fall short for analyzing temporal properties. Limited works are found in the existing literature that aims to bridge this gap. There are tools that transform a goal model to a finite state model (FSM). The existing works and their implementations can only check whether a given temporal property is satisfied by a goal model or not. However, it does not provide us with a compliant FSM which satisfies the compliance rules. This paper aims to generate a business compliant FSM for a given goal model specification that complies with the business rules (specified in some temporal logic). We have chosen to work with tGRL (textual modeling language for goal-oriented requirement language) as the goal model specification language for representing i* models. The framework extends the current i*ToNuSMV ver2.02 tool by allowing the user to give a CTL property as input along with a goal model. The proposed framework generates a compliant FSM that satisfies the CTL constraint.
展开▼
