Compositional Verification of Business Processes by Model-Checking.
Luis Eduardo MendozaManuel I. CapelMaría A. PérezPublished in: MSVVEIS (2010)
Keyphrases
- binary decision diagrams
- model checking
- business processes
- business process
- temporal logic
- model checker
- automated verification
- formal verification
- verification method
- symbolic model checking
- web services
- formal specification
- bounded model checking
- temporal properties
- formal methods
- process model
- asynchronous circuits
- workflow management systems
- concurrent systems
- epistemic logic
- computation tree logic
- business process management
- business rules
- business process models
- business objectives
- business process modeling
- workflow systems
- business partners
- transition systems
- service oriented architecture
- modal logic
- knowledge representation
- workflow processes
- expert systems