A compositional semantics for UML state machines aimed at performance evaluation A compositional semantics for UML state machines aimed at performance evaluation Export

@inproceedings{merseguer_02_compositional, abstract = {Unified Modeling Language (UML) is gaining acceptance to describe the behaviour of systems. It has 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 UML diagrams, we concentrate on state machines (SMs) and we build a semantics for a significant subset of them in terms of generalized stochastic Petri nets (GSPNs). The paper shows how to derive an executable GSPN model from a description of a system, expressed as a set of SMs. The semantics is compositional since the executable GSPN model is obtained by composing, using standard Petri net operators, the GSPN models of the single SMs, and each GSPN model is obtained by composition of submodels for SM basic features.}, author = {Merseguer, Jos\'{e} and Campos, J. and Bernardi, Simona and Donatelli, Susanna}, booktitle = {Discrete Event Systems, 2002. Proceedings. Sixth International Workshop on}, citeulike-article-id = {2140535}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/WODES.2002.1167702}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1167702}, citeulike-linkout-2 = {http://dx.doi.org/http://dx.doi.org/10.1109/WODES.2002.1167702}, citeulike-linkout-3 = {http://dx.doi.org/10.1109/WODES.2002.1167702}, doi = {10.1109/WODES.2002.1167702}, journal = {Discrete Event Systems, 2002. Proceedings. Sixth International Workshop on}, keywords = {2002, statecharts, uml}, pages = {295--302}, posted-at = {2007-12-18 11:22:39}, priority = {2}, title = {A compositional semantics for UML state machines aimed at performance evaluation A compositional semantics for UML state machines aimed at performance evaluation}, url = {http://dx.doi.org/10.1109/WODES.2002.1167702}, year = {2002} }

TY - CONF ID - merseguer_02_compositional L3 - citeulike-article-id:2140535 N2 - Unified Modeling Language (UML) is gaining acceptance to describe the behaviour of systems. It has 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 UML diagrams, we concentrate on state machines (SMs) and we build a semantics for a significant subset of them in terms of generalized stochastic Petri nets (GSPNs). The paper shows how to derive an executable GSPN model from a description of a system, expressed as a set of SMs. The semantics is compositional since the executable GSPN model is obtained by composing, using standard Petri net operators, the GSPN models of the single SMs, and each GSPN model is obtained by composition of submodels for SM basic features. JF - Discrete Event Systems, 2002. Proceedings. Sixth International Workshop on EP - 302 TI - A compositional semantics for UML state machines aimed at performance evaluation A compositional semantics for UML state machines aimed at performance evaluation T2 - Discrete Event Systems, 2002. Proceedings. Sixth International Workshop on SP - 295 KW - 2002 KW - statecharts KW - uml AU - Merseguer, José AU - Campos, J AU - Bernardi, Simona AU - Donatelli, Susanna PY - 2002/// UR - http://dx.doi.org/10.1109/WODES.2002.1167702 ER -