Verifying Interaction Protocol Compliance of Service Orchestrations.
Andreas SchroederPhilip MayerPublished in: ICSOC (2008)
Keyphrases
- protocol specification
- lightweight
- service providers
- human computer interaction
- service quality
- message delivery
- service composition
- service oriented
- group communication
- client server architecture
- information services
- web services
- end to end
- formal analysis
- communication protocol
- application layer
- user interaction
- management system