Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study.
Benoît CombemalePierre-Loïc GarocheXavier CrégutXavier ThiriouxFrançois VernadatPublished in: ICEIS (3) (2007)
Keyphrases
- process model
- formal verification
- case study
- business process
- process mining
- business processes
- model checking
- program slicing
- petri net
- formal models
- software process
- event logs
- automated verification
- control flow
- symbolic model checking
- preprocessing
- model checker
- business process models
- workflow management systems
- real world
- software development
- user interface
- website