On Modeling and Verification of Temporal Constraints in Production Workflows.
Olivera MarjanovicMaria E. OrlowskaPublished in: Knowl. Inf. Syst. (1999)
Keyphrases
- temporal constraints
- workflow systems
- temporal reasoning
- temporal aspects
- constraint propagation
- simple temporal
- temporal information
- consistency checking
- temporal constraint networks
- constraint reasoning
- resource constraints
- incremental algorithms
- workflow processes
- web services
- qualitative and quantitative
- functional dependencies
- constraint satisfaction problems
- objective function