Towards Logical Architecture and Formal Analysis of Dependencies between Services.
Maria SpichkovaHeinrich-Wilhelm SchmidtPublished in: APSCC (2014)
Keyphrases
- formal analysis
- agent model
- agent based architecture
- service architecture
- layered architecture
- service management
- formal methods
- loosely coupled
- seamless integration
- web services
- network services
- grid services
- content management
- service discovery
- end users
- ubiquitous computing
- service providers
- service composition
- service oriented
- directory service
- databases
- heterogeneous environments
- network infrastructure
- software architecture
- knowledge acquisition
- middleware architecture