Sliding-window based Propagation-aware Temporal Verification for Monitoring Parallel Cloud Business Workflows.
Yeguo WangRongbin XuFutian WangHaoyu LuoMenglong WangXiao LiuPublished in: CSCWD (2018)
Keyphrases
- business processes
- business process
- activity monitoring
- grid workflow
- data processing
- business models
- monitoring system
- data mining
- real time
- spatial and temporal
- cloud computing
- information systems
- workflow management
- temporal constraints
- data analytics
- business intelligence
- model checking
- big data
- spatio temporal
- electronic commerce
- workflow management systems
- intelligence gathering
- temporal data
- temporal reasoning
- map reduce
- inter organizational
- parallel computing
- business rules
- sliding window
- knowledge management
- shared memory
- parallel implementation
- virtual machine
- parallel processing
- temporal information
- decision making
- multi tenant
- signature verification
- service level agreements
- web services
- web service compositions
- temporal patterns
- data streams
- decision support
- business environment
- stereo matching