Deriving Protocol Specifications from Service Specifications in Extended FSM Models.
Teruo HigashinoKozo OkanoHiroshi ImajoKenichi TaniguchiPublished in: ICDCS (1993)
Keyphrases
- protocol specification
- finite state machines
- reactive systems
- conceptual models
- delay insensitive
- formal specification
- high level
- temporal logic
- statistical models
- complex systems
- service quality
- service discovery
- process model
- service selection
- communication protocols
- service providers
- probabilistic model
- web services