Login
- Dokumenttyp:
- technical report
- Autor(en):
- Christian Facchi
- Titel:
- 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.
- Stichworte:
- Time Sequence Diagram; TSD; ISO/OSI basic reference model; formal semantics; specification
- Jahr:
- 1995
- Jahr / Monat:
- 1995-12-00 00:00:00
BibTeX