A partial RJE pad specification to illustrate LOTOS
Loading...
Authors
Kourie, D.G.
Issue Date
1986
Type
Article
Language
en
Keywords
Alternative Title
Abstract
LOTOS (Language Of Temporal Ordering Specification) is employed to give a partial specification of a system to
connect RJE devices across an X.25 network. The system's implementation has been described fully elsewhere [5].
The present purpose is to introduce LOTOS as a specification language, showing how fairly complex timedependencies
may be described in an unambiguous fashion, and also pointing to the way in which LOTOS
specifications may be verified.
Key concepts ofLOTOS are surveyed, and the underlying model which abstracts the RJE system to be specified is
presented. The LOTOS specification of this model is given in outline, with particular emphasis on aspects of the
connection phase. The type of verification to which a LOTOS specification may be subjected is briefly discussed
and an indication is given of how such verification may be approached.
1.0VERVIEW OF
Description
Citation
D G Kourie (1986) A partial RJE pad specification to illustrate LOTOS. Quaestiones Informaticae Vol 4 No 3 1986
Publisher
Computer Society of South Africa (on behalf of SAICSIT)
License
Journal
Volume
Issue
PubMed ID
DOI
ISSN
0254-2757