Verification of non-functional properties of cloud-based distributed system services.
Kaliappa RavindranArun AdiththanPublished in: AST (2014)
Keyphrases
- distributed systems
- loosely coupled
- concurrent systems
- service oriented
- service selection
- agent technology
- distributed environment
- geographically distributed
- web services
- service oriented architecture
- fault tolerance
- fault tolerant
- model checking
- service providers
- software architecture
- directory service
- mobile computing
- load balancing
- message passing
- service composition
- operating system
- distributed computing
- mobile agents
- distributed database systems
- cloud platform
- model driven development
- agent based systems
- context aware
- location aware
- cloud computing
- data replication
- mobile agent system
- service discovery
- security policies
- high assurance
- ubiquitous computing
- temporal logic
- big data
- information management
- response time