Efficiency of formal verification of ArchiMate business processes with NuSMV model checker.
Piotr SzwedPublished in: FedCSIS (2015)
Keyphrases
- model checker
- business processes
- formal verification
- model checking
- business process
- symbolic model checking
- business process models
- web services
- temporal logic
- description language
- formal methods
- formal specification
- process model
- workflow management systems
- business rules
- business partners
- test suite
- knowledge base
- ai planning
- domain independent
- set theory
- distributed systems