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

    25 Citations (Scopus)


    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
    Number of pages16
    ISBN (Print)3-540-20243-9
    Publication statusPublished - 2003
    Event«UML» 2003: the unified modeling language - San Francisco, Calif., USA
    Duration: 20 Oct 200324 Oct 2003

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Conference«UML» 2003: the unified modeling language
    Other20-24 Oct 2003


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

    Cite this