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

    23 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