Verifying Temporal and Epistemic Properties of Web Service Compositions.
Alessio LomuscioHongyang QuMarek J. SergotMonika SolankiPublished in: ICSOC (2007)
Keyphrases
- temporal properties
- model checking
- web service compositions
- structural properties
- temporal information
- computation tree logic
- neural network
- web services
- spatio temporal
- temporal characteristics
- service composition
- temporal consistency
- desirable properties
- video sequences
- state space
- temporal patterns
- web service composition
- temporal evolution
- database
- case study
- spatial and temporal
- heuristic search
- collaborative learning