%0 Conference Paper %1 MBCD-wodes02 %A Merseguer, J. %A Bernardi, S. %A Campos, J. %A Donatelli, S. %B Proceedings of the 6th International Workshop on Discrete Event Systems %C Zaragoza, Spain %D 2002 %E Silva, M. %E Giua, A. %E Colom, J.M. %I IEEE Computer Society Press %K imported %P 295-302 %R 10.1109/WODES.2002.1167702 %T A Compositional Semantics for UML State Machines Aimed at Performance Evaluation %U http://webdiis.unizar.es/~jcampos/wordpress/wp-content/plugins/papercite/pdf/mbcd-wodes02.pdf %X Unified Modeling Language (UML) is gaining widespread acceptance as an effective way to describe the behaviour of systems. As such it has also attracted the attention of researchers that are interested in deriving, automatically, performance evaluation models from system's descriptions. A required step to automatically produce a performance model (as any executable model) is that the semantics of the description language is formally defined. Among the various models of UML we concentrate on States Machines and we build a semantics for them in terms of Generalized Stochastic Petri Nets, a well established modelling formalism for the performance evaluation of distributed systems. The paper introduces rules that allow to derive from a description of a system, expressed as a set of State Machines, an executable GSPN model. The semantics is compositional since the executable GSPN model is obtained by composing, using standard Petri Net operators, the GSPN models of the single State Machines, and each GSPN model is obtained by composition of submodels for State Machine basic features such as internal and outgoing transitions, states, actions, and events.

@inproceedings{MBCD-wodes02, abstract = {Unified Modeling Language (UML) is gaining widespread acceptance as an effective way to describe the behaviour of systems. As such it has also attracted the attention of researchers that are interested in deriving, automatically, performance evaluation models from system's descriptions. A required step to automatically produce a performance model (as any executable model) is that the semantics of the description language is formally defined. Among the various models of UML we concentrate on States Machines and we build a semantics for them in terms of Generalized Stochastic Petri Nets, a well established modelling formalism for the performance evaluation of distributed systems. The paper introduces rules that allow to derive from a description of a system, expressed as a set of State Machines, an executable GSPN model. The semantics is compositional since the executable GSPN model is obtained by composing, using standard Petri Net operators, the GSPN models of the single State Machines, and each GSPN model is obtained by composition of submodels for State Machine basic features such as internal and outgoing transitions, states, actions, and events.}, added-at = {2017-05-12T16:10:55.000+0200}, address = {Zaragoza, Spain}, author = {Merseguer, J. and Bernardi, S. and Campos, J. and Donatelli, S.}, biburl = {https://www.bibsonomy.org/bibtex/27af9b4c7d5e85c3a598624fc4cddeeda/jcampos}, booktitle = {Proceedings of the 6th International Workshop on Discrete Event Systems}, doi = {10.1109/WODES.2002.1167702}, editor = {Silva, M. and Giua, A. and Colom, J.M.}, institution = {Departamento de Inform\'atica e Ingenier\'{\i}a de Sistemas, Universidad de Zaragoza}, interhash = {b9b3b0a08182c89d0fc399aef801240b}, intrahash = {7af9b4c7d5e85c3a598624fc4cddeeda}, keywords = {imported}, month = {October}, pages = {295-302}, publisher = {IEEE Computer Society Press}, timestamp = {2017-05-12T16:10:55.000+0200}, title = {A Compositional Semantics for {UML} State Machines Aimed at Performance Evaluation}, url = {http://webdiis.unizar.es/~jcampos/wordpress/wp-content/plugins/papercite/pdf/mbcd-wodes02.pdf}, year = 2002 }