Part I of this book is devoted to the fundamentals of communication prools, describing their working principles and implicitly also those of computer networks. The author introduces the concepts of service, prool, layer, and layered architecture, and introduces the main elements required in the description of prools using a model language. He then presents the most important prool functions. Part II deals with the description of communication protocols, offering an overview of the various formal methods, the essence of Prool 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 representative technique for each of the main description approaches, among others SDL and LOTOS, and surveys the use of UML for describing prools. Part III covers the prool life cycle and the most important development stages, presenting the reader with approaches for systematic prool 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 prool XDT (eXample Data Transfer) throughout the book as a reference prool to exemplify the various description techniques and to demonstrate important validation and implementation approaches.
The book is an introduction to communication prools 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 prool and an animated simulation visualizing its behavior.
Part I of this book is devoted to the fundamentals of communication prools, describing their working principles and implicitly also those of computer networks. The author introduces the concepts of service, prool, layer, and layered architecture, and introduces the main elements required in the description of prools using a model language. He then presents the most important prool functions. Part II deals with the description of communication protocols, offering an overview of the various formal methods, the essence of Prool 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 representative technique for each of the main description approaches, among others SDL and LOTOS, and surveys the use of UML for describing prools. Part III covers the prool life cycle and the most important development stages, presenting the reader with approaches for systematic prool 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 prool XDT (eXample Data Transfer) throughout the book as a reference prool to exemplify the various description techniques and to demonstrate important validation and implementation approaches.
The book is an introduction to communication prools 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 prool and an animated simulation visualizing its behavior.
Protocol Engineering
528
Protocol Engineering
528Related collections and offers
Product Details
| ISBN-13: | 9783642291449 |
|---|---|
| Publisher: | Springer Berlin Heidelberg |
| Publication date: | 10/09/2012 |
| Edition description: | 2012 |
| Pages: | 528 |
| Product dimensions: | 6.10(w) x 9.25(h) x 0.05(d) |