Formal Verification of Effectiveness of Control Activities in Business Processes.
Yasuhito ArimotoShusaku IidaKokichi FutatsugiPublished in: IEICE Trans. Inf. Syst. (2012)
Keyphrases
- business processes
- formal verification
- business process
- workflow processes
- model checking
- web services
- business applications
- workflow management systems
- process model
- competitive advantage
- business objectives
- process execution
- business process management
- business process models
- business activities
- workflow management
- business rules
- model checker
- business partners
- inter organizational
- service oriented architecture
- organizational structure
- business process modeling
- business environment
- workflow systems
- cross organizational
- information systems