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