A logic-based calculus of events
New Generation Computing
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Organizing long-running activities with triggers and transactions
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Database transaction models for advanced applications
Database updates in the event calculus
Journal of Logic Programming
Managing heterogeneous multi-system tasks to support enterprise-wide operations
Distributed and Parallel Databases - Special issue on software support for work flow management
Implementing an object-oriented deductive database using temporal reasoning
Journal of Database Management
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A Logic Programming Framework for Modeling Temporal Objects
IEEE Transactions on Knowledge and Data Engineering
Synthesizing Distributed Constrained Events from Transactional Workflow
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
A Temporal Reasoning Approach to Model Workflow Activities
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
Semantical Considerations on Workflows: An Algebra for Intertask Dependencies
DBLP-5 Proceedings of the Fifth International Workshop on Database Programming Languages
Automated Web Services Composition with the Event Calculus
Engineering Societies in the Agents World VIII
Computational Logic in Multi-Agent Systems
Playing with agent coordination patterns in MAGE
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Formalizing the specification and execution of workflows using the event calculus
Information Sciences: an International Journal
Towards complex actions for complex event processing
Proceedings of the 7th ACM international conference on Distributed event-based systems
Hi-index | 0.00 |
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus for specifying and simulating workflows. 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. Within this framework it is possible to model sequential and concurrent activities with synchronization when necessary. It is also possible to model agent assignment and concurrent workflow instances.