Barker, R M; Brady, F A (1995) Experiences in the use of formal methods in the standardisation of a complex OSI protocol. NPL Report. CISE 1/95

Text cise1.pdf Download (1MB)

Abstract

This report describes the development of a formal description (in LOTOS) of a complex OSI protocol (OSI Distributed Transaction Processing). The work was part of the development of the protocol standard and the formal description was an annex to the final published version of the standard. The work highlights many of the problems of describing a real-world protocol. These were particularly acute because the standard and the formal description were evolving together. The report also identifies some problems with LOTOS and discusses possible enhancements. The report describes how the formal description is continuing to be used and discusses what lessons can be learnt from the work.

Item Type:	Report/Guide (NPL Report)
NPL Report No.:	CISE 1/95
Subjects:	Mathematics and Scientific Computing Mathematics and Scientific Computing > Software Engineering
Last Modified:	02 Feb 2018 13:19
URI:	http://eprintspublications.npl.co.uk/id/eprint/414

Actions (login required)

View Item