A Specification Logic for Dynamic Composition of Services.
Sven LämmermannEnn TyuguPublished in: ICDCS Workshops (2001)
Keyphrases
- operational semantics
- web services
- dynamic environments
- service oriented
- web service composition
- highly dynamic
- web services composition
- service providers
- ubiquitous computing
- service composition
- service discovery
- composition of web services
- service selection
- web technologies
- service quality
- inference rules
- information services
- distributed systems
- high level