15 Outlook

  • Hartmut König


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.


Communication Protocol Formal Description Protocol Development Protocol Implementation European Telecommunication Standard Institute 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [CADP]
  2. [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, (
  3. [Holz 04]
    Holzmann, G.J.: The SPIN Model Checker Primer and Reference Manual. Addi-son-Wesley, Boston, 2004.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  1. 1.Department of Computer ScienceBrandenburg University of Technology CottbusCottbusGermany

Personalised recommendations