论文信息 - Model Instantiation and Type Checking in UMLX - 字舞流文

Model Instantiation and Type Checking in UMLX

OMG's MDA initiative encourages the use of meta-model based transformations and re-usable specifications. We discuss how Graphical Transformation Notations such as UMLX reduce opportunities for errors in this programming domain.

Edward D. Willink

[1] Frederick P. Brooks,et al. No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .

[2] Edward D. Willink. On Challenges for a Graphical Transformation Notation and the UMLX Approach , 2008, Electron. Notes Theor. Comput. Sci..

[3] Dániel Varró,et al. Advanced model transformation language constructs in the VIATRA2 framework , 2006, SAC.

[4] Gabor Karsai,et al. Generative Programming via Graph Transformations in the Model-Driven Architecture , 2002 .

[5] Frédéric Jouault,et al. Transforming Models with ATL , 2005, MoDELS.

[6] Martin Gogolla,et al. Realizing UML Metamodel Transformations with AGG , 2004, GT-VMT@ETAPS.

[7] Gabor Karsai,et al. A UML-based Graph Transformation Approach for Implementing Domain-Specific Model Transformations , 2003 .

[8] Edward D. Willink. UMLX : A graphical transformation language for MDA , 2003 .

[9] Laurence Tratt. The MT model transformation language , 2006, SAC '06.

[10] Stephen J. Mellor,et al. Object Oriented Systems Analysis: Modeling the World in Data , 1988 .

[11] Reiko Heckel,et al. Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach , 1997, Handbook of Graph Grammars.