A Survey of Formal Verification for Business Process Modeling.
Shoichi MorimotoPublished in: ICCS (2) (2008)
Keyphrases
- formal verification
- business process modeling
- business process
- model checking
- modeling language
- business processes
- software engineering
- service oriented
- bounded model checking
- model checker
- symbolic model checking
- automated verification
- model driven architecture
- program slicing
- service composition
- workflow management systems
- service oriented architecture
- web services
- machine learning
- database