Review - On Modeling and Verification of Temporal Constraints in Production Workflows.
Claudio BettiniPublished in: ACM SIGMOD Digit. Rev. (2000)
Keyphrases
- temporal constraints
- workflow systems
- temporal reasoning
- temporal aspects
- temporal constraint networks
- constraint propagation
- simple temporal
- resource constraints
- temporal information
- workflow processes
- business processes
- workflow specification
- image retrieval
- workflow management systems
- interval algebra
- model checking
- dynamic environments
- databases