Formalizing the specification and execution of workflows using the event calculus.
Nihan Kesim CicekliIlyas CicekliPublished in: Inf. Sci. (2006)
Keyphrases
- event calculus
- control flow
- transactional properties
- exception handling
- reasoning about actions and change
- situation calculus
- workflow management systems
- domain specific knowledge
- reasoning tasks
- partially ordered
- temporal reasoning
- deductive databases
- workflow specification
- domain independent
- transitive closure
- business processes
- web services
- workflow systems
- high level
- temporal databases
- general theory
- answer set programming
- temporal information
- description logics