TP Protocol from Specification to Implementation

Ing Widya, Gert-Jan van der Heijden, François Juillot

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Abstract

    This chapter reports the design activity undertaken by the task-group that specifies and implements’ the TP specific components of OSI-TP. The design trajectory does not include the realization of the protocol, though some realization aspects are considered during the design process to enable a tailored implementation strategy. Only a subset of the TP-protocol functionality will be considered; only a profile of OSI-TP is selected as design example. These restrictions allo to focus on the main design issues instead of being entangled in complicated but irrelevant design details.
    Original languageEnglish
    Title of host publicationLOTOSphere Software Development with LOTOS
    EditorsTommaso Bolognesi, Jeroen van de Lagemaat, Chris Vissers
    Place of PublicationDordrecht
    PublisherKluwer Academic Publishers
    Pages333-348
    ISBN (Electronic)978-1-4615-2203-4
    ISBN (Print)978-1-4613-5924-1
    DOIs
    Publication statusPublished - 1995

    Fingerprint

    Specifications
    Trajectories

    Keywords

    • Implementation phase
    • Realization phase
    • Service element
    • Extended finite state machine
    • Realization aspect

    Cite this

    Widya, I., van der Heijden, G-J., & Juillot, F. (1995). TP Protocol from Specification to Implementation. In T. Bolognesi, J. van de Lagemaat, & C. Vissers (Eds.), LOTOSphere Software Development with LOTOS (pp. 333-348). Dordrecht: Kluwer Academic Publishers. https://doi.org/10.1007/978-1-4615-2203-4_17
    Widya, Ing ; van der Heijden, Gert-Jan ; Juillot, François. / TP Protocol from Specification to Implementation. LOTOSphere Software Development with LOTOS. editor / Tommaso Bolognesi ; Jeroen van de Lagemaat ; Chris Vissers. Dordrecht : Kluwer Academic Publishers, 1995. pp. 333-348
    @inbook{c3be8d4c9e244c1d9dc87c6033afd068,
    title = "TP Protocol from Specification to Implementation",
    abstract = "This chapter reports the design activity undertaken by the task-group that specifies and implements’ the TP specific components of OSI-TP. The design trajectory does not include the realization of the protocol, though some realization aspects are considered during the design process to enable a tailored implementation strategy. Only a subset of the TP-protocol functionality will be considered; only a profile of OSI-TP is selected as design example. These restrictions allo to focus on the main design issues instead of being entangled in complicated but irrelevant design details.",
    keywords = "Implementation phase, Realization phase, Service element, Extended finite state machine, Realization aspect",
    author = "Ing Widya and {van der Heijden}, Gert-Jan and Fran{\cc}ois Juillot",
    year = "1995",
    doi = "10.1007/978-1-4615-2203-4_17",
    language = "English",
    isbn = "978-1-4613-5924-1",
    pages = "333--348",
    editor = "Tommaso Bolognesi and {van de Lagemaat}, Jeroen and Chris Vissers",
    booktitle = "LOTOSphere Software Development with LOTOS",
    publisher = "Kluwer Academic Publishers",
    address = "Netherlands",

    }

    Widya, I, van der Heijden, G-J & Juillot, F 1995, TP Protocol from Specification to Implementation. in T Bolognesi, J van de Lagemaat & C Vissers (eds), LOTOSphere Software Development with LOTOS. Kluwer Academic Publishers, Dordrecht, pp. 333-348. https://doi.org/10.1007/978-1-4615-2203-4_17

    TP Protocol from Specification to Implementation. / Widya, Ing; van der Heijden, Gert-Jan; Juillot, François.

    LOTOSphere Software Development with LOTOS. ed. / Tommaso Bolognesi; Jeroen van de Lagemaat; Chris Vissers. Dordrecht : Kluwer Academic Publishers, 1995. p. 333-348.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    TY - CHAP

    T1 - TP Protocol from Specification to Implementation

    AU - Widya, Ing

    AU - van der Heijden, Gert-Jan

    AU - Juillot, François

    PY - 1995

    Y1 - 1995

    N2 - This chapter reports the design activity undertaken by the task-group that specifies and implements’ the TP specific components of OSI-TP. The design trajectory does not include the realization of the protocol, though some realization aspects are considered during the design process to enable a tailored implementation strategy. Only a subset of the TP-protocol functionality will be considered; only a profile of OSI-TP is selected as design example. These restrictions allo to focus on the main design issues instead of being entangled in complicated but irrelevant design details.

    AB - This chapter reports the design activity undertaken by the task-group that specifies and implements’ the TP specific components of OSI-TP. The design trajectory does not include the realization of the protocol, though some realization aspects are considered during the design process to enable a tailored implementation strategy. Only a subset of the TP-protocol functionality will be considered; only a profile of OSI-TP is selected as design example. These restrictions allo to focus on the main design issues instead of being entangled in complicated but irrelevant design details.

    KW - Implementation phase

    KW - Realization phase

    KW - Service element

    KW - Extended finite state machine

    KW - Realization aspect

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

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

    M3 - Chapter

    SN - 978-1-4613-5924-1

    SP - 333

    EP - 348

    BT - LOTOSphere Software Development with LOTOS

    A2 - Bolognesi, Tommaso

    A2 - van de Lagemaat, Jeroen

    A2 - Vissers, Chris

    PB - Kluwer Academic Publishers

    CY - Dordrecht

    ER -

    Widya I, van der Heijden G-J, Juillot F. TP Protocol from Specification to Implementation. In Bolognesi T, van de Lagemaat J, Vissers C, editors, LOTOSphere Software Development with LOTOS. Dordrecht: Kluwer Academic Publishers. 1995. p. 333-348 https://doi.org/10.1007/978-1-4615-2203-4_17