LOTOS specification style for OSI

K.J. Turner, M. van Sinderen

Research output: Book/ReportReportProfessional

28 Downloads (Pure)

Abstract

The architecture of OSI is used to derive guidelines for writing LOTOS specifications of distributed systems. In particular, the architectural concepts that underlie service and protocol designs are examined in detail. For each of these concepts a representation in LOTOS is given. Examples are provided of how the LOTOS representations of the concepts are used in the construction of LOTOS specifications of service and protocol designs. The approach described in this paper is motivated by the need to produce distributed system specifications in a more consistent and productive fashion.
Original languageEnglish
Place of PublicationEnschede
PublisherUniversity of Twente
Number of pages22
Publication statusPublished - 1992
Event3rd LotoSphere Workshop & Seminar 1992 - Pisa, Italy
Duration: 14 Sep 199216 Sep 1992

Publication series

NameMemoranda Informatica
Publisher University of Twente
No.92-46
ISSN (Print)0924-3755
NameMemorandum TIOS
PublisherUniversity of Twente, Tele-Informatics and Open Systems Group
No.92-21

Fingerprint

Specification languages
Specifications
Network protocols

Keywords

  • SCS-Services

Cite this

Turner, K. J., & van Sinderen, M. (1992). LOTOS specification style for OSI. (Memoranda Informatica; No. 92-46), (Memorandum TIOS; No. 92-21). Enschede: University of Twente.
Turner, K.J. ; van Sinderen, M. / LOTOS specification style for OSI. Enschede : University of Twente, 1992. 22 p. (Memoranda Informatica; 92-46). (Memorandum TIOS; 92-21).
@book{b21b71551774451e931a8a79ae60f84e,
title = "LOTOS specification style for OSI",
abstract = "The architecture of OSI is used to derive guidelines for writing LOTOS specifications of distributed systems. In particular, the architectural concepts that underlie service and protocol designs are examined in detail. For each of these concepts a representation in LOTOS is given. Examples are provided of how the LOTOS representations of the concepts are used in the construction of LOTOS specifications of service and protocol designs. The approach described in this paper is motivated by the need to produce distributed system specifications in a more consistent and productive fashion.",
keywords = "SCS-Services",
author = "K.J. Turner and {van Sinderen}, M.",
year = "1992",
language = "English",
series = "Memoranda Informatica",
publisher = "University of Twente",
number = "92-46",
address = "Netherlands",

}

Turner, KJ & van Sinderen, M 1992, LOTOS specification style for OSI. Memoranda Informatica, no. 92-46, Memorandum TIOS, no. 92-21, University of Twente, Enschede.

LOTOS specification style for OSI. / Turner, K.J.; van Sinderen, M.

Enschede : University of Twente, 1992. 22 p. (Memoranda Informatica; No. 92-46), (Memorandum TIOS; No. 92-21).

Research output: Book/ReportReportProfessional

TY - BOOK

T1 - LOTOS specification style for OSI

AU - Turner, K.J.

AU - van Sinderen, M.

PY - 1992

Y1 - 1992

N2 - The architecture of OSI is used to derive guidelines for writing LOTOS specifications of distributed systems. In particular, the architectural concepts that underlie service and protocol designs are examined in detail. For each of these concepts a representation in LOTOS is given. Examples are provided of how the LOTOS representations of the concepts are used in the construction of LOTOS specifications of service and protocol designs. The approach described in this paper is motivated by the need to produce distributed system specifications in a more consistent and productive fashion.

AB - The architecture of OSI is used to derive guidelines for writing LOTOS specifications of distributed systems. In particular, the architectural concepts that underlie service and protocol designs are examined in detail. For each of these concepts a representation in LOTOS is given. Examples are provided of how the LOTOS representations of the concepts are used in the construction of LOTOS specifications of service and protocol designs. The approach described in this paper is motivated by the need to produce distributed system specifications in a more consistent and productive fashion.

KW - SCS-Services

M3 - Report

T3 - Memoranda Informatica

BT - LOTOS specification style for OSI

PB - University of Twente

CY - Enschede

ER -

Turner KJ, van Sinderen M. LOTOS specification style for OSI. Enschede: University of Twente, 1992. 22 p. (Memoranda Informatica; 92-46). (Memorandum TIOS; 92-21).