The application of LOTOS for the formal description of the ISO session layer

Marten J. van Sinderen; I. Ajubi; F. Caneschi

The application of LOTOS for the formal description of the ISO session layer

Marten J. van Sinderen, I. Ajubi, F. Caneschi

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

Abstract

In November 1985, ISO/TC97/SC21 installed an ad-hoc working group of WG6 with the purpose of formally describing the session standard by application of the formal description technique LOTOS. This paper explains the background of this decision, discusses the design principles of the session layer specification in LOTOS, and presents the formal description of the session service and protocol on basis of a number of specification samples. Finally, some conclusions are drawn from this large-scale specification experience.

Original language	Undefined
Title of host publication	Proceedings of the First International Conference on Formal Description Techniques
Editors	J.T. Turner
Place of Publication	Amsterdam
Publisher	Elsevier
Pages	263-277
Number of pages	15
ISBN (Print)	0-444-87126-8
Publication status	Published - 1989
Event	First International Conference on Formal Description Techniques - Stirling, Scotland, UK Duration: 6 Sept 1988 → 9 Sept 1988

Conference

Conference	First International Conference on Formal Description Techniques
Period	6/09/88 → 9/09/88
Other	6-9 Sep 1988

Keywords

EWI-6806
SCS-Services

Cite this

@inproceedings{63c4bc08bb86494392e253176dcf0f2a,

title = "The application of LOTOS for the formal description of the ISO session layer",

abstract = "In November 1985, ISO/TC97/SC21 installed an ad-hoc working group of WG6 with the purpose of formally describing the session standard by application of the formal description technique LOTOS. This paper explains the background of this decision, discusses the design principles of the session layer specification in LOTOS, and presents the formal description of the session service and protocol on basis of a number of specification samples. Finally, some conclusions are drawn from this large-scale specification experience.",

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

author = "{van Sinderen}, {Marten J.} and I. Ajubi and F. Caneschi",

year = "1989",

language = "Undefined",

isbn = "0-444-87126-8",

pages = "263--277",

editor = "J.T. Turner",

booktitle = "Proceedings of the First International Conference on Formal Description Techniques",

publisher = "Elsevier",

note = "First International Conference on Formal Description Techniques ; Conference date: 06-09-1988 Through 09-09-1988",

}

The application of LOTOS for the formal description of the ISO session layer. / van Sinderen, Marten J.; Ajubi, I.; Caneschi, F.
Proceedings of the First International Conference on Formal Description Techniques. ed. / J.T. Turner. Amsterdam: Elsevier, 1989. p. 263-277.

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

TY - GEN

T1 - The application of LOTOS for the formal description of the ISO session layer

AU - van Sinderen, Marten J.

AU - Ajubi, I.

AU - Caneschi, F.

PY - 1989

Y1 - 1989

N2 - In November 1985, ISO/TC97/SC21 installed an ad-hoc working group of WG6 with the purpose of formally describing the session standard by application of the formal description technique LOTOS. This paper explains the background of this decision, discusses the design principles of the session layer specification in LOTOS, and presents the formal description of the session service and protocol on basis of a number of specification samples. Finally, some conclusions are drawn from this large-scale specification experience.

AB - In November 1985, ISO/TC97/SC21 installed an ad-hoc working group of WG6 with the purpose of formally describing the session standard by application of the formal description technique LOTOS. This paper explains the background of this decision, discusses the design principles of the session layer specification in LOTOS, and presents the formal description of the session service and protocol on basis of a number of specification samples. Finally, some conclusions are drawn from this large-scale specification experience.

KW - EWI-6806

KW - SCS-Services

M3 - Conference contribution

SN - 0-444-87126-8

SP - 263

EP - 277

BT - Proceedings of the First International Conference on Formal Description Techniques

A2 - Turner, J.T.

PB - Elsevier

CY - Amsterdam

T2 - First International Conference on Formal Description Techniques

Y2 - 6 September 1988 through 9 September 1988

ER -