Formal Modeling of Service Session Management

V.M. Le, Bernhard J.F. van Beijnum, Leo de Goede

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Abstract

    This paper proposes a concept to apply modeling tools to Multi-Provider Telematics Service Management. The service architecture is based on the framework called “Open Service Components” which serves as building blocks to compose end-to-end telematics services in terms of service components offered by different service providers. Our work presented in this paper contributes to the abstract way of modeling end-to-end Service Management using Architectural Description Language and an underlying Formal Description Language.
    Original languageUndefined
    Title of host publicationFormal Modeling of Service Session Management: 5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002
    EditorsKevin C. Almeroth, Masum Hasan
    Place of PublicationBerlin, Germany
    PublisherSpringer
    Pages36-48
    ISBN (Print)3-540-44271-5
    DOIs
    Publication statusPublished - 2002

    Publication series

    Name
    PublisherSpringer

    Keywords

    • IR-102351
    • METIS-209852

    Cite this

    Le, V. M., van Beijnum, B. J. F., & de Goede, L. (2002). Formal Modeling of Service Session Management. In K. C. Almeroth, & M. Hasan (Eds.), Formal Modeling of Service Session Management: 5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002 (pp. 36-48). Berlin, Germany: Springer. https://doi.org/10.1007/3-540-45812-3_4
    Le, V.M. ; van Beijnum, Bernhard J.F. ; de Goede, Leo. / Formal Modeling of Service Session Management. Formal Modeling of Service Session Management: 5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002. editor / Kevin C. Almeroth ; Masum Hasan. Berlin, Germany : Springer, 2002. pp. 36-48
    @inproceedings{d317ea326eef4820830799b47dd83e31,
    title = "Formal Modeling of Service Session Management",
    abstract = "This paper proposes a concept to apply modeling tools to Multi-Provider Telematics Service Management. The service architecture is based on the framework called “Open Service Components” which serves as building blocks to compose end-to-end telematics services in terms of service components offered by different service providers. Our work presented in this paper contributes to the abstract way of modeling end-to-end Service Management using Architectural Description Language and an underlying Formal Description Language.",
    keywords = "IR-102351, METIS-209852",
    author = "V.M. Le and {van Beijnum}, {Bernhard J.F.} and {de Goede}, Leo",
    year = "2002",
    doi = "10.1007/3-540-45812-3_4",
    language = "Undefined",
    isbn = "3-540-44271-5",
    publisher = "Springer",
    pages = "36--48",
    editor = "Almeroth, {Kevin C.} and Masum Hasan",
    booktitle = "Formal Modeling of Service Session Management: 5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002",

    }

    Le, VM, van Beijnum, BJF & de Goede, L 2002, Formal Modeling of Service Session Management. in KC Almeroth & M Hasan (eds), Formal Modeling of Service Session Management: 5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002. Springer, Berlin, Germany, pp. 36-48. https://doi.org/10.1007/3-540-45812-3_4

    Formal Modeling of Service Session Management. / Le, V.M.; van Beijnum, Bernhard J.F.; de Goede, Leo.

    Formal Modeling of Service Session Management: 5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002. ed. / Kevin C. Almeroth; Masum Hasan. Berlin, Germany : Springer, 2002. p. 36-48.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - Formal Modeling of Service Session Management

    AU - Le, V.M.

    AU - van Beijnum, Bernhard J.F.

    AU - de Goede, Leo

    PY - 2002

    Y1 - 2002

    N2 - This paper proposes a concept to apply modeling tools to Multi-Provider Telematics Service Management. The service architecture is based on the framework called “Open Service Components” which serves as building blocks to compose end-to-end telematics services in terms of service components offered by different service providers. Our work presented in this paper contributes to the abstract way of modeling end-to-end Service Management using Architectural Description Language and an underlying Formal Description Language.

    AB - This paper proposes a concept to apply modeling tools to Multi-Provider Telematics Service Management. The service architecture is based on the framework called “Open Service Components” which serves as building blocks to compose end-to-end telematics services in terms of service components offered by different service providers. Our work presented in this paper contributes to the abstract way of modeling end-to-end Service Management using Architectural Description Language and an underlying Formal Description Language.

    KW - IR-102351

    KW - METIS-209852

    U2 - 10.1007/3-540-45812-3_4

    DO - 10.1007/3-540-45812-3_4

    M3 - Conference contribution

    SN - 3-540-44271-5

    SP - 36

    EP - 48

    BT - Formal Modeling of Service Session Management: 5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002

    A2 - Almeroth, Kevin C.

    A2 - Hasan, Masum

    PB - Springer

    CY - Berlin, Germany

    ER -

    Le VM, van Beijnum BJF, de Goede L. Formal Modeling of Service Session Management. In Almeroth KC, Hasan M, editors, Formal Modeling of Service Session Management: 5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002. Berlin, Germany: Springer. 2002. p. 36-48 https://doi.org/10.1007/3-540-45812-3_4