Reasoning on Workflow Executions.
Gianluigi GrecoAntonella GuzzoDomenico SaccàPublished in: ADBIS (2003)
Keyphrases
- workflow models
- reasoning systems
- knowledge base
- reasoning tasks
- business process
- data flow
- logical reasoning
- probabilistic reasoning
- workflow management systems
- reasoning mechanisms
- spatial reasoning
- reasoning process
- knowledge representation
- data sets
- business processes
- analogical reasoning
- computational properties
- workflow management
- qualitative reasoning
- meta level
- temporal information
- petri net