Abstract
The popular model-driven development (MDD) methodology strongly promotes a model-based approach to modular system development, which often implies as an integral part automatic transformation of UML design components into executable forms. When using MDD for verifying performance-related system specifications, UML designs annotated with these specifications in some profile language need to be transformed to stochastic (Markovian) models or timed simulation models. However, most of the previous efforts have focused on transformations of (variants of) UML state machine models and/or transformations to stochastic Petri net models, which lead to two problems: Relying (solely) on state machine models often restricts design flexibility (designers instead prefer choosing diagrams on a case-by-case basis), and graph-oriented Petri net models complicate the modular transformations of UML models.
To resolve these problems, we propose stochastic performance analysis of a UML design defined in different sorts of diagrams, including not only state machines but also activity diagrams with temporal annotation in UML-SPT, which are transformed into stochastic process algebraic forms. To our knowledge, this is the first attempt to define stochastic process algebraic semantics for the UML AD with UML-SPT annotations. Unlike the related efforts, ours will facilitate verification in early development stages, in which consultants and architects can benefit from modeling in a natural manner and modular component-based development, thanks to the inherent compositionality of process algebra. Further, to guarantee the validity of the transformation, we have proved the equivalence of our semantics with the stochastic Petri net semantics of UML AD.
We have developed a prototype implementation of this performance analysis mechanism, and shown that realistic design examples, defined in different sorts of UML diagrams, can successfully be transformed into those that provide various performance metrics.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bernardi, S., et al.: From UML sequence diagrams and statecharts to analysable petri net models. In: Proc. 3rd Intl. Workshop on Software and Performance, pp. 35–45 (2002)
Bolton, C., Davies, J.: Activity graphs and processes. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol. 1945, p. 77. Springer, Heidelberg (2000)
Brinksma, E., Hermanns, H.: Process algebra and markov chains (2002)
Canevet, C., et al.: Performance modelling with UML and stochastic process algebras. In: Proc. UK Performance Engineering Workshop (July 2002)
Canevet, C., et al.: Analysing UML 2.0 activity diagrams in the software performance engineering process. In: Proc. 4th Intl. Workshop on Soft. and Perf., pp. 74–78 (2004)
Donatelli, S., Franceschinis, G.: The PSR methodology: Integrating hardware and software models. In: Billington, J., Reisig, W. (eds.) ICATPN 1996. LNCS, vol. 1091, pp. 133–152. Springer, Heidelberg (1996)
Eclipse.org. Eclipse.org homepage (2005), http://www.eclipse.org
Gilmore, S., et al.: PEPA nets: A structured performance modelling formalism. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, p. 111. Springer, Heidelberg (2002)
Götz, N., Herzog, U., Rettelbach, M.: TIPP-a language for timed processes and performance evaluation. Technical report, University of Frlangen-Nurnherg (1992)
Hillston, J.: A compositional approach to performance modelling (1996) CUP
Kartson, D., Balbo, G., Donatelli, S., Franceschinis, G., Conte, G.: Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, Inc., Chichester (1994)
López-Grao, J.P., et al.: From UML activity diagrams to stochastic petri nets: application to software performance engineering. SIGSOFT Softw. Eng. Notes 29(1) (2004)
OMG, UML Profile for Schedulability, Performance, and Time, v1.0 (September 2003)
OMG, UML 2.0 Superstructure specification (October 2004)
Ribaudo, M.: Stochastic Petri net semantics for stochastic process algebras. In: Proc. PNPM 1995 (1995)
Selic, B.: The Pragmatics of Model-Driven Development. Software, 19–25 (2003)
Simone, C., Marsan, M.A.: The application of EB-equivalence rules to the structural reduction of GSPN models. J. Parallel Distrib. Comput. 15(3), 296–302 (1992)
Störrle, H.: Semantics of control-flow in UML 2.0 activities. In: Proc. VL/HCC (September 2004)
Tabuchi, N., Sato, N., Nakamura, H.: Model-driven performance analysis of uml design models based on stochastic process algebra. Technical Report RT0604 (2005)
Trowitzsch, J., Zimmermann, A., Hommel, G.: Towards quantitative analysis of real-time uml using stochastic petri nets. In: IPDPS. IEEE Computer Society, Los Alamitos (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tabuchi, N., Sato, N., Nakamura, H. (2005). Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra. In: Hartman, A., Kreische, D. (eds) Model Driven Architecture – Foundations and Applications. ECMDA-FA 2005. Lecture Notes in Computer Science, vol 3748. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11581741_5
Download citation
DOI: https://doi.org/10.1007/11581741_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30026-7
Online ISBN: 978-3-540-32093-7
eBook Packages: Computer ScienceComputer Science (R0)