A compositional semantics for UML state machines aimed at performance evaluation

Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002

Volumn , Issue , 2002, Pages 295-302

  Merseguer, J ^a   Campos, J ^a   Bernardi, S ^b   Donatelli, S ^b  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DISCRETE EVENT SIMULATION; MODELING LANGUAGES; PETRI NETS; SEMANTICS; STOCHASTIC SYSTEMS;

COMPOSITIONAL SEMANTICS; DESCRIPTION LANGUAGES; EXECUTABLE MODEL; GENERALIZED STOCHASTIC PETRI NETS; PERFORMANCE EVALUATION MODELS; PERFORMANCE MODEL; UML DIAGRAMS; UML STATE MACHINE;

UNIFIED MODELING LANGUAGE;

EID: 33746031722     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2002.1167702     Document Type: Conference Paper

References (18)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. John Wiley, 1995.
2. S. Balsamo and M. Simeoni. On transforming UML models into performance models. In Transfs. in UML, ETAPS'01.
3. S. Bernardi, S. Donatelli, and J. Merseguer. From UML sequence diagrams and statecharts to analysable Petri net models. In WOSP'02. ACM. To appear.
4. The GreatSPN tool. http://www.di.unito.it/∼greatspn.
5. D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, 1987.
6. D. Harel and A. Naamad. The STATEMATE semantics of the statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293-333, 1996.
7. P. King and R. Pooley. Using UML to derive stochastic Petri nets models. In UKPEW'99, pages 45-56.
8. D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UML statechart diagrams. In FMOODS'99. Kluwer.
9. J. Lilius and I. Paltor. The semantics of UML state machines. Tech. rep. no.273-Turku Centre for CS, Finland, 1999.
10. J. López-Grao, J. Merseguer, and J. Campos. Performance engineering based on UML and SPN: A software performance tool. In ISCIS XVII. To appear.
11. A. Maggiolo-Schettini, A. Peron, and S. Tini. Equivalences of statecharts. LNCS 1119, pages 687-702. Springer.
12. J. Merseguer, J. Campos, and E. Mena. Performance evaluation for the design of agent-based systems: A Petri net approach. In SEPN, within ICATPN'00, pages 1-20.
13. OMG. Unified Modeling Language v1.4, Sept. 2001. http:/www.omg.org.
14. A. Pnueli andM. Shalev. What is in a step: On the semantics of statecharts. LNCS 526, pages 44-264. Springer.
15. L. Pomello, G. Rozenberg, and C. Simone. A survey of equivalence notions for net based systems. LNCS 609, pages 410-472. Springer.
16. A. Simons. On the compositional properties of UML statechart diagrams. In ROOM'00.
17. R. Taylor. A general purpose algorithm for analyzing concurrent programs. Communication of ACM, (26), May 1983.
18. A. Uselton and S. Smolka. A compositional semantics for statecharts using labeled transition systems. LNCS 836, pages 2-17. Springer.