%0 Conference Paper %1 varro_02_towards %A Varr'o, D'aniel %D 2002 %K model_transformation 2002 %T Towards symbolic analysis of model transformations %U http://citeseer.ist.psu.edu/534556.html %X As the Unified Modeling Language is evolving into a family of languages with individually specified semantics, there is an increasing need for highly automated and provenly correct model transformations that assure the integration of local views of the system (in the form of different diagrams) into a consistent global view. Graph transformation provides an easy-to-understand visual specification technique to formally capture the rules of such transformations.

@inproceedings{varro_02_towards, abstract = {As the Unified Modeling Language is evolving into a family of languages with individually specified semantics, there is an increasing need for highly automated and provenly correct model transformations that assure the integration of local views of the system (in the form of different diagrams) into a consistent global view. Graph transformation provides an easy-to-understand visual specification technique to formally capture the rules of such transformations.}, added-at = {2009-02-11T22:21:00.000+0100}, author = {Varr'{o}, D'{a}niel}, biburl = {https://www.bibsonomy.org/bibtex/2e2856faa2fe17088864dbf17062a9895/leonardo}, citeulike-article-id = {1612411}, interhash = {3968455825f497b731db82b3fc9dddbf}, intrahash = {e2856faa2fe17088864dbf17062a9895}, keywords = {model_transformation 2002}, posted-at = {2007-09-01 15:39:15}, priority = {2}, timestamp = {2009-02-11T22:21:00.000+0100}, title = {Towards symbolic analysis of model transformations}, url = {http://citeseer.ist.psu.edu/534556.html}, year = 2002 }