|
| This Article | ||
| | ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
September 1987 (vol. 13 no. 9)
pp. 989-1000
| ASCII Text | x | ||
| G.v. Bochmann, G.W. Gerber, J.-M. Serre, "Semiautomatic Implementation of Communication Protocols," IEEE Transactions on Software Engineering, vol. 13, no. 9, pp. 989-1000, September, 1987. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1987.233521, author = {G.v. Bochmann and G.W. Gerber and J.-M. Serre}, title = {Semiautomatic Implementation of Communication Protocols}, journal ={IEEE Transactions on Software Engineering}, volume = {13}, number = {9}, issn = {0098-5589}, year = {1987}, pages = {989-1000}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1987.233521}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Semiautomatic Implementation of Communication Protocols IS - 9 SN - 0098-5589 SP989 EP1000 EPD - 989-1000 A1 - G.v. Bochmann, A1 - G.W. Gerber, A1 - J.-M. Serre, PY - 1987 KW - transport protocol implementation KW - Communication protocols KW - Estelle KW - formal description techniques KW - formal specification KW - implementation methodology KW - protocol implementation KW - specification translation VL - 13 JA - IEEE Transactions on Software Engineering ER - | |||
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.
Index Terms:
transport protocol implementation, Communication protocols, Estelle, formal description techniques, formal specification, implementation methodology, protocol implementation, specification translation
Citation:
G.v. Bochmann, G.W. Gerber, J.-M. Serre, "Semiautomatic Implementation of Communication Protocols," IEEE Transactions on Software Engineering, vol. 13, no. 9, pp. 989-1000, Sept. 1987, doi:10.1109/TSE.1987.233521
Usage of this product signifies your acceptance of the Terms of Use.