A GOAL MODEL FOR DYNAMIC SYSTEMS
Matthew J. Miller · 2007
Goal based systems are well suited for creating systems in which there is a well-defined set of goals. These goals easily allow the designer specify what the system should do when the goals of the system are static and very clear-cut. A problem with current goal-based systems is that the goals and system invariants are elicited during requirements. These goals are used during analysis of invariants, but these goals and invariants are not used during the runtime of the system. The lack of use of the goals during the runtime leads to one of two options for software designers. They either will not do the analysis because it will not be used later on, or they will invest time working on requirements that are of no use in the runtime. The lack of incentive to use analysis is a problem because analysis is key in reducing errors in software. To help solve these two problems we propose a goal model that both is dynamic in nature and that ensures that properties verified through analysis hold during the runtime of the system. The dynamic nature of the goal model will allow systems to be designed that are more flexible in nature. The model also allows the designer of the system to specify the goals and properties of these goals. Properties that are specified during the design phase can be proven to hold while the system is