Automatic Compositional Verification of Business Processes.
Luis E. Mendoza MoralesManuel I. CapelPublished in: ICEIS (2009)
Keyphrases
- business processes
- business process
- process model
- web services
- business environment
- business partners
- process mining
- service oriented architecture
- business applications
- business rules
- workflow systems
- workflow management systems
- case study
- business objectives
- process management
- inter organizational
- competitive advantage
- model checking
- business process management
- data management
- workflow management
- organizational structure
- business process modeling
- business activities
- business process models
- ws bpel