Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes.
Rania Ben HalimaImen ZouaghiSlim KallelWalid GaaloulMohamed JmaielPublished in: AINA (2018)
Keyphrases
- temporal constraints
- formal verification
- business processes
- workflow systems
- resource constraints
- workflow processes
- business process
- temporal reasoning
- service level agreements
- model checking
- cloud computing
- model checker
- temporal information
- business rules
- workflow management systems
- business process management
- constraint satisfaction problems
- web services
- functional dependencies
- business environment
- business process modeling
- business partners
- business process models
- database
- workflow management
- process model
- high level