Towards a formal model of autonomic services based on SelfLets.
Stefania PacificiMatteo RossiPublished in: PESOS@ICSE (2009)
Keyphrases
- formal model
- web services
- service oriented
- service providers
- information services
- formal models
- end users
- service composition
- context aware
- service quality
- service discovery
- service delivery
- security properties
- predicate calculus
- security patterns
- computing environments
- development process
- ubiquitous computing
- agent technology
- web technologies
- mobile services
- software engineering
- autonomic computing systems