The goal of this book was to give an introduction to the field of Protocol Engineering. Starting from the basic principles of communication protocols we presented various methods and techniques used for the description, implementation, and validation of communication protocols. Throughout the book we tried to find a balance between the theoretical and the practical aspects of protocol development, pointing out at the same time the possibilities and the limitations of the various approaches developed. Protocol Engineering was one of the hottest topics in the upswing of computer network technology. Meanwhile excitement has quieted down around Protocol Engineering. At the end of this book we want to discuss the reasons for this and give some prospects on future developments.
KeywordsCommunication Protocol Formal Description Protocol Development Protocol Implementation European Telecommunication Standard Institute
- [CADP]CADP toolbox. http://www.inrialpes.fr/vasy/cadp/.
- [ETSI 99-2]Methods for Testing and Specification (MTS); Use of SDL in ETSI deliverables; Guidelines for facilitating validation and the development of conformance tests. EG 201 383, 1999-02, (http://www.etsi.org).
- [Holz 04]Holzmann, G.J.: The SPIN Model Checker Primer and Reference Manual. Addi-son-Wesley, Boston, 2004.Google Scholar