Formal Verification of Temporal Constraints for Mobile Service-Based Business Process Models.
Deng ZhaoWalid GaaloulWenbo ZhangChunsheng ZhuZhangbing ZhouPublished in: IEEE Access (2018)
Keyphrases
- temporal constraints
- formal verification
- process model
- workflow systems
- temporal reasoning
- model checking
- process mining
- temporal information
- business processes
- business process
- mobile devices
- model checker
- petri net
- event logs
- business process models
- temporal logic
- context aware
- control flow
- code generator
- functional dependencies
- constraint networks
- databases