EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


3759 QoS modelling and analysis with UML-statecharts: the StoCharts approach
Home Policy Brochure Browse Search User Area Contact Help

Jansen, D.N. and Hermanns, H. (2005) QoS modelling and analysis with UML-statecharts: the StoCharts approach. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 28-33. ISSN 0163-5999

This is the latest version of this eprint.

Full text available as:

PDF
- Repository staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1342 Kb

Official URL: http://doi.acm.org/10.1145/1059816.1059822

Exported to Metis

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.

Item Type:Article
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-UBRICKS: Building Blocks for Ubiquitous Computing and Communication
Research Project:Voss-2: Validation of Stochastic Systems II
ID Code:3759
Status:Published
Deposited On:29 July 2006
Refereed:Yes
International:Yes
More Information:statisticsmetis

Available Versions of this Item

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item