Verifying Modal Workflow Specifications Using Constraint Solving.
Hadrien BrideOlga KouchnarenkoFabien PeureuxPublished in: IFM (2014)
Keyphrases
- constraint solving
- control flow
- transition systems
- constraint propagation
- model checking
- constraint logic programming
- constraint satisfaction problems
- data flow
- constraint solver
- constraint satisfaction
- formal specification language
- temporal logic
- modal logic
- formal specification
- workflow management systems
- constraint programming
- specification language
- constraint solvers
- high level
- business processes
- business process
- process model
- workflow systems
- linear programming
- object oriented
- web services
- petri net
- combinatorial problems
- finite domain
- knowledge base