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

Guy Leduc
1994 The OSI95 Transport Service with Multimedia Support  
We propose a method applicable to the design of large and abstract LOTOS specifications. More precisely, this method explains how to generate a constraint-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
more » ... ed to specify (parts of) the new transport protocol TPX of OSI95.
doi:10.1007/978-3-642-85165-0_9 fatcat:c6hgrnjs35ea5nyw5v67cfn5mi