Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
Jansen, D.N. and Hermanns, H. and Katoen, J.P.
(2003)
A QoS-oriented extension of UML statecharts.
In: «UML» 2003: the unified modeling language, 20-24 Oct 2003, San Francisco, Calif., USA.
pp. 76-91.
Lecture Notes in Computer Science 2863.
Springer-Verlag.
ISBN 3-540-20243-9
Full text available as:
Official URL: http://dx.doi.org/10.1007/978-3-540-45221-8_7  AbstractPerformance, 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.
Export this item as: To correct this item please ask your editor Repository Staff Only: edit this item |
|
|
||||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||||
