Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems.
Futian WangXiao LiuYun YangPublished in: Sci. China Inf. Sci. (2015)
Keyphrases
- high confidence
- workflow systems
- temporal constraints
- temporal reasoning
- temporal information
- business processes
- association rules
- workflow management
- cloud computing
- mobile agents
- temporal patterns
- widely recognized
- workflow management systems
- access control
- database
- temporal data
- functional dependencies
- model checking
- fault tolerance
- fault tolerant
- knowledge intensive
- active databases
- data management
- business process