Ebook: Protocol Engineering: Prinzip, Beschreibung und Entwicklung von Kommunikationsprotokollen

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.

---

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.

---

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.
Content:
Front Matter....Pages i-xiii
Front Matter....Pages 1-2
Dienste....Pages 3-24
Protokolle....Pages 25-48
Schichten....Pages 49-58
Kommunikationsarchitekturen....Pages 59-70
Protokollfunktionen....Pages 71-94
Fallbeispiel: Der Internet-Protokollstack....Pages 95-112
Front Matter....Pages 113-114
Beschreibungsmethoden....Pages 115-142
Formale Beschreibungstechniken....Pages 143-242
Front Matter....Pages 243-244
Protokollentwicklungsprozess....Pages 245-250
Entwurf....Pages 251-266
Verifikation....Pages 267-298
Implementierung....Pages 299-338
Test....Pages 339-454
Werkzeuge....Pages 455-460
Ausblick....Pages 461-464
Back Matter....Pages 465-498

---

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.
Content:
Front Matter....Pages i-xiii
Front Matter....Pages 1-2
Dienste....Pages 3-24
Protokolle....Pages 25-48
Schichten....Pages 49-58
Kommunikationsarchitekturen....Pages 59-70
Protokollfunktionen....Pages 71-94
Fallbeispiel: Der Internet-Protokollstack....Pages 95-112
Front Matter....Pages 113-114
Beschreibungsmethoden....Pages 115-142
Formale Beschreibungstechniken....Pages 143-242
Front Matter....Pages 243-244
Protokollentwicklungsprozess....Pages 245-250
Entwurf....Pages 251-266
Verifikation....Pages 267-298
Implementierung....Pages 299-338
Test....Pages 339-454
Werkzeuge....Pages 455-460
Ausblick....Pages 461-464
Back Matter....Pages 465-498
....