Protocol Engineering

Nonfiction, Computers, Networking & Communications, Hardware, Programming, Software Development, General Computing
Cover of the book Protocol Engineering by Hartmut König, Springer Berlin Heidelberg
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Hartmut König ISBN: 9783642291456
Publisher: Springer Berlin Heidelberg Publication: October 8, 2012
Imprint: Springer Language: English
Author: Hartmut König
ISBN: 9783642291456
Publisher: Springer Berlin Heidelberg
Publication: October 8, 2012
Imprint: Springer
Language: English

Communication protocols form the operational basis of computer networks and tele­communication systems. They are behavior conventions that describe how com­munication systems inter­act with each other, defining the temporal order of the interactions and the formats of the data units exchanged – essentially they determine the efficiency and reliability of computer networks. Protocol Engineering is an important discipline covering the design, validation, and implementation of communication protocols.

Part I of this book is devoted to the fundamentals of communication protocols, describing their working principles and implicitly also those of computer networks. The author introduces the concepts of service, protocol, layer, and layered architecture, and introduces the main elements required in the description of protocols using a model language. He then presents the most important protocol functions. Part II deals with the description of communication proto­cols, offering an overview of the various formal methods, the essence of Protocol Engineering. The author introduces the fundamental description methods, such as finite state machines, Petri nets, process calculi, and temporal logics, that are in part used as semantic models for formal description techniques. He then introduces one represen­tative technique for each of the main description approaches, among others SDL and LOTOS, and surveys the use of UML for describing protocols. Part III covers the protocol life cycle and the most important development stages, presenting the reader with approaches for systematic protocol design, with various verification methods, with the main implementation techniques, and with strategies for their testing, in particular with conformance and interoperability tests, and the test description language TTCN. The author uses the simple data transfer example protocol XDT (eXample Data Transfer) throughout the book as a reference protocol to exemplify the various description techniques and to demonstrate important validation and implementation approaches.

The book is an introduction to communication protocols and their development for undergraduate and graduate students of computer science and communication technology, and it is also a suitable reference for engineers and programmers. Most chapters contain exercises, and the author's accompanying website provides further online material including a complete formal description of the XDT protocol and an animated simulation visualizing its behavior.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Communication protocols form the operational basis of computer networks and tele­communication systems. They are behavior conventions that describe how com­munication systems inter­act with each other, defining the temporal order of the interactions and the formats of the data units exchanged – essentially they determine the efficiency and reliability of computer networks. Protocol Engineering is an important discipline covering the design, validation, and implementation of communication protocols.

Part I of this book is devoted to the fundamentals of communication protocols, describing their working principles and implicitly also those of computer networks. The author introduces the concepts of service, protocol, layer, and layered architecture, and introduces the main elements required in the description of protocols using a model language. He then presents the most important protocol functions. Part II deals with the description of communication proto­cols, offering an overview of the various formal methods, the essence of Protocol Engineering. The author introduces the fundamental description methods, such as finite state machines, Petri nets, process calculi, and temporal logics, that are in part used as semantic models for formal description techniques. He then introduces one represen­tative technique for each of the main description approaches, among others SDL and LOTOS, and surveys the use of UML for describing protocols. Part III covers the protocol life cycle and the most important development stages, presenting the reader with approaches for systematic protocol design, with various verification methods, with the main implementation techniques, and with strategies for their testing, in particular with conformance and interoperability tests, and the test description language TTCN. The author uses the simple data transfer example protocol XDT (eXample Data Transfer) throughout the book as a reference protocol to exemplify the various description techniques and to demonstrate important validation and implementation approaches.

The book is an introduction to communication protocols and their development for undergraduate and graduate students of computer science and communication technology, and it is also a suitable reference for engineers and programmers. Most chapters contain exercises, and the author's accompanying website provides further online material including a complete formal description of the XDT protocol and an animated simulation visualizing its behavior.

More books from Springer Berlin Heidelberg

Cover of the book Statistik und quantitative Methoden für Gesundheitsfachberufe by Hartmut König
Cover of the book Innovation Policy and Governance in High-Tech Industries by Hartmut König
Cover of the book Nuclear Endocrinology by Hartmut König
Cover of the book Einführung in Astronomie und Astrophysik by Hartmut König
Cover of the book Design of Adhesive Joints Under Humid Conditions by Hartmut König
Cover of the book Wasserschallmessungen by Hartmut König
Cover of the book Creating Conditions for Promising Collaboration by Hartmut König
Cover of the book Nuclear Reactions by Hartmut König
Cover of the book Cleft Lip and Palate by Hartmut König
Cover of the book Akademisch ausgebildetes Pflegefachpersonal by Hartmut König
Cover of the book Regulating the Takeover of Chinese Listed Companies by Hartmut König
Cover of the book Manufacturing Processes 1 by Hartmut König
Cover of the book Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012): Volume 3 by Hartmut König
Cover of the book Remote Sensing in Hydrology and Water Management by Hartmut König
Cover of the book Innovative Advisory Services in the Virtual World by Hartmut König
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy