Abstract
The paper presented should be a kind of tutorial for those who have a basic understanding of the open systems interconnections philosophy as well as of software technological problems in developing reliable systems. It mainly consists of four parts, namely
-
it explains the requirements for the Transport Layer as given in the Reference Model (of Open Systems Interconnections) document;
-
it gives a general design for the RM Transport Layer meeting these requirements; this design is based on simple building blocks that may be easily described and specified;
-
it characterizes a subset of the building blocks of the general design suitable for an X.25 based RM Transport Layer (having almost identical services used and provided as those presently discussed in the PIX group);
-
it discusses the simplifications obtained from this decomposition of the whole Transport Layer into uniform building blocks and the technique we apply for formally specifying the modules (the building blocks contain) as well as the building blocks, themselves.
-
what intentions the Reference Model document associates with its Transport Layer, as well as
The intention of this paper is to provide a sound basis for a common understanding of
-
what intentions the Reference Model document associates with its Transport Layer, as well as
-
how a layer may be designed such that advanced technologies for producing reliable software may be applied.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
General References
Reference Model of Open Systems Interconnection, ISO/TC97/SC16, N227, Aug. 79
The Reference Model-Open SystemsArchitecture, ISO/TC97/SC16, N117, Open Systems Interconnection, Paris, 78
F. Vogt, E. Dregger, H. Eckert, B. Lausch: Specification of a Transport and Session Layer Protocol Based on the Message Link Protocol, Version 1.0, September 79
Datex-P Benutzerhandbuch (unvollständige und nicht endgültig abgestimmte Fassung - vor Auftragsvergabe). Fernmeldetechnisches Zentralamt, 6100 Darmstadt… 79
E.W. Dijkstra: A Discipline of Programming, Prentice-Hall, Englewood Cliffs, N.J., 76
D.L. Parnas: The Use of Precise Specifications in the Development of Software, Proceedings of the IFIP Congress 1977, North Holland Publishing Company, 1977
G.V. Bochmann: Formalized Specification of the MLP. Department d’informatique et de recherche operationelle, Universite de Montreal, June 1979
G.V. Bochmann: An Analysis of the MLP. Departement d’informatique et de recherche operationelle, Université de Montreal, June 79
The UNCOL Project, Summerschool on Software Engineering, München, 73
E. Raubold: Proposal for Message-Blocking Facility in MTC (agreed by MLimplementation-group, Berlin, March 79)
S. Schindler, M. Steinacker: A Uniform Protocol Machine Organization for the Transport Layers of the ISO/TC97/SC16 Reference Model. Trends & Applications 1979: Advances in System Technology, May 17, 79, Gaithersburg
C.R. Vick: Software Engineering Tools, Past, Presence and Future, Proc. of the 4th International Conference on Software Engineering, Munich, September 17–19, 1979
Ramamoorthy et al.: A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants, Proc. of the 4th International Conference on Software Engineering, Munich, September 17–19, 1979
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Schindler, S., Altenkrüger, D., Flasche, U., Schulze, J., Steinacker, M. (1979). The OSA Project Design and Formal Specification of an X.25 Based Open Transport Layer and its Protocols. In: Schindler, S., Schröder, J.C.W. (eds) Kommunikation in verteilten Systemen. Informatik—Fachberichte, vol 22. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67553-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-67553-9_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09865-2
Online ISBN: 978-3-642-67553-9
eBook Packages: Springer Book Archive