Trace Analysis for Conformance and Arbitration Testing
IEEE Transactions on Software Engineering
The L.0 Language and Environment for Protocol Simulation and Prototyping
IEEE Transactions on Computers - Special issue on protocol engineering
Experience with formal methods in protocol development
ACM SIGCOMM Computer Communication Review
Constructive Protocol Specification Using Cicero
IEEE Transactions on Software Engineering
Some notes on the history of protocol engineering
Computer Networks: The International Journal of Computer and Telecommunications Networking
Research: The ISO virtual terminal protocol: a semi-automatic implementation
Computer Communications
Improving the efficiency of automated protocol implementation using Estelle
Computer Communications
| Hi-index | 0.00 |
The use of formal specifications in software development allows the use of certain automated tools during the specification and software development process. Formal description techniques have been developed for the specification of communication protocols and services. This paper describes the partial automation of the protocol implementation process based on a formal specification of the protocol to be implemented. An implementation strategy and a related software structure for the implementation of state transition oriented specifications is presented. Its application is demonstrated with a much simplified Transport protocol. The automated translation of specifications into implementation code in a high-level language is also discussed. A semiautomated implementation strategy is explained which highlights several refinement steps, part of which are automated, which lead from a formal protocol specifieation to an implementation. Experience with several full implementations of the OSI Transport protocol is described.