Deriving protocol specifications from service specifications written as Predicate/Transition-nets.
Hirozumi YamaguchiKhaled El-FakihGregor von BochmannTeruo HigashinoPublished in: Comput. Networks (2007)
Keyphrases
- protocol specification
- formal specification
- high level
- formal methods
- management system
- controlled natural language
- delay insensitive
- communication protocols
- model checker
- specification language
- state machines
- lightweight
- formal language
- control flow
- client server architecture
- functional requirements
- service oriented