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

D.N. Jansen; Boudewijn R.H.M. Haverkort; H. Hermanns; Joost P. Katoen

doi:10.1145/1059816.1059822

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 journal › Article › Academic › peer-review

179 Downloads (Pure)

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 language	Undefined
Pages (from-to)	28-33
Number of pages	6
Journal	SIGMETRICS performance evaluation review
Volume	32
Issue number	4
DOIs	https://doi.org/10.1145/1059816.1059822
Publication status	Published - Mar 2005

Keywords

EWI-3759
IR-54798
METIS-229287

Access to Document

10.1145/1059816.1059822

p28-jansen

Cite this

@article{45afc65e9e3e4eda9716a8e981bef876,

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 Haverkort, {Boudewijn R.H.M.} and H. Hermanns and Katoen, {Joost P.}",

note = "eemcs1298 ",

year = "2005",

month = mar,

doi = "10.1145/1059816.1059822",

language = "Undefined",

volume = "32",

pages = "28--33",

journal = "SIGMETRICS performance evaluation review",

issn = "0163-5999",

publisher = "Association for Computing Machinery",

number = "4",

}

TY - JOUR

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

AU - Jansen, D.N.

AU - Hermanns, H.

A2 - Haverkort, Boudewijn R.H.M.

A2 - Katoen, Joost P.

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

SN - 0163-5999

VL - 32

SP - 28

EP - 33

JO - SIGMETRICS performance evaluation review

JF - SIGMETRICS performance evaluation review

IS - 4

ER -