article

QoS modelling and analysis with UML-statecharts: the StoCharts approach

Authors:

David N. Jansen,

Holger HermannsAuthors Info & Claims

ACM SIGMETRICS Performance Evaluation Review, Volume 32, Issue 4

Pages 28 - 33

https://doi.org/10.1145/1059816.1059822

Published: 01 March 2005 Publication History

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.

References

[1]

M. Ajmone Marsan, G. Conte, and G. Balbo. A class of generalised stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. on Comp. Sys., 2(2):93--122, 1984.]]

Digital Library

[2]

R. Alur and D. Dill. A theory of timed automata. Theor. Comp. Sci., 126:183--235, 1994.]]

Digital Library

[3]

C. Baier, B. R. Haverkort, H. Hermanns, and J.-P. Katoen. Model-checking algorithms for continuous-time Markov chains. IEEE Trans. on Softw. Eng., 29(6):524--541, 2003.]]

Digital Library

[4]

C. Baier, B. R. Haverkort, H. Hermanns, and J.-P. Katoen. Model checking meets performance evaluation. In this volume.]]

Digital Library

[5]

S. Balsamo and M. Simeoni. On transforming UML models into performance models. In Workshop on Transformations in UML 2001, 6 p., http://ase.arc.nasa.gov/wtuml01/.]]

[6]

S. Bernardi, S. Donatelli, and J. Merseguer. From UML sequence diagrams and statecharts to analysable Petri net models. In Proc. 3rd Intl. Workshop on Software and Performance, 35--45, New York, 2002. ACM Press.]]

Digital Library

[7]

H. Bohnenkamp, H. Hermanns, J.-P. Katoen, and R. Klaren. The MoDeST modeling tool and its implementation. LNCS 2794:116--133.]]

[8]

H. Bohnenkamp, H. Hermanns, J. Klaren, A. Mader, and Y. S. Usenko. Synthesis and stochastic assessment of schedules for lacquer production. In QEST 2004, 28--37. IEEE CS Press, 2004.]]

Digital Library

[9]

C. Cavenet, S. Gilmore, J. Hillston, and P. Stevens. Performance modelling with UML and stochastic process algebra. In UKPEW 2002, 12 p., 2002.]]

[10]

C. Constantinescu. Impact of deep submicron technology on dependability of VLSI circuits. In DSN 2002, 205--209. IEEE CS Press, 2002.]]

Digital Library

[11]

P. R. D'Argenio. Algebras and automata for timed and stochastic systems. PhD thesis, Universiteit Twente, Enschede, November 1999.]]

[12]

P. R. D'Argenio, H. Hermanns, J.-P. Katoen, and R. Klaren. MoDeST: a modelling and description language for stochastic timed systems. LNCS 2165:87--104.]]

Digital Library

[13]

D. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. G. Webster. The Möbius framework and its implementation. IEEE Trans. on Softw. Eng., 28:956--969, 2002.]]

Digital Library

[14]

F. Dehne, H. van de Zandschulp, and R. Wieringa. Toolkit for conceptual modeling (TCM). http://www.cs.utwente.nl/~tcm/.]]

[15]

R. Eshuis and R. Wieringa. Requirements-level semantics for UML statecharts. In FMOODS IV, 121--140, Boston, 2000. Kluwer Academic Publishers.]]

Digital Library

[16]

S. Gnesi, D. Latella, and M. Massink. A stochastic extension of a behavioural subset of UML statechart diagrams. In HASE 2000, 55--64. IEEE CS Press, 2000.]]

[17]

N. Götz, U. Herzog, and M. Rettelbach. Multiprocessor and distributed system design: the integration of functional specification and performance analysis using stochastic process algebras. LNCS 729:121--146.]]

Digital Library

[18]

D. Harel. Statecharts: a visual formalism for complex systems. Sci. of Comp. Prog., 8(3):231--274, 1987.]]

Digital Library

[19]

D. Harel and A. Naamad. The STATEMATE semantics of statecharts. ACM Trans. on Softw. Eng. and Meth., 5(4):293--333, 1996.]]

Digital Library

[20]

H. Hermanns, J.-P. Katoen, J. Meyer-Kayser, and M. Siegle. A tool for model-checking Markov chains. Intl. Journal on Softw. Tools for Techn. Transfer, 4(2):153--172, 2003.]]

[21]

J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge, 1996.]]

Digital Library

[22]

G. Huszerl, I. Majzik, A. Pataricza, K. Kosmidis, and M. Dal Cin. Quantitative analysis of UML statechart models of dependable systems. The Computer Journal, 45(3):260--277, 2002.]]

[23]

D. N. Jansen. Probabilistic UML statecharts for specification and verification : a case study. In CSDUML 2002, Technical Report TUM-I0208, 121--131, TU Munich, 2002.]]

[24]

D. N. Jansen. Extensions of statecharts with probability, time, and stochastic timing. PhD thesis, Universiteit Twente, Inmarks, Bern, October 2003.]]

[25]

D. N. Jansen, H. Hermanns, and J.-P. Katoen. A probabilistic extension of UML statecharts : specification and verification. LNCS 2469:355--374.]]

Digital Library

[26]

D. N. Jansen, H. Hermanns, and J.-P. Katoen. A QoS-oriented extension of UML statecharts. LNCS 2863:76--91.]]

[27]

D. N. Jansen and H. Hermanns. Dependability checking of train radio signalling using UML statecharts. In QEST 2004, 250--259. IEEE CS Press, 2004.]]

Digital Library

[28]

P. King and R. Pooley. Derivation of Petri net performance models from UML specifications of communications software. LNCS 1786:262--276.]]

Digital Library

[29]

D. Latella, I. Majzik, and M. Massink. Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Formal Aspects of Computing, 11(6):637--664, 1999.]]

[30]

C. Lindemann, A. Thümmler, A. Klemm, M. Lohmann, and O. P. Waldhorst. Performance analysis of time-enhanced UML diagrams based on stochastic processes. In Proc. 3rd Intl. Workshop on Software and Performance, 25--34, New York, 2002. ACM Press.]]

Digital Library

[31]

N. A. Lynch and M. R. Tuttle. An introduction to input/output automata. CWI Quarterly, pages 219--246, 1989.]]

[32]

P. Mitton and R. Holton. PEPA performability modelling using UML statecharts. In UKPEW 2000, 15 p., 2000.]]

[33]

OMG unified modeling language specification, version 1.5. Object Management Group, Needham, MA, 2003.]]

[34]

M. L. Puterman. Markov Decision Processes : Discrete Stochastic Dynamic Programming. Wiley, New York, 1994.]]

Digital Library

[35]

G. Reggio and R. J. Wieringa. Thirty one problems in the semantics of UML 1.3 dynamics. In OOPSLA 99 Workshop on Rigorous Modeling and Analysis with the UML, 1999.]]

[36]

J. Rumbaugh, I. Jacobson, and G. Booch. The unified modeling language reference manual. Addison Wesley, Reading (Mass.), 1998.]]

Digital Library

[37]

R. Segala and N. Lynch. Probabilistic simulations for probabilistic processes. Nordic Journal of Computing, 2(2):250--273, 1995.]]

Digital Library

[38]

G. S. Shedler. Regenerative stochastic simulation. Academic Press, Boston, MA, 1993.]]

[39]

W. J. Stewart. Introduction to the numerical solution of Markov chains. Princeton University Press, Princeton, NJ, 1994.]]

[40]

M. Stoelinga and F. Vaandrager. Root contention in IEEE 1394. LNCS 1601:53--74.]]

Digital Library

[41]

D. Tennenhouse. Proactive computing. Comm. of the ACM, 43(5):43--50, 2000.]]

Digital Library

[42]

UML profile for modeling quality of service and fault tolerance characteristics and mechanisms. Object Management Group, Inc., Needham, MA, September 2004. http://www.omg.org/cgi-bin/doc?ptc/2004-09-01.]]

[43]

UML Profile for Schedulability, Performance, and Time Specification: OMG Adopted Specification. Object Management Group, Inc., Needham, MA, November 2002. http://www.omg.org/cgi-bin/doc?ptc/2002-03-02.]]

[44]

H. L. S. Younes and R. G. Simmons. Probabilistic verification of discrete event systems using acceptance sampling. LNCS 2404: 223--235.]]

Digital Library

Cited By

Woodside MPetriu DMerseguer JPetriu DAlhaj M(2014)Transformation challengesSoftware and Systems Modeling (SoSyM)10.1007/s10270-013-0385-x13:4(1529-1552)Online publication date: 1-Oct-2014
https://dl.acm.org/doi/10.1007/s10270-013-0385-x
Innab NKayed ASajeev A(2012)An ontology for software requirements modelling2012 IEEE International Conference on Information Science and Technology10.1109/ICIST.2012.6221694(485-490)Online publication date: Mar-2012
https://doi.org/10.1109/ICIST.2012.6221694
Besova GWehrheim HWagner A(2011)Reputation-based Reliability Prediction of Service CompositionsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2011.11.008279:2(3-16)Online publication date: 1-Dec-2011
https://dl.acm.org/doi/10.1016/j.entcs.2011.11.008
Show More Cited By

Index Terms

QoS modelling and analysis with UML-statecharts: the StoCharts approach

Recommendations

Model Checking UML Statecharts
APSEC '01: Proceedings of the Eighth Asia-Pacific on Software Engineering Conference

Unified Modeling Language (UML)has been widelyused in software development.Verifying if an UML modelmeets the required properties has become a key issue.Model checking is an important technology of automaticformal verification to ensure the correctness ...
Explicit modeling of semantics associated with composite states in UML statecharts

UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UML statecharts. The approach focuses on the specific task of generating ...
Unified Modeling Language (UML): A Critical Evaluation and Suggested Future
HICSS '01: Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 3 - Volume 3

The Unified Modeling Language (UML) represents a significant milestone in the evolution of software methods, since it provides the first industry standard object oriented modeling notation, supported by a fairly comprehensive meta-model. It has enjoyed ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGMETRICS Performance Evaluation Review

ACM SIGMETRICS Performance Evaluation Review Volume 32, Issue 4

March 2005

45 pages

ISSN:0163-5999

DOI:10.1145/1059816

Issue’s Table of Contents

Copyright © 2005 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 2005

Published in SIGMETRICS Volume 32, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
464
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 25 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Woodside MPetriu DMerseguer JPetriu DAlhaj M(2014)Transformation challengesSoftware and Systems Modeling (SoSyM)10.1007/s10270-013-0385-x13:4(1529-1552)Online publication date: 1-Oct-2014
https://dl.acm.org/doi/10.1007/s10270-013-0385-x
Innab NKayed ASajeev A(2012)An ontology for software requirements modelling2012 IEEE International Conference on Information Science and Technology10.1109/ICIST.2012.6221694(485-490)Online publication date: Mar-2012
https://doi.org/10.1109/ICIST.2012.6221694
Besova GWehrheim HWagner A(2011)Reputation-based Reliability Prediction of Service CompositionsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2011.11.008279:2(3-16)Online publication date: 1-Dec-2011
https://dl.acm.org/doi/10.1016/j.entcs.2011.11.008
Lund MRefsdal AStølen K(2010)4 Semantics of UML Models for Dynamic BehaviorModel-Based Engineering of Embedded Real-Time Systems10.1007/978-3-642-16277-0_4(77-103)Online publication date: 2010
https://doi.org/10.1007/978-3-642-16277-0_4
Berardinelli LCortellessa VDi Marco A(2010)Performance modeling and analysis of context-aware mobile software systemsProceedings of the 13th international conference on Fundamental Approaches to Software Engineering10.1007/978-3-642-12029-9_25(353-367)Online publication date: 20-Mar-2010
https://dl.acm.org/doi/10.1007/978-3-642-12029-9_25
Mustafiz SSun XKienzle JVangheluwe H(2008)Model-driven assessment of system dependabilitySoftware & Systems Modeling10.1007/s10270-008-0084-17:4(487-502)Online publication date: 5-Mar-2008
https://doi.org/10.1007/s10270-008-0084-1
Lund MRefsdal AStølen K(2007)Semantics of UML models for dynamic behaviorProceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems10.5555/1927558.1927564(77-103)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.5555/1927558.1927564
Gilmore SHaenel VHillston JTenzer J(2006)A design environment for mobile applicationsProceedings of the 20th international conference on Parallel and distributed processing10.5555/1898699.1898865(326-326)Online publication date: 25-Apr-2006
https://dl.acm.org/doi/10.5555/1898699.1898865
Gilmore SHaenel VHillston JTenzer J(2006)A design environment for mobile applicationsProceedings 20th IEEE International Parallel & Distributed Processing Symposium10.1109/IPDPS.2006.1639637(10 pp.)Online publication date: 2006
https://doi.org/10.1109/IPDPS.2006.1639637
Mustafiz SSun XKienzle JVangheluwe H(2006)Model-Driven assessment of use cases for dependable systemsProceedings of the 9th international conference on Model Driven Engineering Languages and Systems10.1007/11880240_39(558-573)Online publication date: 1-Oct-2006
https://dl.acm.org/doi/10.1007/11880240_39

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents