Deadlock-Freeness Verification of Business Process Configuration Using SOG.
Souha BoubakerKais KlaiKatia SchmitzMohamed GraietWalid GaaloulPublished in: ICSOC (2017)
Keyphrases
- business process
- business processes
- ws bpel
- business process models
- process model
- business rules
- business process management
- model checking
- workflow model
- case study
- process mining
- web services
- inter organizational
- formal verification
- business process modeling
- workflow technology
- virtual organization
- workflow management systems
- source code
- information systems