Temporal Verification for Business Cloud Workflows: Open Research Issues.
Zhou ZhaoFutian WangXiaoliang FanXiao LiuPublished in: SKG (2014)
Keyphrases
- business processes
- business process
- cloud computing
- workflow management
- spatio temporal
- grid workflow
- workflow management systems
- temporal constraints
- business models
- electronic commerce
- decision making
- inter organizational
- business intelligence
- temporal reasoning
- workflow systems
- spatial and temporal
- model checking
- data processing
- web services
- information systems
- data mining
- competitive advantage
- business rules
- real world
- data analytics
- multi tenant
- business applications
- temporal data
- databases
- big data
- temporal information
- web service compositions
- private cloud
- case study
- verification method
- enterprise architecture
- formal verification
- signature verification
- temporal relations
- virtual machine
- asynchronous circuits
- data analysis
- temporal evolution
- data center