Formal Semantics of Time Sequence Diagrams

Document type:: technical report
Author(s):: Christian Facchi
Title:: Formal Semantics of Time Sequence Diagrams
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.
Keywords:: Time Sequence Diagram; TSD; ISO/OSI basic reference model; formal semantics; specification
Year:: 1995
Year / month:: 1995-12-00 00:00:00
BibTeX

Occurrences: