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

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

Research output: Contribution to journalArticleScientificpeer-review

Abstract

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 languageEnglish
Pages (from-to)28-33
Number of pages6
JournalPerformance Evaluation Review
Volume32
Issue number4
DOIs
Publication statusPublished - Mar 2005
Externally publishedYes

Fingerprint

Quality of service
Random processes

Keywords

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

Cite this

@article{37a8614ab9fc453a96147c972643483d,
title = "QoS modelling and analysis with UML-statecharts: the StoCharts approach",
abstract = "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.",
keywords = "EWI-3759, IR-54798, METIS-229287",
author = "D.N. Jansen and H. Hermanns and Haverkort, {Boudewijn R.H.M.} and Katoen, {Joost P.}",
note = "eemcs1298",
year = "2005",
month = "3",
doi = "10.1145/1059816.1059822",
language = "English",
volume = "32",
pages = "28--33",
journal = "Performance Evaluation Review",
issn = "0163-5999",
publisher = "Association for Computing Machinery (ACM)",
number = "4",

}

QoS modelling and analysis with UML-statecharts: the StoCharts approach. / Jansen, D.N.; Hermanns, H.; Haverkort, Boudewijn R.H.M. (Editor); Katoen, Joost P.

In: Performance Evaluation Review, Vol. 32, No. 4, 03.2005, p. 28-33.

Research output: Contribution to journalArticleScientificpeer-review

TY - JOUR

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

AU - Jansen, D.N.

AU - Hermanns, H.

AU - Katoen, Joost P.

A2 - Haverkort, Boudewijn R.H.M.

N1 - eemcs1298

PY - 2005/3

Y1 - 2005/3

N2 - 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.

AB - 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.

KW - EWI-3759

KW - IR-54798

KW - METIS-229287

U2 - 10.1145/1059816.1059822

DO - 10.1145/1059816.1059822

M3 - Article

VL - 32

SP - 28

EP - 33

JO - Performance Evaluation Review

JF - Performance Evaluation Review

SN - 0163-5999

IS - 4

ER -