Verifying the Consistency of Remote Untrusted Services with Commutative Operations.
Christian CachinOlga OhrimenkoPublished in: OPODIS (2014)
Keyphrases
- service oriented
- service providers
- ubiquitous computing
- location aware
- end users
- context aware
- web services
- information services
- update operations
- special case
- consistency checking
- third party
- service composition
- service oriented architecture
- global constraints
- service discovery
- database
- remote access
- agent technology
- model checking
- relational databases
- databases