Specification of behavioral anti-patterns for the verification of block-structured Collaborative Business Processes.
Jorge RoaOmar ChiottiPablo David VillarrealPublished in: Inf. Softw. Technol. (2016)
Keyphrases
- business processes
- business process
- business rules
- workflow model
- web services
- formal verification
- process model
- workflow systems
- process execution
- ws bpel
- business process models
- workflow management systems
- business environment
- business process management
- workflow management
- inter organizational
- business applications
- process management
- competitive advantage
- data mining techniques
- business partners
- case study