Business process specification, verification, and deployment in a mono-cloud, multi-edge context.
Saoussen CheikhrouhouSlim KallelIkbel GuidaraZakaria MaamarPublished in: Comput. Sci. Inf. Syst. (2020)
Keyphrases
- business process
- business processes
- business rules
- workflow model
- process model
- case study
- ws bpel
- business process models
- web services
- service oriented architecture
- inter organizational
- formal verification
- business process management
- business process modeling
- formal methods
- process mining
- service level agreements
- model checking
- private cloud
- service oriented
- workflow management systems
- workflow technology
- user interface