Protocol engineering A rule based approach [Paperback]

1 Introduction.- 1.1 Overview.- 1.2 Communication Systems.- 1.2.1 Structuring Principles.- 1.2.2 Architectural Concepts.- 1.3 Protocol Engineering.- 1.3.1 Life-cycle.- 1.3.2 Tool Support.- 2 Protocol Specification with Formal Description Techniques.- 2.1 Informal Specification.- 2.2 Formal Description Techniques (FDTs).- 2.2.1 Estelle and SDL.- 2.2.2 Numerical Petri Nets.- 2.2.3 LOTOS.- 2.2.4 Z.- 2.3 Comparative Assessment.- 3 Protocol Specification with Communicating Rule Systems.- 3.1 Extended Abstract Syntax Notation One (X-ASN.1).- 3.1.1 Type Definition and Operations.- 3.1.2 Type Equivalence.- 3.1.3 Encoding Rules.- 3.2 Communicating Rule Systems (CRS).- 3.2.1 Rule Systems.- 3.2.2 Gates.- 3.2.3 Structuring Mechanisms.- 3.2.4 Abstract Data Types.- 3.2.5 Assessment.- 3.3 Operational Semantics ot CRS.- 3.3.1 Labelled Transition Systems (LTSs).- 3.3.2 Basic and Communicating Rule Systems.- 3.3.3 Interleaving Semantics.- 4 Protocol Engineering with Formal Description Techniques.- 4.1 Executable FDTs.- 4.1.1 Estelle, SDL, and PASS.- 4.1.2 Petri Nets.- 4.1.3 LOTOS.- 4.1.4 Logic interpreters.- 4.2 Protocol Engineering Environments.- 4.2.1 Validation environments.- 4.2.2 Implementation environments.- 4.2.3 Testing environments.- 4.2.4 Integrated environments.- 5 Protocol Engineering with Communicating Rule Systems.- 5.1 Executable CRS.- 5.1.1 Implementation Concepts.- 5.1.2 Runtime Environment.- 5.1.3 Compilation.- 5.2 CRS Integrated Tools Environment.- 5.2.1 Architecture.- 5.2.2 Kernel.- 5.2.3 Shells.- 5.2.4 Selected Application Tools.- 6 Conclusions.- 6.1 Summary of Results.- 6.2 Implementation Status and Early Experiences.- 6.3 Prospects and Future Work.- References.Springer Book Archives