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
    Event5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002 - Santa Barbara, CA, USA
    Duration: 6 Oct 20029 Oct 2002

    Publication series

    Name
    PublisherSpringer

    Conference

    Conference5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002
    Period6/10/029/10/02
    OtherOctober 6-9, 2002

    Keywords

    • IR-102351
    • METIS-209852

    Cite this