Technical Report
Formal Semantics of Time Sequence Diagrams
Author(s): Christian Facchi
Year: 1995
Number: TUM-I9540
Editor:
CR Classification:
CR General Terms:
Keywords:
Abstract:Time Sequence Diagrams (TSDs) are a graphical representation employed to clarify the communication between service users and a service provider in the ISO/OSI basic reference model. In this paper we define the syntax and semantics of a textual representation for TSDs. As well, we provide a method for translating TSDs into this language. Furthermore, some extensions of TSDs are introduced that allow some special facets of an arbitrary layer to be described.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{ TUM-I9540,
author = {Christian Facchi},
title = {Formal Semantics of Time Sequence Diagrams},
number = {TUM-I9540},
institution = {Technische Univerit\"at M\"unchen},
year = {1995},
url = {http://www4.informatik.tu-muenchen.de/reports/TUM-I9540.html},
abstract = {Time Sequence Diagrams (TSDs) are a graphical representation employed to clarify the communication between service users and a service provider in the ISO/OSI basic reference model. In this paper we define the syntax and semantics of a textual representation for TSDs. As well, we provide a method for translating TSDs into this language. Furthermore, some extensions of TSDs are introduced that allow some special facets of an arbitrary layer to be described. },
CRClassification = {},
CRGenTerms = {}
}
]]>