Composition of Service and Protocol Specifications.
Bhed Bahadur BistaKaoru TakahashiNorio ShiratoriPublished in: ICOIN (2001)
Keyphrases
- protocol specification
- composite services
- web service composition
- composite web services
- communication protocols
- formal specification
- service composition
- service compositions
- web services
- lightweight
- service providers
- state machines
- model checker
- formal methods
- message delivery
- communication protocol
- service discovery
- service oriented
- model checking
- management system
- service selection
- formal verification
- transmission control protocol
- service description
- semantic web services
- service oriented architecture
- quality of service
- wireless networks