Technical Report
How to Improve the Service Specifications of the ISO/OSI Basic Reference Model.
Author(s): Christian Facchi
Year: 1996
Number: TUM-I9615
Editor:
CR Classification:
CR General Terms:
Keywords: data communication, protocol, service, formal specification, modular specification, OSI layer model, correction, interpretation, time sequence diagrams, queue model, local constraints
Abstract:We present in an informal way the results of a formal specification of the ISO/OSI basic reference models service specifications. A new modular way of service specification which improves the reusability regarding different layers within a network is introduced. Some description techniques, which the ISO/OSI basic reference model uses, like time sequence diagrams, are clarified and improved. As a consequence the description of the ISO/OSI basic reference model gains a higher preciseness. Some ambiguities of the informal descriptions are removed by textual corrections.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{ TUM-I9615,
author = {Christian Facchi},
title = {How to Improve the Service Specifications of the ISO/OSI Basic Reference Model.},
number = {TUM-I9615},
institution = {Technische Univerit\"at M\"unchen},
year = {1996},
url = {http://www4.informatik.tu-muenchen.de/reports/TUM-I9615.html},
abstract = {We present in an informal way the results of a formal specification of the ISO/OSI basic reference models service specifications. A new modular way of service specification which improves the reusability regarding different layers within a network is introduced. Some description techniques, which the ISO/OSI basic reference model uses, like time sequence diagrams, are clarified and improved. As a consequence the description of the ISO/OSI basic reference model gains a higher preciseness. Some ambiguities of the informal descriptions are removed by textual corrections. },
CRClassification = {},
CRGenTerms = {}
}
]]>