DocumentCode
278035
Title
Using LOTOS for OSI
Author
Booth, Rob
Author_Institution
British Telecom Res. & Technol., Glasgow, UK
fYear
1991
fDate
33288
Firstpage
42401
Lastpage
42403
Abstract
This paper discusses existing practice for OSI protocol development and then introduces new technologies utilising the formal description technique LOTOS. Particular emphasis is placed on the industrial applicability of the techniques described based on current experience with British Telecom. Many of the results described are being developed through collaborative projects with European initiatives such as Esprit II and RACE. The current focus for this work is the Esprit LOTOSPHERE project which is developing technologies to exploit LOTOS covering the complete protocol development lifecycle
Keywords
formal specification; open systems; protocols; British Telecom; Esprit II; Esprit LOTOSPHERE project; European initiatives; LOTOS; OSI; OSI protocol development; RACE; formal description technique LOTOS; industrial applicability;
fLanguage
English
Publisher
iet
Conference_Titel
Formal Methods for Protocols, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
181113
Link To Document