An introduction to LOTOS through a worked example.

Research output: Contribution to Journal/Magazine › Journal article

Published

Standard

An introduction to LOTOS through a worked example. / Drayton, Lynne D.; Chetwynd, Amanda G.; Blair, Gordon S.
In: Computer Communications, Vol. 15, No. 2, 03.1992, p. 70-85.

Research output: Contribution to Journal/Magazine › Journal article

Harvard

Drayton, LD, Chetwynd, AG & Blair, GS 1992, 'An introduction to LOTOS through a worked example.', Computer Communications, vol. 15, no. 2, pp. 70-85. https://doi.org/10.1016/0140-3664(92)90127-Z

APA

Drayton, L. D., Chetwynd, A. G., & Blair, G. S. (1992). An introduction to LOTOS through a worked example. Computer Communications, 15(2), 70-85. https://doi.org/10.1016/0140-3664(92)90127-Z

Vancouver

Drayton LD, Chetwynd AG , Blair GS. An introduction to LOTOS through a worked example. Computer Communications. 1992 Mar;15(2):70-85. doi: 10.1016/0140-3664(92)90127-Z

Author

Drayton, Lynne D. ; Chetwynd, Amanda G. ; Blair, Gordon S. / An introduction to LOTOS through a worked example. In: Computer Communications. 1992 ; Vol. 15, No. 2. pp. 70-85.

Bibtex

@article{95ab2f66ffcf460cad69ff45ffa33210,

title = "An introduction to LOTOS through a worked example.",

abstract = "The practical application of formal description techniques (FDT) is becoming increasingly important in computing. However, there remains a gulf in the literature between the language of application developers and the more theoretical language often used to describe formal methods. The aim of this paper is to try to bridge this gap by introducing the formal description technique LOTOS in a non-theoretical manner. The main features of LOTOS are introduced through a worked example, a specification of a multi-way phone system. This example was chosen because the specification is compact and yet is sufficiently complex to introduce most LOTOS features. Furthermore, the protocols involved in a multi-way phone are intuitive. The paper also stresses the importance of supporting tools in the development of formal specifications and presents two tools, namely SEDOS and CAESAR/ALD{\'E}BARAN, and explains why they are important in the specification process.",

keywords = "formal description techniques, LOTOS, protocols",

author = "Drayton, {Lynne D.} and Chetwynd, {Amanda G.} and Blair, {Gordon S.}",

year = "1992",

month = mar,

doi = "10.1016/0140-3664(92)90127-Z",

language = "English",

volume = "15",

pages = "70--85",

journal = "Computer Communications",

publisher = "Elsevier",

number = "2",

}

RIS

TY - JOUR

T1 - An introduction to LOTOS through a worked example.

AU - Drayton, Lynne D.

AU - Chetwynd, Amanda G.

AU - Blair, Gordon S.

PY - 1992/3

Y1 - 1992/3

N2 - The practical application of formal description techniques (FDT) is becoming increasingly important in computing. However, there remains a gulf in the literature between the language of application developers and the more theoretical language often used to describe formal methods. The aim of this paper is to try to bridge this gap by introducing the formal description technique LOTOS in a non-theoretical manner. The main features of LOTOS are introduced through a worked example, a specification of a multi-way phone system. This example was chosen because the specification is compact and yet is sufficiently complex to introduce most LOTOS features. Furthermore, the protocols involved in a multi-way phone are intuitive. The paper also stresses the importance of supporting tools in the development of formal specifications and presents two tools, namely SEDOS and CAESAR/ALDÉBARAN, and explains why they are important in the specification process.

AB - The practical application of formal description techniques (FDT) is becoming increasingly important in computing. However, there remains a gulf in the literature between the language of application developers and the more theoretical language often used to describe formal methods. The aim of this paper is to try to bridge this gap by introducing the formal description technique LOTOS in a non-theoretical manner. The main features of LOTOS are introduced through a worked example, a specification of a multi-way phone system. This example was chosen because the specification is compact and yet is sufficiently complex to introduce most LOTOS features. Furthermore, the protocols involved in a multi-way phone are intuitive. The paper also stresses the importance of supporting tools in the development of formal specifications and presents two tools, namely SEDOS and CAESAR/ALDÉBARAN, and explains why they are important in the specification process.

KW - formal description techniques

KW - LOTOS

KW - protocols

U2 - 10.1016/0140-3664(92)90127-Z

DO - 10.1016/0140-3664(92)90127-Z

M3 - Journal article

VL - 15

SP - 70

EP - 85

JO - Computer Communications

JF - Computer Communications

IS - 2

ER -

Research

Links

Text available via DOI:

Keywords