On the architectural design of the formal specification of the session standards in LOTOS

Giuseppe Scollo, Marten J. van Sinderen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic


    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.
    Original languageUndefined
    Title of host publicationProceedings of the IFIP WG6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification
    EditorsB. Sarikaya, G.V. Bochmann
    Place of PublicationAmsterdam
    Number of pages12
    ISBN (Print)0444701265
    Publication statusPublished - 1987


    • EWI-6803
    • SCS-Services

    Cite this