Protocol engineering: A rule based approach / Edition 1

by Jürgen M. Schneider

Overview

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.

Product Details

ISBN-13:	9783528052430
Publisher:	Vieweg+Teubner Verlag
Publication date:	01/01/1992
Series:	Vieweg Advanced Studies in Computer Science
Edition description:	1992
Pages:	249
Product dimensions:	5.83(w) x 8.27(h) x 0.02(d)
Language:	German

Table of Contents

1 Introduction.- 1.1 Overview.- 1.2 Communication Systems.- 1.3 Prool Engineering.- 2 Prool Specification with Formal Description Techniques.- 2.1 Informal Specification.- 2.2 Formal Description Techniques (FDTs).- 2.3 Comparative Assessment.- 3 Prool 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 Prool Engineering with Formal Description Techniques.- 4.1 Executable FDTs.- 4.2 Prool Engineering Environments.- 5 Prool 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.