Protocol engineering

Inhaltsverzeichnis1 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.