LOTOS specification style for OSI

Ken J. Turner; Marten van Sinderen

doi:10.1007/978-1-4615-2203-4_7

LOTOS specification style for OSI

Ken J. Turner
, Marten van Sinderen

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

108 Citations (Scopus)

5 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 language	English
Title of host publication	LOTOSphere
Subtitle of host publication	software development with LOTOS
Editors	Tommaso Bolognesi, Jeroen van de Lagemaat, Chris Vissers
Place of Publication	Dordrecht
Publisher	Kluwer Academic Publishers
Pages	137-159
Number of pages	23
ISBN (Electronic)	978-1-4615-2203-4
ISBN (Print)	978-1-4613-5924-1
DOIs	https://doi.org/10.1007/978-1-4615-2203-4_7
Publication status	Published - 1995

Keywords

SCS-Services
Service provider
Service user
Service design
Local constraint
Lower association

Access to Document

10.1007/978-1-4615-2203-4_7

108 Citations
1 Report

LOTOS specification style for OSI
Turner, K. J. & van Sinderen, M., 1992, Enschede: University of Twente. 22 p. (Memoranda Informatica; no. 92-46)(Memorandum TIOS; no. 92-21)
Research output: Book/Report › Report › Professional

Open Access
File

Cite this

@inbook{bbc8c5d45df04da7acde612b5c2d624a,

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, Service provider, Service user, Service design, Local constraint, Lower association",

author = "Turner, \{Ken J.\} and \{van Sinderen\}, Marten",

year = "1995",

doi = "10.1007/978-1-4615-2203-4\_7",

language = "English",

isbn = "978-1-4613-5924-1",

pages = "137--159",

editor = "Tommaso Bolognesi and \{van de Lagemaat\}, Jeroen and Chris Vissers",

booktitle = "LOTOSphere",

publisher = "Kluwer Academic Publishers",

address = "Netherlands",

}

TY - CHAP

T1 - LOTOS specification style for OSI

AU - Turner, Ken J.

AU - van Sinderen, Marten

PY - 1995

Y1 - 1995

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 - Service provider

KW - Service user

KW - Service design

KW - Local constraint

KW - Lower association

U2 - 10.1007/978-1-4615-2203-4_7

DO - 10.1007/978-1-4615-2203-4_7

M3 - Chapter

SN - 978-1-4613-5924-1

SP - 137

EP - 159

BT - LOTOSphere

A2 - Bolognesi, Tommaso

A2 - van de Lagemaat, Jeroen

A2 - Vissers, Chris

PB - Kluwer Academic Publishers

CY - Dordrecht

ER -

LOTOS specification style for OSI

Abstract

Keywords

Access to Document

Fingerprint

Research output

LOTOS specification style for OSI

Cite this