Application of Formal Methods to Verify Business Processes.
Luis E. Mendoza MoralesCarlos MonsalveMónica VillavicencioPublished in: SBMF (2016)
Keyphrases
- business processes
- formal methods
- business process
- process model
- web services
- business rules
- inter organizational
- business objectives
- workflow model
- workflow management systems
- business process models
- competitive advantage
- development lifecycle
- artificial intelligence
- business environment
- workflow management
- workflow systems
- model driven development