Abstract
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.
Chapter PDF
Similar content being viewed by others
References
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.
A. Dardenne, Van Lamsweerde and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming 20, pp. 3–50, 1993.
E. Dubois. A Logic of Action for Supporting Goal-Oriented Elaborations of Requirements. ACM SIGSOFT Software Engineering Notes, Vol. 14,No. 3, pp. 160–168, 1989.
J. Krogstie and G. Sindre. Utilizing deontic Operators in Information Systems Specification. Requirements Engineering 1:210–237, 1996.
J. Mylopoulos, A. Borgida, M. Jarke and M. Koubarakis. Telos: Representing Knowledge About Information Systems. ACM Transactions on Information Systems, Vol 8,No. 4, pp. 325–362, 1990.
Erik Sandewall. Features and Fluents, A Systematic Approach to the Representation of Knowledge about Dynamical Systems, Oxford University Press, 1994
Choong-ho Yi. PhD thesis manuscript in preparation.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yi, Ch., Johannesson, P. (1999). Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes. In: Jarke, M., Oberweis, A. (eds) Advanced Information Systems Engineering. CAiSE 1999. Lecture Notes in Computer Science, vol 1626. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48738-7_39
Download citation
DOI: https://doi.org/10.1007/3-540-48738-7_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66157-3
Online ISBN: 978-3-540-48738-8
eBook Packages: Springer Book Archive