A logic-based calculus of events
New Generation Computing
Database transaction models for advanced applications
Database updates in the event calculus
Journal of Logic Programming
Implementing an object-oriented deductive database using temporal reasoning
Journal of Database Management
A logic-based integration of active and deductive databases
New Generation Computing
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
WebWork: METEOR_2‘s Web-Based Workflow Management System
Journal of Intelligent Information Systems - Special issue on workflow management systems
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Temporal Reasoning in Workflow Systems
Distributed and Parallel Databases
A Logic Programming Framework for Modeling Temporal Objects
IEEE Transactions on Knowledge and Data Engineering
Distributed and Parallel Databases
Web Services: Been There, Done That?
IEEE Intelligent Systems
A Temporal Reasoning Approach to Model Workflow Activities
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
Realization of Cooperative Agents using an Active Object-Oriented Database System
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
An Event Algebra for Specifying and Scheduling Workflows
Proceedings of the 4th International Conference on Database Systems for Advanced Applications (DASFAA)
Formalizing Workflows Using the Event Calculus
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
A logical framework for scheduling workflows under resource allocation constraints
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Data management research at the Middle East Technical University
ACM SIGMOD Record
A probabilistic approach to modeling and estimating the QoS of web-services-based workflows
Information Sciences: an International Journal
Modeling and monitoring of E-commerce workflows
Information Sciences: an International Journal
Automated composition of web services with the abductive event calculus
Information Sciences: an International Journal
An efficient XML to OWL converter
Proceedings of the 4th India Software Engineering Conference
Modeling surgical processes: A four-level translational approach
Artificial Intelligence in Medicine
BioDKM: Bio-inspired domain knowledge modeling method for humanoid delivery robots' planning
Expert Systems with Applications: An International Journal
Reactive event calculus for monitoring global computing applications
Logic Programs, Norms and Action
A rule-based calculus and processing of complex events
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
A knowledge-based formalization of UBL processes using hybrid programs
Proceedings of the 5th ACM COMPUTE Conference: Intelligent & scalable system technologies
Hi-index | 0.07 |
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper proposes the event calculus as a logic-based methodology for the specification and execution of workflows. It is shown that the control flow graph of a workflow specification can be expressed as a set of logical formulas and the event calculus can be used to specify the role of a workflow manager through a set of rules for the execution dependencies of activities. The proposed framework for a workflow manager maintains a history of events to control the execution of activities. The events are instructions to the workflow manager to coordinate the execution of activities. Based on the already occurred events, the workflow manager triggers new events to schedule new activities in accordance with the control flow graph of the workflow. The net effect is an alternative approach for defining a workflow engine whose operational semantics is naturally integrated with the operational semantics of a deductive database. Within this framework it is possible to model sequential and concurrent activities with or without synchronization. It is also possible to model agent assignment and execution of concurrent workflow instances. The paper, thus, contributes a logical perspective to the task of developing formalization for the workflow management systems.