An approach for formal verification of business processes.
Armen KostanyanVardan MatevosyanSamvel K. ShoukourianAnna VarosyanPublished in: SpringSim (2009)
Keyphrases
- formal verification
- business processes
- business process
- model checking
- web services
- model checker
- process model
- competitive advantage
- workflow management systems
- business applications
- process management
- workflow management
- business environment
- business objectives
- inter organizational
- business rules
- data mining
- business process management
- enterprise wide
- business decisions
- business partners
- workflow model
- cross organizational
- knowledge based systems
- ws bpel