Abstract
A logical framework for modeling workflow activities is presented. A simplified form of Kowalski and Sergot’s Event Calculus is introduced as a basis for tackling the problem and it is extended first with a convention for representing causal laws, and then to include higher-order persistence and potential events. The proposed framework maintains a representation of the dynamic world being modeled on the basis of user supplied axioms about preconditions and effects of events and the initial state of the world. The net effect is that a workflow specification can be made at a higher level of abstraction. A logic programming approach to the computational problem is adopted and a logic program presented which is efficient yet retains many of the logical properties of the set of Event Calculus axioms.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Allen J.F., Towards a General Theory of Action and Time, Artificial Intelligence, volume 23, p123, 1984.
Dogac A. and others, Advances in Workflow Management Systems and Interoperability, Springer-Verlag, 1998.
Evans C. and Shanahan M., The Event Calculus. EQUATOR working document, 4th Revised Version, Logic Programming Group, Imperial College, June 1989.
Kowalski R.A.and Sergot M., A Logic-Based Calculus of Events, New Generation Computing, volume 4, p267, 1986.
McCarthy J. and Hayes P.J., Some Philosophical Problems from the Standpoint of Artificial Intelligence, Machine Intelligence, 4, ed. Michie D. and Meltzer B., Edinburgh University Press, 1969.
Muth P. and others, Enterprise-wide Workflow Management based on State and Activity Charts, in [2].
Ranky P.G., Computer Integrated Manufacturing, Chapters 6-8, Prentice-Hall, 1986.
Shanahan M., A Simple Logical Framework for Prediction Problems, Technical Report, Logic Programming Group, Imperial College, November 1988.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kesim Çiçekli, N. (1999). A Temporal Reasoning Approach to Model Workflow Activities. In: Pinter, R.Y., Tsur, S. (eds) Next Generation Information Technologies and Systems. NGITS 1999. Lecture Notes in Computer Science, vol 1649. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48521-X_20
Download citation
DOI: https://doi.org/10.1007/3-540-48521-X_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66225-9
Online ISBN: 978-3-540-48521-6
eBook Packages: Springer Book Archive