Pattern-Based Model Checking for Dynamic Analysis of Workflow Processes with Temporal Constraints.
Yanhua DuWending ZhangWei TanPublished in: SITIS (2013)
Keyphrases
- dynamic analysis
- workflow processes
- model checking
- temporal constraints
- temporal reasoning
- temporal logic
- formal specification
- temporal information
- workflow systems
- workflow management systems
- formal methods
- concurrent systems
- business processes
- functional dependencies
- qualitative and quantitative
- incremental algorithms
- artificial intelligence
- static analysis
- constraint satisfaction problems