Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes
Most formal approaches to goals proposed within information systems engineering, view goals from the requirements engineering perspective, i.e. for producing future software. Typically, these approaches begin with extracting goals from informal reality and end with representing them in some formal language, leaving the questions arising afterwards unanswered: How can we check whether goals are achieved or not in real business processes? If the goals are not satisfied, why and what to do? This paper presents a formal approach to representing and reasoning with goals using a first order many sorted temporal logic, where goals are expressed in terms of actions and static and temporal constraints; the above questions are answered by model theoretic formal reasoning with goals and business processes.
- P. Assenova and P. Johannesson. First Order Action Logic-an Approach for Modelling the Communication Process between Agents. 1st Intl. Workshop on Communication Modeling–The Language/Action Perspective, Eds. F. Dignum, J. Dietz, E. Verharen and H. Weigand, electronic Workshops in Computing, Springer-Verlag, 1996.Google Scholar
- Erik Sandewall. Features and Fluents, A Systematic Approach to the Representation of Knowledge about Dynamical Systems, Oxford University Press, 1994Google Scholar
- Choong-ho Yi. PhD thesis manuscript in preparation.Google Scholar
- E. Yu and J. Mylopoulos. Using Goals, Rules and Methods to Support Reasoning in Business Process Reengineering. Proc. of the 27th Annual Hawaii Intl. Conf. on Systems Sciences, Vol. 4, pp. 234–243, 1994.Google Scholar