Abstract
Due to the widespread use a precise definition of (the semantics of) services and protocols used in Open Systems Interconnections (OSI) is highly desirable. This paper reports on the experience gained in developing an algebraic specification of a transport service. A pragmatic guideline for the development of a specification based on an abstract model of the transport service is demonstrated and the relation of the algebraic specification to other specification concepts used in the field is discussed. We show especially how properties can be derived from the specification and expressed in terms of OSI concepts. Finally benefits and limitations of the algebraic specification with respect to the general requirements for specifications in the field of Open Systems Interconnections are reviewed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J.A. Goguen, J.W. Thatcher, E.G. Wagner: An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types; in: Current Trends in Programming Methodology, IV: Data Structuring (ed.: R. Yeh), Prentice Hall, New Jersey, (1978)
Butscher, Lausch, Henken, de Meer: Private lokale X.25-Netze mit Untervermittlung; Handbuch der modernen Datenverarbeitung, Heft 111, Mai 1983, Forkel Verlag
J. de Meer: Konzepte zur Implementierung eines verbindungsorientierten Transport Dienstes auf der S7.8xx; internal paper, Hahn-Meitner-Institut Berlin
H. Ehrig,W. Fey, H. Hansen: Towards Abstract User Interfaces for Formal System Specifications; this volume
H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics; EATCS Monograph Series, Springer Verlag, Berlin, (1985)
J.A. Goguen, J. Meseguer, D. Plaisted: Programming with Parameterized Abstract Objects in OBJ; in: Theory and Practice of Software Technology (eds: Ferrari, Bolognani, Goguen), North Holland, (1982)
H. Hansen, K.P. Hasler, J. de Meer: Algebraic Specification of an OSI Transport Service using ACT ONE; TU Berlin, HMI Berlin, draft (1985)
K.P. Hasler, M. Loewe, M. Reisin: Algebraic Specification of an User-Controlled Interpreter for Algebraic Specifications; Computer Science Report, TU Berlin (1982)
H. Hussmann: Unification in Conditional-Equational Theories; Techn.Rep. MIP-8502, Univ. Passau (1985)
IS0/TC97/SC16/N1435: Information Processing Systems — Open Systems Interconnection — Transport Service Definition
R. Milner: A Calculus of Communicating Systems; LNCS 92, Springer Verlag, Berlin 1980
A. Langen: Algorithmen zur Ueberpruefung der semantischen Kontextbedingungen der Spezifikationssprache ACT ONE; Computer Science Report 85-12; TU Berlin (1985)
ISO/TC 97/SC 21 N423: Information Processing Systems — Open Systems Interconnection — LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
ISO/TC 97/SC 16 N1562E: Information Processing System — Open Systems Interconnection — Basic Reference Model
P. Padawitz: Corrrectness, Completeness, and Consistency of Equational Data Type Specifications; Ph.D.Thesis; Computer Science Report 83–15, TU Berlin, (1983)
C.A. Petri: Concurrency; in: Net Theory and Applications (ed: Brauer), LNCS 84, Springer Verlag, (1980) Informatik Fachberichte 60, Springer Verlag (1983)
C. A. Sunshine: Formal Modeling of Communication Protocols; Informatik Fachberichte 40, Springer Verlag (1980)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hasler, K.P., de Meer, J. (1985). OSI Transport Service Considered as an Abstract Data Type. In: Kreowski, HJ. (eds) Recent Trends in Data Type Specification. Informatik-Fachberichte, vol 116. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-09691-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-662-09691-8_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16077-9
Online ISBN: 978-3-662-09691-8
eBook Packages: Springer Book Archive