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

    Abstract

    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
    PublisherElsevier
    Pages3-14
    Number of pages12
    ISBN (Print)0444701265
    Publication statusPublished - 1987
    EventIFIP WG6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification - Montreal, Quebec, Canada
    Duration: 10 Jun 198613 Jun 1986

    Workshop

    WorkshopIFIP WG6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification
    Period10/06/8613/06/86
    Other10-13 Jun 1986

    Keywords

    • EWI-6803
    • SCS-Services

    Cite this