LOTOS specification style for OSI

Ken J. Turner, Marten van Sinderen

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

    113 Citations (Scopus)
    5 Downloads (Pure)

    Abstract

    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
    Pages137-159
    Number of pages23
    ISBN (Electronic)978-1-4615-2203-4
    ISBN (Print)978-1-4613-5924-1
    DOIs
    Publication statusPublished - 1995

    Fingerprint

    Specification languages
    Specifications
    Network protocols

    Keywords

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

    Cite this

    Turner, K. J., & van Sinderen, M. (1995). LOTOS specification style for OSI. In T. Bolognesi, J. van de Lagemaat, & C. Vissers (Eds.), LOTOSphere: software development with LOTOS (pp. 137-159). Dordrecht: Kluwer Academic Publishers. https://doi.org/10.1007/978-1-4615-2203-4_7
    Turner, Ken J. ; van Sinderen, Marten. / LOTOS specification style for OSI. LOTOSphere: software development with LOTOS. editor / Tommaso Bolognesi ; Jeroen van de Lagemaat ; Chris Vissers. Dordrecht : Kluwer Academic Publishers, 1995. pp. 137-159
    @inbook{bbc8c5d45df04da7acde612b5c2d624a,
    title = "LOTOS specification style for OSI",
    abstract = "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.",
    keywords = "SCS-Services, Service provider, Service user, Service design, Local constraint, Lower association",
    author = "Turner, {Ken J.} and {van Sinderen}, Marten",
    year = "1995",
    doi = "10.1007/978-1-4615-2203-4_7",
    language = "English",
    isbn = "978-1-4613-5924-1",
    pages = "137--159",
    editor = "Tommaso Bolognesi and {van de Lagemaat}, Jeroen and Chris Vissers",
    booktitle = "LOTOSphere",
    publisher = "Kluwer Academic Publishers",
    address = "Netherlands",

    }

    Turner, KJ & van Sinderen, M 1995, LOTOS specification style for OSI. in T Bolognesi, J van de Lagemaat & C Vissers (eds), LOTOSphere: software development with LOTOS. Kluwer Academic Publishers, Dordrecht, pp. 137-159. https://doi.org/10.1007/978-1-4615-2203-4_7

    LOTOS specification style for OSI. / Turner, Ken J.; van Sinderen, Marten.

    LOTOSphere: software development with LOTOS. ed. / Tommaso Bolognesi; Jeroen van de Lagemaat; Chris Vissers. Dordrecht : Kluwer Academic Publishers, 1995. p. 137-159.

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

    TY - CHAP

    T1 - LOTOS specification style for OSI

    AU - Turner, Ken J.

    AU - van Sinderen, Marten

    PY - 1995

    Y1 - 1995

    N2 - 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.

    AB - 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.

    KW - SCS-Services

    KW - Service provider

    KW - Service user

    KW - Service design

    KW - Local constraint

    KW - Lower association

    U2 - 10.1007/978-1-4615-2203-4_7

    DO - 10.1007/978-1-4615-2203-4_7

    M3 - Chapter

    SN - 978-1-4613-5924-1

    SP - 137

    EP - 159

    BT - LOTOSphere

    A2 - Bolognesi, Tommaso

    A2 - van de Lagemaat, Jeroen

    A2 - Vissers, Chris

    PB - Kluwer Academic Publishers

    CY - Dordrecht

    ER -

    Turner KJ, van Sinderen M. LOTOS specification style for OSI. In Bolognesi T, van de Lagemaat J, Vissers C, editors, LOTOSphere: software development with LOTOS. Dordrecht: Kluwer Academic Publishers. 1995. p. 137-159 https://doi.org/10.1007/978-1-4615-2203-4_7