Formal Modeling of Service Session Management

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

doi:10.1007/3-540-45812-3_4

Formal Modeling of Service Session Management

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Downloads (Pure)

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 language	Undefined
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
Publisher	Springer
Pages	36-48
ISBN (Print)	3-540-44271-5
DOIs	https://doi.org/10.1007/3-540-45812-3_4
Publication status	Published - 2002
Event	5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002 - Santa Barbara, CA, USA Duration: 6 Oct 2002 → 9 Oct 2002

Publication series

Name
Publisher	Springer

Conference

Conference	5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002
Period	6/10/02 → 9/10/02
Other	October 6-9, 2002

Keywords

IR-102351
METIS-209852

Access to Document

10.1007/3-540-45812-3_4

http://dx.doi.org/10.1007/3-540-45812-3_4

Cite this

@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",

address = "Germany",

note = "5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002 ; Conference date: 06-10-2002 Through 09-10-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, 5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002, 6/10/02. 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 proceeding › Conference contribution › Academic › peer-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

T2 - 5th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2002

Y2 - 6 October 2002 through 9 October 2002

ER -