A formal approach to modeling and verification of business process collaborations.
Flavio CorradiniFabrizio FornariAndrea PoliniBarbara ReFrancesco TiezziPublished in: Sci. Comput. Program. (2018)
Keyphrases
- business process
- business processes
- business process modeling
- process model
- inter organizational
- ws bpel
- business process models
- formal methods
- business rules
- business process management
- modeling language
- service oriented architecture
- process mining
- real world
- web services
- workflow management systems
- virtual organization
- event logs
- expert systems
- asynchronous communication
- model driven development
- workflow technology
- case study
- workflow engine