LOTOS specification style for OSI

K.J. Turner, M. van Sinderen

    Research output: Book/ReportReportProfessional

    73 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
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages22
    Publication statusPublished - 1992
    Event3rd LotoSphere Workshop & Seminar 1992 - Pisa, Italy
    Duration: 14 Sept 199216 Sept 1992

    Publication series

    NameMemoranda Informatica
    Publisher University of Twente
    ISSN (Print)0924-3755
    NameMemorandum TIOS
    PublisherUniversity of Twente, Tele-Informatics and Open Systems Group


    • SCS-Services


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

      Turner, K. J. & van Sinderen, M., 1995, LOTOSphere: software development with LOTOS. Bolognesi, T., van de Lagemaat, J. & Vissers, C. (eds.). Dordrecht: Kluwer Academic Publishers, p. 137-159 23 p.

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

      109 Citations (Scopus)
      5 Downloads (Pure)

    Cite this