Composition of Service and Protocol Specifications in Asynchronous Communication System.
Noppadol ManeeratRuttikorn VarakulsiripunthBhed Bahadur BistaKaoru TakahashiYasushi KatoNorio ShiratoriPublished in: IEICE Trans. Inf. Syst. (2004)
Keyphrases
- protocol specification
- state machines
- web service composition
- delay insensitive
- formal specification
- composite services
- composite web services
- petri net
- service composition
- web services
- communication protocols
- formal methods
- high level
- trusted third party
- state machine
- web services composition
- service selection
- service providers
- communication protocol
- client server architecture
- service oriented
- composition of web services
- lightweight
- management system
- message delivery
- service compositions
- asynchronous circuits
- functional requirements
- reactive systems
- service discovery