Verification of Temporal Constraints for Concurrent Workflows.
Hongchen LiYun YangPublished in: APWeb (2004)
Keyphrases
- temporal constraints
- workflow systems
- grid workflow
- workflow processes
- temporal reasoning
- constraint propagation
- simple temporal
- temporal information
- workflow specification
- model checking
- resource constraints
- temporal constraint networks
- business processes
- database
- constraint satisfaction problems
- special case
- temporal aspects
- three dimensional
- spatial information
- contextual information
- workflow management
- data model
- keywords
- web services