Formalizing Dependencies in Business Process Models Using Constraint Satisfaction.
Wolfgang RuntePublished in: GI Jahrestagung (2) (2010)
Keyphrases
- constraint satisfaction
- business process models
- control flow
- business process
- business processes
- constraint satisfaction problems
- process model
- heuristic search
- constraint programming
- constraint propagation
- data flow
- constraint relaxation
- constraint solving
- arc consistency
- constraint networks
- russian doll search
- workflow management systems
- product configuration
- modeling language
- business process management
- software testing
- business rules
- information systems
- fuzzy logic