%0 Book Section %1 jansen_03_qosoriented %A Jansen, David N. %A Hermanns, Holger %A Katoen, Joost P. %D 2003 %J ^a€oeUML"i¿½? 2003 - The Unified Modeling Language %K statecharts 2003 quality uml %P 76--91 %T A QoS-Oriented Extension of UML Statecharts %U http://www.springerlink.com/content/l1gny2dlfg8gjyx5 %X 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 ^a€oeafter"i¿½? 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.

@incollection{jansen_03_qosoriented, 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 ^{a}€{oe}after"{i}¿½? 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.}, added-at = {2009-02-12T11:31:36.000+0100}, author = {Jansen, David N. and Hermanns, Holger and Katoen, Joost P.}, biburl = {https://www.bibsonomy.org/bibtex/2e72efd8abd859c911b7db4c4509bc3b4/leonardo}, citeulike-article-id = {2942458}, interhash = {273f1a7b2220ab52e524488a20f6a8f2}, intrahash = {e72efd8abd859c911b7db4c4509bc3b4}, journal = {^{a}€{oe}UML"{i}¿½? 2003 - The Unified Modeling Language}, keywords = {statecharts 2003 quality uml}, pages = {76--91}, posted-at = {2008-06-30 01:52:01}, priority = {2}, timestamp = {2009-02-12T11:31:36.000+0100}, title = {A QoS-Oriented Extension of UML Statecharts}, url = {http://www.springerlink.com/content/l1gny2dlfg8gjyx5}, year = 2003 }