A QoS-oriented extension of UML statecharts


Share/Save/Bookmark

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
191kB
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
Faculty:
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
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 217629