Jürgen M. Schneider

Protocol engineering (eBook, PDF)

A rule based approach

• Format: PDF

Produktdetails

• Verlag: Vieweg+Teubner Verlag
• Seitenzahl: 249
• Erscheinungstermin: 8. März 2013
• Deutsch
• ISBN-13: 9783322839794
• Artikelnr.: 53139927

Inhaltsangabe

1 Introduction.- 1.1 Overview.- 1.2 Communication Systems.- 1.3 Protocol Engineering.- 2 Protocol Specification with Formal Description Techniques.- 2.1 Informal Specification.- 2.2 Formal Description Techniques (FDTs).- 2.3 Comparative Assessment.- 3 Protocol Specification with Communicating Rule Systems.- 3.1 Extended Abstract Syntax Notation One (X-ASN.1).- 3.2 Communicating Rule Systems (CRS).- 3.3 Operational Semantics ot CRS.- 4 Protocol Engineering with Formal Description Techniques.- 4.1 Executable FDTs.- 4.2 Protocol Engineering Environments.- 5 Protocol Engineering with Communicating Rule Systems.- 5.1 Executable CRS.- 5.2 CRS Integrated Tools Environment.- 6 Conclusions.- 6.1 Summary of Results.- 6.2 Implementation Status and Early Experiences.- 6.3 Prospects and Future Work.- References.