%0 Journal Article %1 borger_04_formalizing %A Börger, Egon %A Cavarra, Alessandra %A Riccobene, Elvinia %B Special Issue on Software Engineering, Applications, Practices and Tools from the ACM Symposium on Applied Computing 2003 %D 2004 %J Information and Software Technology %K 2004 semantics \_hardcopy statecharts \_pdf uml %N 5 %P 287--292 %R http://dx.doi.org/10.1016/j.infsof.2003.09.009 %T On formalizing UML state machines using ASMs %U http://dx.doi.org/10.1016/j.infsof.2003.09.009 %V 46 %X We present a transparent yet rigorous conceptual framework for defining the semantics of dynamic UML diagrams. We illustrate the method for UML state machines, making the “semantic variation points�? of UML explicit, as well as various ambiguities and omissions in the official UML documents. This includes the event deferring and completion mechanism, the meaning of atomic and durative actions, concurrent internal activities and conflict situations which may arise through the concurrent behavior of active objects.

@article{borger_04_formalizing, abstract = {We present a transparent yet rigorous conceptual framework for defining the semantics of dynamic UML diagrams. We illustrate the method for UML state machines, making the \^{a}€{\oe}semantic variation points\"{i}¿½? of UML explicit, as well as various ambiguities and omissions in the official UML documents. This includes the event deferring and completion mechanism, the meaning of atomic and durative actions, concurrent internal activities and conflict situations which may arise through the concurrent behavior of active objects.}, added-at = {2009-03-10T04:53:57.000+0100}, author = {B\"{o}rger, Egon and Cavarra, Alessandra and Riccobene, Elvinia}, biburl = {https://www.bibsonomy.org/bibtex/2750396742917d27af6f202141e4ee368/leonardo}, booktitle = {Special Issue on Software Engineering, Applications, Practices and Tools from the ACM Symposium on Applied Computing 2003}, citeulike-article-id = {581347}, doi = {http://dx.doi.org/10.1016/j.infsof.2003.09.009}, interhash = {0d770028b0d521057404eedc31eb55d6}, intrahash = {750396742917d27af6f202141e4ee368}, journal = {Information and Software Technology}, keywords = {2004 semantics \_hardcopy statecharts \_pdf uml}, month = {April}, number = 5, pages = {287--292}, posted-at = {2006-04-11 02:15:28}, priority = {4}, timestamp = {2009-03-10T04:53:57.000+0100}, title = {On formalizing UML state machines using ASMs}, url = {http://dx.doi.org/10.1016/j.infsof.2003.09.009}, volume = 46, year = 2004 }