Compositional execution semantics for business process verification.
Emmanouela StachtiariPanagiotis KatsarosPublished in: J. Syst. Softw. (2018)
Keyphrases
- business process
- business process models
- business processes
- process execution
- workflow management systems
- control flow
- process model
- business rules
- workflow engine
- ws bpel
- process mining
- workflow model
- model checking
- case study
- business process modeling
- workflow models
- formal semantics
- data flow
- workflow management
- inter organizational
- business process management
- formal verification
- web services
- specification language
- real world
- virtual organization
- object oriented