%0 Journal Article %1 heckel_01_behavioral %A Heckel, Reiko %A Küster, Jochen M. %B GT-VMT 2001, Graph Transformation and Visual Modeling Techniques (Satellite Workshop of ICALP 2001) %D 2001 %J Electronic Notes in Theoretical Computer Science %K refinement statecharts \_pdf uml 2001 %N 3 %P 257--265 %R http://dx.doi.org/10.1016/S1571-0661(04)00177-X %T Behavioral Constraints for Visual Models %U http://dx.doi.org/10.1016/S1571-0661(04)00177-X %V 50 %X In this paper, we discuss the issue of consistency of behavioral models in the UML and present techniques for specifying and analyzing consistency. Using meta-model rules we transform elements of UML models into a semantic domain. Then, consistency constraints can by specified and validated using the language and the tools of the semantic domain. This general methodology is exemplified by the problem of protocol statechart inheritance.

@article{heckel_01_behavioral, abstract = {In this paper, we discuss the issue of consistency of behavioral models in the UML and present techniques for specifying and analyzing consistency. Using meta-model rules we transform elements of UML models into a semantic domain. Then, consistency constraints can by specified and validated using the language and the tools of the semantic domain. This general methodology is exemplified by the problem of protocol statechart inheritance.}, added-at = {2009-03-10T04:35:47.000+0100}, author = {Heckel, Reiko and K\"{u}ster, Jochen M.}, biburl = {https://www.bibsonomy.org/bibtex/288266f1701ed7be56797555cd65538e2/leonardo}, booktitle = {GT-VMT 2001, Graph Transformation and Visual Modeling Techniques (Satellite Workshop of ICALP 2001)}, citeulike-article-id = {2014084}, doi = {http://dx.doi.org/10.1016/S1571-0661(04)00177-X}, interhash = {240dcce17019d2833b5fb6f5369d9baf}, intrahash = {88266f1701ed7be56797555cd65538e2}, journal = {Electronic Notes in Theoretical Computer Science}, keywords = {refinement statecharts \_pdf uml 2001}, month = {August}, number = 3, pages = {257--265}, posted-at = {2007-11-29 12:11:26}, priority = {4}, timestamp = {2009-03-10T04:35:47.000+0100}, title = {Behavioral Constraints for Visual Models}, url = {http://dx.doi.org/10.1016/S1571-0661(04)00177-X}, volume = 50, year = 2001 }