Protocol Engineering: Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen

مهندسی پروتکل توسعه، اعتبارسنجی و اجرای پروتکل‌های ارتباطی را با استفاده از تکنیک‌های توصیف رسمی توصیف می‌کند. کتاب مبانی مهندسی پروتکل را معرفی می کند. این اصول اساسی نحوه عملکرد پروتکل های ارتباطی، روش ها و تکنیک های توصیف آنها و مراحل توسعه پروتکل را ارائه می دهد. هر دو جنبه عملی و نظری مهندسی پروتکل در نظر گرفته شده است. علاوه بر این، مقدماتی برای تکنیک‌های توصیف رسمی SDL 2000، MSC، ASN.1، LOTOS و نمادهای آزمایشی TTCN-2 و TTCN-3 ارائه شده است.

Protocol Engineering bezeichnet die Entwicklung, Validation und Reali-sierung von Kommunikationsprotokollen unter Verwendung formaler Beschreibungstechniken. Das Buch führt in die Grundlagen des Protocol Engineerings ein. Es stellt die grundlegenden Prinzipien der Funktionsweise von Kommunikationsprotokollen, die Methoden und Techniken für ihre Beschreibung sowie die Phasen der Proto-kollentwicklung vor. Dabei werden sowohl die praktischen als auch die theoretischen Aspekte des Protocol Engineerings betrachtet. Darüber hinaus werden Einführungen in die formalen Beschreibungstechniken SDL 2000, MSC, ASN.1, LOTOS sowie die Testnotationen TTCN-2 und TTCN-3 gegeben.