Generic service and protocol structures

    Research output: Book/ReportReportOther research output


    Service and protocol structures are presented in the context of a design methodology, referred to as the LotoSphere design methodology. This methodology provides a basis for motivating and refining specification structures. First some structuring principles are outlined. These principles are then applied to generic service and protocol design. The resulting structures are expressed in the formal description technique LOTOS. The usefulness of the predefined specification structures in the architectural phase of distributed system design is discussed.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherUniversity of Twente, Department of Computer Science
    Number of pages20
    Publication statusPublished - 1990


    • EWI-11868
    • SCS-Services

    Cite this