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.
%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
}