A QoS-oriented extension of UML statecharts


Jansen, David N. and Hermanns, Holger and Katoen, Joost-Pieter (2003) A QoS-oriented extension of UML statecharts. In: 6th International Conference on the Unified Modeling Language, UML 2003, October 20-24, 2003, San Francisco, CA, USA (pp. pp. 76-91).

[img] PDF
Restricted to UT campus only
: Request a copy
Abstract: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.
Item Type:Conference or Workshop Item
Copyright:© 2003 Springer
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/47301
Official URL:http://dx.doi.org/10.1007/978-3-540-45221-8_7
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 217629