From UML sequence diagrams and statecharts to analysable petri net models

Proceedings of the International Workshop on Software and Performance (WOSP2002)

Volumn , Issue , 2002, Pages 35-45

  Bernardi, Simona ^a   Donatelli, Susanna ^a   Merseguer, José ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Compositionality; GSPN; Modeling; UML

Indexed keywords

MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; PERFORMANCE; PETRI NETS; RANDOM PROCESSES; SEMANTICS; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

SEQUENCE DIAGRAMS; STATECHARTS; UNIFIED MODELING LANGUAGE (UML);

COMPUTER SOFTWARE;

EID: 0036989116     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/584374.584376     Document Type: Conference Paper

References (26)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modeling with Generalized Stochastic Petri Nets. J. Wiley, 1995.
2. nd Int. Workshop on Software and Performance, pages 47-57, Ottawa, Canada, Sept. 2000. ACM.
3. S. Balsamo and M. Simeoni. On transforming UML models into performance models. In ETAPS01: Workshop on Transformations in UML, 2001.
4. E. Best, R. Devillers, and J. Hall. The Petri box calculus: a new causal algebra with multilabel communication. In G. Rozenberg, editor, Vol. 609 of LNCS, pages 21-69. Springer Verlag, 1992.
5. A. Bondavalli, I. Maizik, and I. Mura. Automated Dependability Analysis of UML Designs. In ICS Press, editor, in Proc. ISORC'99 - 2nd IEEE International Symposium on Object-oriented Real-time distributed Computing, Saint Malo, France, 1999.
6. th Int. Conf. on Information Technology Interfaces, Pula, Croatia, 2001.
7. nd Int. Workshop on Software and Performance, pages 58-70, Ottawa, Canada, Sept. 2000. ACM.
8. th Int. Conf. on Modeling Techniques and Tools. Vol. 2324 of LNCS, Springer and Verlag, April 2002.
9. th Int. Conf. in Application and Theory of Petri Nets, ICATPN '96, Osaka, Japan, June 1996. Springer Verlag. LNCS, Vol 1091.
10. GreatSPN:http://www.di.unito.it/̃greatspn.
11. http://ls4-www.informatik.uni-dortmund.de/QPN.
12. th UK Performance Engineering Workshop, pages 45-46, Bristol, UK, July 1999.
13. I. Kruger, R. Grosu, P. Scholz, and M. Broy. From MSCs to Statecharts. In F. J. Rammig, editor, Distributed and Parallel Embedded Systems, pages 61-71. Kluwer Academic Publishers, 1999.
14. J. Lilius and X. Li. Timing analysis of UML sequence diagrams. Tech. report no.281 - Turku Centre for Computer Science, Finland, May 1999.
15. J. Lilius and I. Paltor. The production cell: an exercise on the formal verification of a UML model. Tech. report no.288 - Turku Centre for Computer Science, Finland, May 1999.
16. J. Lilius and I. Paltor. The Semantics of UML State Machines. Tech. report no.273 - Turku Centre for Computer Science, Finland, May 1999.
17. st 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. L. Pomello, G. Rozenberg, and C. Simone. A survey of equivalence notions for net based systems. LNCS; Adv. in Petri Nets 1992, 609:410-472, 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. R. Taylor. A general purpose algorithm for analyzing concurrent programs. Comm. of ACM, (26), May '83.
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.