Specification and verification of harmonized business-process collaborations.
Alex NortaRik EshuisPublished in: Inf. Syst. Frontiers (2010)
Keyphrases
- business process
- business processes
- workflow model
- formal verification
- business rules
- inter organizational
- model checking
- formal methods
- case study
- ws bpel
- web services
- formal specification
- business process modeling
- process model
- business process models
- service oriented architecture
- process mining
- virtual organization
- specification language
- process execution
- workflow management systems
- business process management
- real world