A rule based approach
Buch, Deutsch, 249 Seiten, Format (B × H): 148 mm x 210 mm, Gewicht: 356 g
ISBN: 978-3-528-05243-0
Verlag: Vieweg+Teubner Verlag
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
