QoS modelling and analysis with UML-statecharts: the StoCharts approach

D.N. Jansen, Boudewijn R.H.M. Haverkort (Editor), H. Hermanns, Joost P. Katoen (Editor)

    Research output: Contribution to journalArticleAcademicpeer-review

    141 Downloads (Pure)


    The UML is an influential and widespread notation for high-level modelling of information processing systems. UML statechart diagrams are a graphical language to describe system behaviour. They consitute one of the most intensively-used formalisms comprised by the UML. However, statechart diagrams are lacking concepts for describing real-time, performance, dependability and quality of service (QoS) characteristics at a behavioural level.This note describes a QoS-oriented extension of UML statechart diagrams, called StoCharts. StoCharts enhance the basic statechart formalism with two distinguished features, both simple and easy to understand, yet powerful enough to model a sufficiently rich class of stochastic processes. This is illustrated by a selection of case studies performed using StoCharts. We review the main ingredients of StoCharts and survey tool support and case studies performed with the language, and place StoCharts in the context of other extensions of statechart diagrams.
    Original languageUndefined
    Pages (from-to)28-33
    Number of pages6
    JournalSIGMETRICS performance evaluation review
    Issue number4
    Publication statusPublished - Mar 2005


    • EWI-3759
    • IR-54798
    • METIS-229287

    Cite this