Dynamic Verification of Temporal Constraints in Production Workflows.
Olivera MarjanovicPublished in: Australasian Database Conference (2000)
Keyphrases
- temporal constraints
- workflow systems
- temporal reasoning
- constraint propagation
- simple temporal
- temporal constraint networks
- temporal information
- resource constraints
- constraint reasoning
- temporal aspects
- workflow specification
- dynamic environments
- search algorithm
- database systems
- functional dependencies
- business process
- consistency checking
- low level
- databases