Service Specification by Composition of Collaborations--An Example.
Frank Alexander KraemerPeter HerrmannPublished in: IAT Workshops (2006)
Keyphrases
- web service composition
- service providers
- protocol specification
- service composition
- composite services
- service compositions
- web services
- high level
- composition of web services
- web services composition
- management system
- formal specification
- service description
- service selection
- specification language
- formal methods
- database
- service discovery
- service oriented
- data sets
- service delivery
- formal verification
- service oriented architecture
- special case
- reactive systems
- case study
- information systems