A Verification Method for Collaborative Business Processes.
Jorge RoaOmar ChiottiPablo David VillarrealPublished in: Business Process Management Workshops (1) (2011)
Keyphrases
- business processes
- verification method
- business process
- model checking
- temporal logic
- web services
- workflow management systems
- process model
- business partners
- business applications
- business process management
- workflow systems
- workflow management
- business process models
- ws bpel
- business objectives
- competitive advantage
- knowledge sharing
- business environment
- business rules
- service oriented architecture
- workflow model
- enterprise application integration
- process management
- service oriented
- case study
- enterprise resource planning
- process mining
- knowledge intensive
- information systems