ULg Research Unit in Networking RUN

A Method for Applying LOTOS at an Early Design Stage and Its Application to the ISO Transport Protocol

G. Leduc1

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



We propose a method applicable to the design of large and abstract LOTOS specifications. More precisely, this method explains how to generate a constrain-oriented specification which is an adequate abstract and modular starting point of a complex design process leading to implementation. It is illustrated on a substantial part of the ISO Transport Protocol class 4 which is considered as a complex and stable case study. Having proved the feasibility of the method on this protocol, it was then used to specify (parts of) the new transport protocol TPX of OSI95.


constraint-oriented style, formal specification, LOTOS, transport protocol

[ 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: RUN | Montefiore | ULg
© 2000-2015.