![](bga.png)
ence algorithm discards redundant subpaths using a
partial order relation.
For the next versions of the algorithms, we intend
to handle nested activities, so the user can describe
the system as a hierarchy of components and infer
time limits and throughputs in a top-down approach.
Handling actions which are repeated in several places
would be interesting, but the cost of the algorithms
might increase. After improving the algorithms, our
main priority is to assist in the generation of test
cases for an existing tool, transforming the MARTE-
annotated UML model into text. One approach is to
generate performance tests which wrap existing func-
tional tests. Another approach is to partially generate
test plans for existing performance testing tools.
ACKNOWLEDGEMENTS
This work was partly funded by the research schol-
arship PU-EPIF-FPI-C 2010-065 of the University of
Cádiz.
REFERENCES
Alhaj, M. and Petriu, D. C. (2010). Approach for generat-
ing performance models from UML models of SOA
systems. In Proc. of the 2010 Conference of the Cen-
ter for Advanced Studies on Collaborative Research,
CASCON ’10, pages 268–282, New York, NY, USA.
ACM.
Bernardi, S., Campos, J., and Merseguer, J. (2010). Timing-
Failure risk assessment of UML design using time
petri net bound techniques. Industrial Informatics,
IEEE Transactions on, PP(99):1.
Bernardi, S., Merseguer, J., and Petriu, D. C. (2009). A de-
pendability profile within MARTE. Software & Sys-
tems Modeling.
Eclipse Foundation (2011). Homepage
of the Eclipse MDT Papyrus project.
http://www.eclipse.org/modeling/mdt/papyrus/.
Erl, T. (2008). SOA: Principles of Service Design. Prentice
Hall, Indiana, EEUU.
García-Domínguez, A. (2011). Home-
page of the SODM+T project.
https://neptuno.uca.es/redmine/projects/sodmt.
García-Domínguez, A., Medina-Bulo, I., and Marcos-
Bárcena, M. (2010). Inference of performance con-
straints in Web Service composition models. CEUR
Workshop Proc. of the 2nd Int. Workshop on Model-
Driven Service Engineering, 608:55–66.
Kolovos, D., Paige, R., Rose, L., and Polack, F. (2010). The
Epsilon Book. http://www.eclipse.org/gmt/epsilon.
Lucas, H. (1971). Performance evaluation and monitoring.
ACM Computing Surveys, 3(3):79–91.
OMG (2005). UML Profile for Schedulabil-
ity, Performance, and Time (SPTP) 1.1.
http://www.omg.org/spec/SPTP/1.1/.
OMG (2008). UML Profile for Modeling Quality of Service
and Fault Tolerance Characteristics and Mechanisms
(QFTP) 1.1. http://www.omg.org/spec/QFTP/1.1/.
OMG (2009). UML Profile for Modeling and Analysis
of Real-Time and Embedded systems (MARTE) 1.0.
http://www.omg.org/spec/MARTE/1.0/.
Shousha, M., Briand, L., and Labiche, Y. (2009). A
UML/MARTE model analysis method for detection
of data races in concurrent systems. In Model Driven
Engineering Languages and Systems, volume 5795
of Lecture Notes in Computer Science, pages 47–61.
Springer Berlin / Heidelberg.
Smith, C. U. and Williams, L. G. (2003). Software perfor-
mance engineering. In Lavagno, L., Martin, G., and
Selic, B., editors, UML for Real: Design of Embed-
ded Real-Time Systems, pages 343–366. Kluwer, The
Netherlands.
Tribastone, M. and Gilmore, S. (2008). Automatic extrac-
tion of PEPA performance models from UML activ-
ity diagrams annotated with the MARTE profile. In
Proc. of the 7th Int. Workshop on Software and Per-
formance, pages 67–78, Princeton, NJ, USA. ACM.
Weyuker, E. J. and Vokolos, F. I. (2000). Experience with
performance testing of software systems: Issues, an
approach, and case study. IEEE Transactions on Soft-
ware Engineering, 26:1147–1156.
Woodside, M. (2007). From annotated software designs
(UML SPT/MARTE) to model formalisms. In Proc. of
the 7th Int. Conference on Formal Methods for Perfor-
mance Evaluation, pages 429–467, Bertinoro, Italy.
Springer-Verlag.
Woodside, M., Franks, G., and Petriu, D. (2007). The fu-
ture of software performance engineering. In Proc. of
Future of Software Engineering 2007, pages 171–187.
Woodside, M., Petriu, D. C., Petriu, D. B., Shen, H., Israr,
T., and Merseguer, J. (2005). Performance by uni-
fied model analysis (PUMA). In Proc. of the 5th Int.
Workshop on Software and Performance, pages 1–12,
Palma, Illes Balears, Spain. ACM.
Yang, N., Yu, H., Sun, H., and Qian, Z. (2010). Modeling
UML sequence diagrams using extended Petri nets. In
Proc. of the 2010 Int. Conference on Information Sci-
ence and Applications, pages 1–8.
MODEL-DRIVEN DESIGN OF PERFORMANCE REQUIREMENTS WITH UML AND MARTE
63