Protocol engineering: A rule based approach

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.