The application of LOTOS for the formal description of the ISO session layer

Marten J. van Sinderen, I. Ajubi, F. Caneschi

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Abstract

    In November 1985, ISO/TC97/SC21 installed an ad-hoc working group of WG6 with the purpose of formally describing the session standard by application of the formal description technique LOTOS. This paper explains the background of this decision, discusses the design principles of the session layer specification in LOTOS, and presents the formal description of the session service and protocol on basis of a number of specification samples. Finally, some conclusions are drawn from this large-scale specification experience.
    Original languageUndefined
    Title of host publicationProceedings of the First International Conference on Formal Description Techniques
    EditorsJ.T. Turner
    Place of PublicationAmsterdam
    PublisherElsevier
    Pages263-277
    Number of pages15
    ISBN (Print)0-444-87126-8
    Publication statusPublished - 1989
    EventFirst International Conference on Formal Description Techniques - Stirling, Scotland, UK
    Duration: 6 Sep 19889 Sep 1988

    Conference

    ConferenceFirst International Conference on Formal Description Techniques
    Period6/09/889/09/88
    Other6-9 Sep 1988

    Keywords

    • EWI-6806
    • SCS-Services

    Cite this