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