Runtime Verification of Business Cloud Workflow Temporal Conformance.
Haoyu LuoXiao LiuJin LiuYun YangJohn C. GrundyPublished in: IEEE Trans. Serv. Comput. (2022)
Keyphrases
- business process
- business processes
- workflow management
- cloud computing
- information systems
- workflow management systems
- temporal information
- spatial and temporal
- spatio temporal
- decision making
- process execution
- data analytics
- electronic commerce
- model checking
- workflow systems
- protocol specification
- private cloud
- temporal data
- business rules
- temporal constraint networks
- business models
- business intelligence
- temporal reasoning
- temporal databases
- business environment
- workflow engine
- process model
- multi tenant
- manufacturing enterprises
- document management
- business process management
- big data
- temporal patterns
- business process modeling
- manufacturing companies
- enterprise architecture
- workflow model
- formal verification
- face verification
- supply chain
- video sequences
- case study
- data mining