LOTOS specification style for OSI

Ken J. Turner, Marten van Sinderen

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    109 Citations (Scopus)
    5 Downloads (Pure)


    The architecture of OSI is used to derive guidelines for writing LOTOS specifications of distributed systems. In particular, the architectural concepts that underlie service and protocol designs are examined in detail. For each of these concepts a representation in LOTOS is given. Examples are provided of how the LOTOS representations of the concepts are used in the construction of LOTOS specifications of service and protocol designs. The approach described in this paper is motivated by the need to produce distributed system specifications in a more consistent and productive fashion.
    Original languageEnglish
    Title of host publicationLOTOSphere
    Subtitle of host publicationsoftware development with LOTOS
    EditorsTommaso Bolognesi, Jeroen van de Lagemaat, Chris Vissers
    Place of PublicationDordrecht
    PublisherKluwer Academic Publishers
    Number of pages23
    ISBN (Electronic)978-1-4615-2203-4
    ISBN (Print)978-1-4613-5924-1
    Publication statusPublished - 1995


    • SCS-Services
    • Service provider
    • Service user
    • Service design
    • Local constraint
    • Lower association


    Dive into the research topics of 'LOTOS specification style for OSI'. Together they form a unique fingerprint.

    Cite this