Summer Reading Sale
 
 

Recently Viewed clear list


The Powell's Playlist | June 18, 2014

Daniel H. Wilson: IMG The Powell’s Playlist: Daniel H. Wilson



Like many writers, I'm constantly haunting coffee shops with a laptop out and my headphones on. I listen to a lot of music while I write, and songs... Continue »

spacer
Qualifying orders ship free.
$77.50
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Software Engineering- General

Protocol Engineering

by

Protocol Engineering Cover

 

Synopses & Reviews

Publisher Comments:

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.

Synopsis:

This book covers the fundamentals of communication protocols, describes current methods, presents the protocol lifecycle and the most important development stages, and offers examples using the simple data transfer example protocol XDT (eXample Data Transfer).

About the Author

Prof. Hartmut König holds the chair in Computer Networks and Communication Systems at the Brandenburg University of Technology (btu) in Cottbus. He has published over 100 research papers and articles, and authored or edited 7 books in the area of communuications and distributed systems. His research interests include high-performance communications (multimedia communication, videoconferencing), protocol engineering (automatic implementation, test), formal methods, and network security (intrusion detection).

Table of Contents

Part I - Principles of Communication Protocols.- Chap. 1 - Services.- Chap. 2 - Protocols.- Chap. 3 - Layers.-

Product Details

ISBN:
9783642291449
Author:
Konig, Hartmut
Publisher:
Springer
Author:
Knig, Hartmut
Subject:
ASN.1
Subject:
LOTOS
Subject:
MSC
Subject:
SDL
Subject:
TTCN-2
Subject:
TTCN-3
Subject:
UML 2
Subject:
algebraic verification
Subject:
cTLA
Subject:
communication protocols
Subject:
conformance test
Subject:
finite-state machines
Subject:
formal description methods
Subject:
Formal Description Techniques
Subject:
internet protocol stack
Subject:
interoperability test
Subject:
layered architectures
Subject:
model checking
Subject:
Performance evaluation.
Subject:
petri net analysis
Subject:
Petri nets
Subject:
process calculi
Subject:
protocol design
Subject:
protocol functions
Subject:
protocol implementation methods
Subject:
protocol life cycle
Subject:
protocol specification
Subject:
protocol testing
Subject:
protocol verification
Subject:
Protocols
Subject:
reachability analysis
Subject:
Services
Subject:
temporal logics
Subject:
Computer Communication Networks
Subject:
Software Engineering/Programming and Operating Systems
Subject:
Software Engineering-General
Subject:
Software Engineering/Programming and
Subject:
Operating systems
Copyright:
Edition Description:
2012
Publication Date:
20120728
Binding:
HARDCOVER
Language:
English
Pages:
540
Dimensions:
235 x 155 mm

Related Subjects

Computers and Internet » Networking » Hardware
Computers and Internet » Software Engineering » General
Engineering » Engineering » General Engineering
Health and Self-Help » Health and Medicine » General
Health and Self-Help » Health and Medicine » General Medicine

Protocol Engineering New Hardcover
0 stars - 0 reviews
$77.50 In Stock
Product details 540 pages Springer - English 9783642291449 Reviews:
"Synopsis" by , This book covers the fundamentals of communication protocols, describes current methods, presents the protocol lifecycle and the most important development stages, and offers examples using the simple data transfer example protocol XDT (eXample Data Transfer).
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.