Formal description of the OSI session layer: session service

Marten J. van Sinderen

Formal description of the OSI session layer: session service

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

Abstract

The LOTOS formal description of the OSI session service is presented on basis of specification samples from the full description, giving account of how specification styles and session service architectural elements are reflected in the description. Both information (data types) and process (behaviour) aspects are addressed. Where possible, commonalities with the LOTOS formal description of the OSI transport service are exploited in the formal description, i.e. sharing structure and definition parts.

Original language	Undefined
Title of host publication	The formal description technique LOTOS: Results of the Esprit/Sedos project
Editors	P.H.J. van Eijk, C.A. Vissers, M. Diaz
Place of Publication	Amsterdam
Publisher	North Holland
Pages	117-151
Number of pages	35
ISBN (Print)	0444872671
Publication status	Published - 1989

Keywords

EWI-6822
SCS-Services

Cite this

@inbook{8abeb40c58ee459d8b35b5c2d0445f5c,

title = "Formal description of the OSI session layer: session service",

abstract = "The LOTOS formal description of the OSI session service is presented on basis of specification samples from the full description, giving account of how specification styles and session service architectural elements are reflected in the description. Both information (data types) and process (behaviour) aspects are addressed. Where possible, commonalities with the LOTOS formal description of the OSI transport service are exploited in the formal description, i.e. sharing structure and definition parts.",

keywords = "EWI-6822, SCS-Services",

author = "{van Sinderen}, {Marten J.}",

year = "1989",

language = "Undefined",

isbn = "0444872671",

pages = "117--151",

editor = "{van Eijk}, P.H.J. and C.A. Vissers and M. Diaz",

booktitle = "The formal description technique LOTOS: Results of the Esprit/Sedos project",

publisher = "North Holland",

address = "Netherlands",

}

TY - CHAP

T1 - Formal description of the OSI session layer: session service

AU - van Sinderen, Marten J.

PY - 1989

Y1 - 1989

N2 - The LOTOS formal description of the OSI session service is presented on basis of specification samples from the full description, giving account of how specification styles and session service architectural elements are reflected in the description. Both information (data types) and process (behaviour) aspects are addressed. Where possible, commonalities with the LOTOS formal description of the OSI transport service are exploited in the formal description, i.e. sharing structure and definition parts.

AB - The LOTOS formal description of the OSI session service is presented on basis of specification samples from the full description, giving account of how specification styles and session service architectural elements are reflected in the description. Both information (data types) and process (behaviour) aspects are addressed. Where possible, commonalities with the LOTOS formal description of the OSI transport service are exploited in the formal description, i.e. sharing structure and definition parts.

KW - EWI-6822

KW - SCS-Services

M3 - Chapter

SN - 0444872671

SP - 117

EP - 151

BT - The formal description technique LOTOS: Results of the Esprit/Sedos project

A2 - van Eijk, P.H.J.

A2 - Vissers, C.A.

A2 - Diaz, M.

PB - North Holland

CY - Amsterdam

ER -