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.
|Title of host publication||Formal Modeling of Service Session Management: 5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002|
|Editors||Kevin C. Almeroth, Masum Hasan|
|Place of Publication||Berlin, Germany|
|Publication status||Published - 2002|
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