Abstract
ULg Research Unit in Networking RUN
Abstract


The LOTOS Specification of the Enhanced Transport Service

L. Léonard1

1 Research unit in Networking, EECS department, University of Liège, Belgium

(1994)

Abstract

This paper introduces the LOTOS specification of the OSI95 Enhanced Transport Service. It discusses the problems encountered during its writing, such as the ones caused by its validation, or by the lack of a 'Timed' LOTOS. But the interest is not only in the specification itself. It also lies in the way this specification was developed: not after, but in parallel with the design of the Service it had to describe. The reasons for the choice of this way of working, its advantages (and drawbacks) are presented.

Keywords

LOTOS, OSI95, specification, transport service

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - C. Soldani -
Still running IPv4 at: 52.14.221.113... RUN | Montefiore | ULg
© 2000-2024.