A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics.
Souha BoubakerKais KlaiHedi KortasWalid GaaloulPublished in: OTM Conferences (1) (2018)
Keyphrases
- formal model
- business process
- business process models
- business processes
- predicate calculus
- process model
- web services
- business process modeling
- business rules
- model checking
- case study
- business process management
- process mining
- ws bpel
- formal semantics
- service oriented architecture
- workflow model
- security patterns
- artificial intelligence
- control flow
- lightweight
- specification language
- workflow management systems
- software architecture
- workflow technology
- database systems