Keyphrases
- business processes
- business process
- grid workflow
- cloud computing
- spatio temporal
- temporal constraints
- inter organizational
- workflow management
- data processing
- spatial and temporal
- data mining
- business rules
- electronic commerce
- temporal information
- temporal data
- temporal reasoning
- temporal databases
- parallel implementation
- shared memory
- business models
- parallel processing
- workflow systems
- web services
- data analytics
- information systems
- competitive advantage
- decision making
- cloud services
- verification method
- massively parallel
- temporal patterns
- model checking
- business intelligence
- case study
- distributed memory
- virtual machine
- data center
- formal verification
- return on investment
- workflow model
- supply chain