Автор: Miroslav Popovic
Издательство: CRC Press
Год: 2018
ISBN: 9781138558120
Формат: pdf
Страниц: 565
Размер: 12,4 mb
Язык: English
Originally, the term protocol was related to the customs and regulations dealing with diplomatic formality, precedence, and etiquette. A protocol is actually the original draft, minutes, or record from which a document, especially a treaty, is prepared, e.g., an agreement between states. Today, in the context of computer networks, the term protocol is interpreted as a set of rules governing the format of messages that are exchanged between computers. Sometimes, especially if we want to be more specific, we use the term communication protocol instead.
The title of this book, Communication Protocol Engineering, is used to emphasize the process of developing communication protocols.
Readers will acquire the theoretical knowledge and practical skills to successfully design, implement, test, and verify their solutions. The key benefits of the new edition align with the latest standard for conformance testing, TTCN-3, along with updated chapters. It explains process algebra CSP and how to model, simulate, and automatically verify CSP models in PAT.