Compositional Verification of Business Processes Modelled with BPMN.
Luis E. Mendoza MoralesManuel I. Capel TuñónMaría A. PérezPublished in: ICEIS (3) (2010)
Keyphrases
- business processes
- business process
- business process models
- web services
- process model
- business applications
- competitive advantage
- business rules
- workflow management systems
- business process management
- model checking
- business process modeling
- inter organizational
- ws bpel
- workflow management
- business environment
- workflow systems
- business objectives
- process management
- business users
- workflow model
- service oriented architecture
- business partners
- model driven development
- case study
- decision making