Evaluating Efficiency of ArchiMate Business Processes Verification with NuSMV.
Piotr SzwedPublished in: ISM/AITM (2015)
Keyphrases
- business processes
- model checking
- business process
- model checker
- web services
- formal verification
- business process models
- temporal logic
- symbolic model checking
- business rules
- business process management
- formal methods
- formal specification
- competitive advantage
- workflow management systems
- business environment
- process model
- workflow systems
- business process modeling
- workflow processes
- service oriented architecture
- description language
- inter organizational
- business objectives
- ws bpel
- business partners
- process management
- information technology