Deriving protocol specifications from service specifications including parameters.
Monika Kapus-KolarPublished in: Microprocessing and Microprogramming (1991)
Keyphrases
- protocol specification
- formal specification
- model checker
- web services
- state machines
- model checking
- communication protocols
- formal verification
- service providers
- delay insensitive
- high level
- specification language
- maximum likelihood
- service quality
- information services
- parameter values
- lightweight
- neural network
- operational semantics
- tcp ip
- service oriented
- client server architecture
- parameter estimation
- written in natural language