Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (gt-vmt 2012) Instance Generation from Type Graphs with Arbitrary Multiplicities Instance Generation from Type Graphs with Arbitrary Multiplicities
暂无分享,去创建一个
[1] Annegret Habel,et al. Correctness of high-level transformation systems relative to nested conditions† , 2009, Mathematical Structures in Computer Science.
[2] Indrakshi Ray,et al. UML2Alloy: a challenging model transformation , 2007, MODELS'07.
[3] Gabriele Taentzer,et al. Generating Instance Models from Meta Models , 2006, FMOODS.
[4] Yves Le Traon,et al. Mutation Analysis Testing for Model Transformations , 2006, ECMDA-FA.
[5] Berthold Hoffmann,et al. Defining Models - Meta Models versus Graph Grammars , 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
[6] Hartmut Ehrig,et al. Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .
[7] Jochen Malte Küster,et al. Definition and validation of model transformations , 2006, Software & Systems Modeling.
[8] Ivan Porres,et al. A Relation Between Context-Free Grammars and Meta Object Facility Metamodels , 2003 .
[9] Berthold Hoffmann,et al. Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars , 2011 .
[10] Annegret Habel,et al. Computational Completeness of Programming Languages Based on Graph Transformation , 2001, FoSSaCS.
[11] Gabriele Taentzer,et al. Ensuring Structural Constraints in Graph-Based Models with Type Inheritance , 2005, FASE.
[12] Diego Calvanese,et al. Reasoning on UML class diagrams , 2005, Artif. Intell..
[13] Hartmut Ehrig,et al. Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.
[14] Dániel Varró,et al. Termination Criteria for Model Transformation , 2005, Transformation Techniques in Software Engineering.
[15] Grzegorz Rozenberg,et al. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .
[16] Toni Mancini,et al. Finite Satisfiability of UML Class Diagrams by Constraint Programming , 2004, Description Logics.
[17] Francesca Rossi,et al. Graph Processes , 1996, Fundam. Informaticae.
[18] Gabriele Taentzer,et al. Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars , 2008, GT-VMT@ETAPS.
[19] Martin Gogolla,et al. Validating UML and OCL models in USE by automatic snapshot generation , 2005, Software & Systems Modeling.
[20] Daniel Jackson,et al. Alloy: a lightweight object modelling notation , 2002, TSEM.
[21] Hartmut Ehrig,et al. Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation , 2004, FASE.