Protocol Engineering: A Rule Based Approach

ISBN-13: 9783528052430 / Niemiecki / Miękka / 1992 / 249 str.

J. Rgen M. Schneider; Jeurgen M. Schneider

Opis

v ------------------ Foreword It is now over twenty years since the first efforts were made to interconnect computers for the exchange of data. In the 1970s proprietary networking architectures, such as IBM's SNA, were developed and installed at many customer sites worldwide. At the same time the ARPANET in the United States became a research vehicle providing many new insights, in particular into packet switching technology and routing algorithms. In the 1980s the Interconnection of heterogeneous eqUipment was a domi nating issue: ISO published the Reference Model for Open Systems Intercon nection (051) and many new standards for the protocols of layers 4 to 7. In parallel the INTERNET community developed a new generation of protocols, the TCP liP protocol stack, in order to enable worldwide data interchange for scientists. Powerful workstations and PCs are now installed on many desktops because decentralized computing is often much more user friendly and cost effective than traditional mainframe computing. Yet access to shared information and resources is still required, creating a strong demand for interconnecting heterogeneous computers. Applications such as electronic mail, file transfer, Client/server configurations and manufacturing automation are now in widespread use, with computer eqUipment from dif ferent vendors. The network has really become the computer. In recent years the incredible advances in optical fiber technology have created a new physical medium for data transmission, with very high band width and a very low bit error rate.

Spis treści

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.