Constraint Propagation And Progressive Verification For Component-Based Process Model.
Yi DengJiacun WangXudong HeJeffrey J. P. TsaiPublished in: Int. J. Softw. Eng. Knowl. Eng. (2004)
Keyphrases
- constraint propagation
- process model
- process mining
- constraint reasoning
- constraint satisfaction
- constraint satisfaction problems
- constraint programming
- business process
- constraint solving
- business processes
- petri net
- interval arithmetic
- temporal constraints
- backtracking algorithms
- search space
- arc consistency
- constrained problems
- linear programming
- model checking
- path consistency
- quantifier elimination
- interval analysis
- constraint solver
- constraint graph
- databases
- business process models
- systematic search
- formal methods
- software process
- qualitative and quantitative
- event logs
- russian doll search