Towards Logical Architecture and Formal Analysis of Dependencies Between Services.
Maria SpichkovaHeinz W. SchmidtPublished in: CoRR (2014)
Keyphrases
- formal analysis
- service architecture
- web services
- formal methods
- agent model
- agent based architecture
- service management
- service providers
- loosely coupled
- network services
- layered architecture
- ubiquitous computing
- service oriented
- dynamic reconfiguration
- service composition
- software architecture
- end users
- service oriented architecture
- service discovery
- context aware
- grid services
- natural language
- seamless integration
- content management
- heterogeneous environments