Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

In this paper we study the use of Sequence Diagrams and Statecharts of the Unified Modeling Language (UML) for the validation and the performance evaluation of systems. We assume that the system is specified as a set of Statecharts and that Sequence Diagrams are used to represent "executions of interest". UML lacks a formal semantics and hence it is not possible to apply, directly, mathematical techniques on UML models for system validation. To reach this goal we propose an automatic translation of Statecharts and Sequence Diagrams into Generalized Stochastic Petri Nets, and a composition of the resulting net models suitable for reaching a given analysis goal. The translation into Petri nets is based on the abstract syntax of the UML Collaborations and of the State Machines packages (from which Sequence Diagrams and Statecharts are derived) and the construction of the complete model heavily uses compositionality.

REFERENCES

• 1: M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modeling with Generalized Stochastic Petri Nets. J. Wiley, 1995.
• 2: F. Andolfi , F. Aquilani , S. Balsamo , P. Inverardi, Deriving performance models of software architectures from message sequence charts, Proceedings of the 2nd international workshop on Software and performance, p.47-57, September 2000, Ottawa, Ontario, Canada [doi>10.1145/350391.350404]
• 3: S. Balsamo and M. Simeoni. On transforming UML models into performance models. In ETAPS01: Workshop on Transformations in UML, 2001.
• 4: Eike Best , Raymond Devillers , Jon G. Hall, The box calculus: a new causal algebra with multi-label communication, Advances in Petri Nets 1992, The DEMON Project, p.21-69, January 1992
• 5: Andrea Bondavalli , Ivan Mura , Istvan Majzik, Automated Dependability Analysis of UML Designs, Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, p.139, May 02-05, 1999
• 6: J. Cardoso and C. Sibertin-Blanc. Ordering actions in Sequence Diagrams of UML. In Proc. of 23th Int. Conf. on Information Technology Interfaces, Pula, Croatia, 2001.
• 7: Vittorio Cortellessa , Raffaela Mirandola, Deriving a queueing network based performance model from UML diagrams, Proceedings of the 2nd international workshop on Software and performance, p.58-70, September 2000, Ottawa, Ontario, Canada [doi>10.1145/350391.350406]
• 8: Susanna Donatelli , Liliana Ferro, Validation of GSPN and SWN Models through the PROD Tool, Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools, p.131-140, April 14-17, 2002
• 9: Susanna Donatelli , Giuliana Franceschinis, The PSR Methodology: Integrating Hardware and Software Models, Proceedings of the 17th International Conference on Application and Theory of Petri Nets, p.133-152, June 24-28, 1996
• 10: GreatSPN: http://www.di.unito.it/~greatspn.
• 11: http://1s4-www.informatik.uni-dortmund.de/QPN.
• 12: P. King and R. Pooley. Using UML to Derive Stochastic Petri Net Models. In Proc. 15th UK Performance Engineering Workshop, pages 45-46, Bristol, UK, July 1999.
• 13: Ingolf Krüger , Radu Grosu , Peter Scholz , Manfred Broy, From MSCs to statecharts, Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems, p.61-71, October 1998, Scholoß Eringerfeld, Germany
• 14: Xuandong Li , Johan Lilius, Timing Analysis of UML Sequence Diagrams, Turku Centre for Computer Science, 1999
• 15: Johan Lilius , Ivan P Paltor, The Production Cell: An Exercise in the Formal Verification of a UML Model, Turku Centre for Computer Science, 1999
• 16: Ivan P Paltor, The Semantics of UML State Machines, Turku Centre for Computer Science, 1999
• 17: J. Merseguer, J. Campos, and E. Mena. Performance evaluation for the design of agent-based systems: A Petri net approach. In M. Pezzé and S. M. Shatz, editors, Proc. of the Workshop on Software Engineering and Petri Nets, within the 21st Int. Conf. on Application and Theory of Petri Nets, pages 1-20, Aarhus, Denmark, June 2000. University of Aarhus.
• 18: J. Merseguer, S. Bernardi, J. Campos, and S. Donatelli. A Compositional Semantics for UML State Machines aimed at Performance Evaluation. (submitted for publication).
• 19: OMG Unified Modeling Language Specification: version 1.4. Object Management Group Inc., Sept. 2001. http://www.omg.org.
• 20: Lucia Pomello , Grzegorz Rozenberg , Carla Simone, A survey of equivalence notions for net based systems, Advances in Petri Nets 1992, The DEMON Project, p.410-472, January 1992
• 21: pUML Group. http://www.cs.york.ac.uk/puml.
• 22: S. Bernardi and S. Donatelli and A. Horváth. Implementing Compositionality for Stochastic Petri Nets. Int. Journal of Software Tools for Technology Transfer (STTT), 3(4), August 2001.
• 23: Richard N. Taylor, A general-purpose algorithm for analyzing concurrent programs, Communications of the ACM, v.26 n.5, p.361-376, May 1983 [doi>10.1145/69586.69587]
• 24: A. Tsiolakis. Integrating Model Information in UML Sequence Diagrams. Electronic Notes in Theoretical Computer Science, July 2001.
• 25: UltraSAN: http://www.crhc.uiuc.edu/UltraSAN.
• 26: K. Varpaaniemi, J. Halme, K. Hiekkanen, and T. Pyssysalo. PROD Reference Manual. Tech. Report Series B, number 13, Helsinki University of Technology, August 1995.

INDEX TERMS

Keywords:
GSPN, UML, compositionality, modeling