Towards a general theory of action and time
Artificial Intelligence
Computer integrated manufacturing
Computer integrated manufacturing
A logic-based calculus of events
New Generation Computing
Workflow Management Systems and Interoperability
Workflow Management Systems and Interoperability
Formalizing Workflows Using the Event Calculus
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Formalizing the specification and execution of workflows using the event calculus
Information Sciences: an International Journal
Temporal conflict in workflow schemas
Journal of Computational Methods in Sciences and Engineering
| Hi-index | 0.00 |
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.