%0 Conference Paper %1 kuster_03_defining %A Küster, Jochen M. %A Heckel, Reiko %A Engels, Gregor %D 2003 %J Human Centric Computing Languages and Environments, 2003. Proceedings. 2003 IEEE Symposium on %K 2003 uml transformation %P 145--152 %R 10.1109/HCC.2003.1260218 %T Defining and validating transformations of UML models %U http://dx.doi.org/10.1109/HCC.2003.1260218 %X With the success of the UML, the ability of transforming models into programs or formal specifications becomes a key to automated code generation or verification in the software development process. In this paper, we describe a concept for specifying model transformations by means of graph transformation rules on the UML meta model. In order to validate the termination and uniqueness of such transformations, we derive a number of sufficient criteria from basic results of the theory of graph transformation. This ensures that the rules can be executed automatically while, at the same time, providing a high-level visual model of the transformation.

@inproceedings{kuster_03_defining, abstract = {With the success of the UML, the ability of transforming models into programs or formal specifications becomes a key to automated code generation or verification in the software development process. In this paper, we describe a concept for specifying model transformations by means of graph transformation rules on the UML meta model. In order to validate the termination and uniqueness of such transformations, we derive a number of sufficient criteria from basic results of the theory of graph transformation. This ensures that the rules can be executed automatically while, at the same time, providing a high-level visual model of the transformation.}, added-at = {2009-02-11T22:18:50.000+0100}, author = {K"{u}ster, Jochen M. and Heckel, Reiko and Engels, Gregor}, biburl = {https://www.bibsonomy.org/bibtex/254295922da15d5935a7bc821c9756a2c/leonardo}, citeulike-article-id = {1202665}, doi = {10.1109/HCC.2003.1260218}, interhash = {05a26319f14a9f73a6539906b84be9d8}, intrahash = {54295922da15d5935a7bc821c9756a2c}, journal = {Human Centric Computing Languages and Environments, 2003. Proceedings. 2003 IEEE Symposium on}, keywords = {2003 uml transformation}, pages = {145--152}, posted-at = {2007-04-04 14:06:42}, priority = {3}, timestamp = {2009-02-11T22:18:50.000+0100}, title = {Defining and validating transformations of UML models}, url = {http://dx.doi.org/10.1109/HCC.2003.1260218}, year = 2003 }