Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Protocol Engineering

Buy
Protocol Engineering, 9783642291449 (3642291449), Springer, 2012

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.

(HTML tags aren't allowed.)

HPLC Methods for Recently Approved Pharmaceuticals
HPLC Methods for Recently Approved Pharmaceuticals
An indispensable resource for busy researchers

Your time is valuable—too valuable to spend hunting through the technical literature in search of the right HPLC assay techniques for your projects. With HPLC Methods for Recently Approved Pharmaceuticals, you'll quickly identify and replicate the ideal...

RESS Essentials
RESS Essentials

A practical introduction to programming responsive websites using an innovative methodology in web design and development

Overview

  • Easy-to-follow tutorials on implementing RESS application patterns
  • Information flow diagrams which will help you understand various RESS architectures with...
Beyond 3G - Bringing Networks, Terminals and the Web Together: LTE, WiMAX, IMS, 4G Devices and the Mobile Web 2.0
Beyond 3G - Bringing Networks, Terminals and the Web Together: LTE, WiMAX, IMS, 4G Devices and the Mobile Web 2.0
Giving a sound technical introduction to 3GPP LTE and SAE, this book explains the decisions taken during standardization while also examining the likely competition for LTE such as HSPA+ and WiMAX. As well as looking at next generation network technologies, Beyond 3G - Bringing Networks, Terminals and the Web Together describes the latest...

Linux Networking Clearly Explained
Linux Networking Clearly Explained

"Bryan Pfaffenberger details the configuration and use of GNOME (as well as Enlightenment and KDE) in greater detail than anyother Linux book out there" David Wall of Amazon.com on Linux Clearly Explained

Bryan Pfaffenberger and Michael Jang bring their focused, step-by-step approach which made Linux
...

Pro SQL Server 2005 Replication (Definitive Guide)
Pro SQL Server 2005 Replication (Definitive Guide)
Replication is a way of copying and updating information in a database. This allows all users to see the same information and any changes made to it. Replication also duplicates the database across a number of computers so that, if one computer goes down, the information is not lost and can still be accessed. Pro SQL Server 2005...
XML and FrameMaker
XML and FrameMaker
This book is about XML and, specifically, Adobe® FrameMaker® 7.x. If you are working with a later version of FrameMaker, some procedures or settings shown in this text may need to be adjusted. This book was also written and edited using FrameMaker 7.0 and 7.1.

XML is a technology buzzword and a format that
...
©2021 LearnIT (support@pdfchm.net) - Privacy Policy