A QoS-oriented extension of UML statecharts

D.N. Jansen, H. Hermanns, Joost P. Katoen

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

21 Citations (Scopus)

Abstract

Performance, dependability and quality of service (QoS) are prime aspects of the UML modeling domain. To capture these aspects effectively in a modeling language requires easy-to-use support for the specification and analysis of randomly varying behaviors. This paper introduces an extension of UML statecharts with randomly varying durations, by enriching a specific syntactic construct: The after operator is equipped with (discrete or continuous) probability distributions, determining the duration of the delay caused by this operator. The semantics of this extension is given in terms of a variant of stochastic automata. It is shown how existing model-checking tools can be used to calculate model-inherent QoS characteristics automatically. We study a UML model of an automatic teller machine scenario using this approach.
Original languageUndefined
Title of host publication«UML» 2003: the unified modeling language
EditorsPerdita Stevens, Jon Whittle, Grady Booch
Place of PublicationBerlin, Germany
PublisherSpringer
Pages76-91
Number of pages16
ISBN (Print)3-540-20243-9
DOIs
Publication statusPublished - 2003

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag
NumberXIV
Volume2863
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • EWI-1301
  • IR-47301
  • METIS-217629

Cite this

Jansen, D. N., Hermanns, H., & Katoen, J. P. (2003). A QoS-oriented extension of UML statecharts. In P. Stevens, J. Whittle, & G. Booch (Eds.), «UML» 2003: the unified modeling language (pp. 76-91). (Lecture Notes in Computer Science; Vol. 2863, No. XIV). Berlin, Germany: Springer. https://doi.org/10.1007/978-3-540-45221-8_7
Jansen, D.N. ; Hermanns, H. ; Katoen, Joost P. / A QoS-oriented extension of UML statecharts. «UML» 2003: the unified modeling language. editor / Perdita Stevens ; Jon Whittle ; Grady Booch. Berlin, Germany : Springer, 2003. pp. 76-91 (Lecture Notes in Computer Science; XIV).
@inproceedings{58227e2c6eec4044b7aef6ab1d9740d4,
title = "A QoS-oriented extension of UML statecharts",
abstract = "Performance, dependability and quality of service (QoS) are prime aspects of the UML modeling domain. To capture these aspects effectively in a modeling language requires easy-to-use support for the specification and analysis of randomly varying behaviors. This paper introduces an extension of UML statecharts with randomly varying durations, by enriching a specific syntactic construct: The after operator is equipped with (discrete or continuous) probability distributions, determining the duration of the delay caused by this operator. The semantics of this extension is given in terms of a variant of stochastic automata. It is shown how existing model-checking tools can be used to calculate model-inherent QoS characteristics automatically. We study a UML model of an automatic teller machine scenario using this approach.",
keywords = "EWI-1301, IR-47301, METIS-217629",
author = "D.N. Jansen and H. Hermanns and Katoen, {Joost P.}",
year = "2003",
doi = "10.1007/978-3-540-45221-8_7",
language = "Undefined",
isbn = "3-540-20243-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
number = "XIV",
pages = "76--91",
editor = "Perdita Stevens and Jon Whittle and Grady Booch",
booktitle = "«UML» 2003: the unified modeling language",

}

Jansen, DN, Hermanns, H & Katoen, JP 2003, A QoS-oriented extension of UML statecharts. in P Stevens, J Whittle & G Booch (eds), «UML» 2003: the unified modeling language. Lecture Notes in Computer Science, no. XIV, vol. 2863, Springer, Berlin, Germany, pp. 76-91. https://doi.org/10.1007/978-3-540-45221-8_7

A QoS-oriented extension of UML statecharts. / Jansen, D.N.; Hermanns, H.; Katoen, Joost P.

«UML» 2003: the unified modeling language. ed. / Perdita Stevens; Jon Whittle; Grady Booch. Berlin, Germany : Springer, 2003. p. 76-91 (Lecture Notes in Computer Science; Vol. 2863, No. XIV).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - A QoS-oriented extension of UML statecharts

AU - Jansen, D.N.

AU - Hermanns, H.

AU - Katoen, Joost P.

PY - 2003

Y1 - 2003

N2 - Performance, dependability and quality of service (QoS) are prime aspects of the UML modeling domain. To capture these aspects effectively in a modeling language requires easy-to-use support for the specification and analysis of randomly varying behaviors. This paper introduces an extension of UML statecharts with randomly varying durations, by enriching a specific syntactic construct: The after operator is equipped with (discrete or continuous) probability distributions, determining the duration of the delay caused by this operator. The semantics of this extension is given in terms of a variant of stochastic automata. It is shown how existing model-checking tools can be used to calculate model-inherent QoS characteristics automatically. We study a UML model of an automatic teller machine scenario using this approach.

AB - Performance, dependability and quality of service (QoS) are prime aspects of the UML modeling domain. To capture these aspects effectively in a modeling language requires easy-to-use support for the specification and analysis of randomly varying behaviors. This paper introduces an extension of UML statecharts with randomly varying durations, by enriching a specific syntactic construct: The after operator is equipped with (discrete or continuous) probability distributions, determining the duration of the delay caused by this operator. The semantics of this extension is given in terms of a variant of stochastic automata. It is shown how existing model-checking tools can be used to calculate model-inherent QoS characteristics automatically. We study a UML model of an automatic teller machine scenario using this approach.

KW - EWI-1301

KW - IR-47301

KW - METIS-217629

U2 - 10.1007/978-3-540-45221-8_7

DO - 10.1007/978-3-540-45221-8_7

M3 - Conference contribution

SN - 3-540-20243-9

T3 - Lecture Notes in Computer Science

SP - 76

EP - 91

BT - «UML» 2003: the unified modeling language

A2 - Stevens, Perdita

A2 - Whittle, Jon

A2 - Booch, Grady

PB - Springer

CY - Berlin, Germany

ER -

Jansen DN, Hermanns H, Katoen JP. A QoS-oriented extension of UML statecharts. In Stevens P, Whittle J, Booch G, editors, «UML» 2003: the unified modeling language. Berlin, Germany: Springer. 2003. p. 76-91. (Lecture Notes in Computer Science; XIV). https://doi.org/10.1007/978-3-540-45221-8_7