LOTOS specification style for OSI

Hendrik Brinksma (Editor), K.J. Turner, T. Bolognesi (Editor), Marten J. van Sinderen, C.A. Vissers (Editor)

Research output: Book/ReportReportProfessional

23 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 languageUndefined
Place of PublicationPisa
PublisherLotosphere workshop
Number of pages22
Publication statusPublished - 1992

Publication series

Name
PublisherCNUCE

Keywords

  • SCS-Services
  • EWI-11378
  • IR-64451
  • METIS-122162

Cite this

Brinksma, H. (Ed.), Turner, K. J., Bolognesi, T. (Ed.), van Sinderen, M. J., & Vissers, C. A. (Ed.) (1992). LOTOS specification style for OSI. Pisa: Lotosphere workshop.
Brinksma, Hendrik (Editor) ; Turner, K.J. ; Bolognesi, T. (Editor) ; van Sinderen, Marten J. ; Vissers, C.A. (Editor). / LOTOS specification style for OSI. Pisa : Lotosphere workshop, 1992. 22 p.
@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, EWI-11378, IR-64451, METIS-122162",
author = "K.J. Turner and {van Sinderen}, {Marten J.}",
editor = "Hendrik Brinksma and T. Bolognesi and C.A. Vissers",
year = "1992",
language = "Undefined",
publisher = "Lotosphere workshop",

}

Brinksma, H (ed.), Turner, KJ, Bolognesi, T (ed.), van Sinderen, MJ & Vissers, CA (ed.) 1992, LOTOS specification style for OSI. Lotosphere workshop, Pisa.

LOTOS specification style for OSI. / Brinksma, Hendrik (Editor); Turner, K.J.; Bolognesi, T. (Editor); van Sinderen, Marten J.; Vissers, C.A. (Editor).

Pisa : Lotosphere workshop, 1992. 22 p.

Research output: Book/ReportReportProfessional

TY - BOOK

T1 - LOTOS specification style for OSI

AU - Turner, K.J.

AU - van Sinderen, Marten J.

A2 - Brinksma, Hendrik

A2 - Bolognesi, T.

A2 - Vissers, C.A.

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

KW - EWI-11378

KW - IR-64451

KW - METIS-122162

M3 - Report

BT - LOTOS specification style for OSI

PB - Lotosphere workshop

CY - Pisa

ER -

Brinksma H, (ed.), Turner KJ, Bolognesi T, (ed.), van Sinderen MJ, Vissers CA, (ed.). LOTOS specification style for OSI. Pisa: Lotosphere workshop, 1992. 22 p.