An approach to structuring formal specifications of services and protocols in LOTOS is proposed. The approach is based on experience with the application of LOTOS to the specification of the ISO session standards, and is therefore exemplified with parts of their formal description. It is argued that the structuring of formal specifications of service and underlying protocol should emphasize to the largest extent their commonalities, in order to simplify the proof of their mutual consistency. The conclusion drawn is that the structuring principles for the session specifications may be of more general use for the specification of services and protocols.
|Title of host publication||Proceedings of the IFIP WG6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification|
|Editors||B. Sarikaya, G.V. Bochmann|
|Place of Publication||Amsterdam|
|Number of pages||12|
|Publication status||Published - 1987|