Protocol engineering

A rule based approach

Specificaties
Paperback, 249 blz. | Duits
Vieweg+Teubner Verlag | 1992e druk, 1992
ISBN13: 9783528052430
Rubricering
Vieweg+Teubner Verlag 1992e druk, 1992 9783528052430
Verwachte levertijd ongeveer 8 werkdagen

Samenvatting

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.

Specificaties

ISBN13:9783528052430
Taal:Duits
Bindwijze:paperback
Aantal pagina's:249
Druk:1992

Inhoudsopgave

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.

Rubrieken

    Personen

      Trefwoorden

        Protocol engineering