Verification and validation of declarative model-to-model transformations through invariants

[1]  Márk Asztalos,et al.  Towards Automated, Formal Verification of Model Transformations , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

[2]  Jordi Cabot,et al.  Incremental integrity checking of UML/OCL conceptual schemas , 2009, J. Syst. Softw..

[3]  Janos Sztipanovits,et al.  Formalizing the structural semantics of domain-specific modeling languages , 2009, Software & Systems Modeling.

[4]  Antonio Vallecillo,et al.  Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude , 2009, SLE.

[5]  Juan de Lara,et al.  An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations , 2008, MoDELS.

[6]  Juan de Lara,et al.  Pattern-Based Model-to-Model Transformation , 2008, ICGT.

[7]  Juan de Lara,et al.  Analysing Graph Transformation Rules through OCL , 2008, ICMT@TOOLS.

[8]  Gabor Karsai,et al.  Towards Verifying Model Transformations , 2008, GT-VMT@ETAPS.

[9]  Jordi Cabot Sagrera,et al.  Verification of UML/OCL Class Diagrams Using Constraint Programming , 2008 .

[10]  Dongxi Liu,et al.  Towards automatic model synchronization from model transformations , 2007, ASE.

[11]  Indrakshi Ray,et al.  UML2Alloy: a challenging model transformation , 2007, MODELS'07.

[12]  Ekkart Kindler,et al.  Reconciling TGGs with QVT , 2007, MODELS'07.

[13]  Perdita Stevens,et al.  Bidirectional model transformations in QVT: semantic issues and open questions , 2007, MODELS'07.

[14]  Juan de Lara,et al.  Event-driven grammars: relating abstract and concrete levels of visual languages , 2007, Software & Systems Modeling.

[15]  Hartmut Ehrig,et al.  Information Preserving Bidirectional Model Transformations , 2007, FASE.

[16]  Doina Precup,et al.  Partial Model Completion in Model Driven Engineering using Constraint Logic Programming , 2007 .

[17]  J. Küster,et al.  Analysis of Model Transformations via Alloy , 2007 .

[18]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.

[19]  Steffen Zschaler,et al.  Integrating OCL and Model Transformations in Fujaba , 2006, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[20]  Jim Steel,et al.  Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool , 2006, 2006 17th International Symposium on Software Reliability Engineering.

[21]  Ernest Teniente,et al.  Reasoning on UML Class Diagrams with OCL Constraints , 2006, ER.

[22]  Jean Bézivin,et al.  ATL: a QVT-like transformation language , 2006, OOPSLA '06.

[23]  Martin Gogolla,et al.  Model transformations? transformation models! , 2006, MoDELS'06.

[24]  Claudia Pons,et al.  An OCL-Based technique for specifying and verifying refinement-oriented transformations in MDE , 2006, MoDELS'06.

[25]  Luciano Baresi,et al.  On the Use of Alloy to Analyze Graph Transformation Systems , 2006, ICGT.

[26]  Achim D. Brucker,et al.  The HOL-OCL Book , 2006 .

[27]  Jochen Malte Küster,et al.  Definition and validation of model transformations , 2006, Software & Systems Modeling.

[28]  David A. Carrington,et al.  Verifying metamodel coverage of model transformations , 2006, Australian Software Engineering Conference (ASWEC'06).

[29]  Wilhelm Schäfer,et al.  Towards Verified Model Transformations , 2006 .

[30]  Hassan Charaf,et al.  Constraint Validation in Model Compilers , 2006, J. Object Technol..

[31]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .

[32]  Tom Mens,et al.  Transformation dependency analysis - a comparison of two approaches , 2006, LMO.

[33]  Jim Steel,et al.  MOF QVT final adopted specification: meta object facility (MOF) 2.0 query/view/transformation specification. , 2005 .

[34]  Jim Steel,et al.  Practical Declarative Model Transformation with Tefkat , 2005, MoDELS Satellite Events.

[35]  Diego Calvanese,et al.  Reasoning on UML class diagrams , 2005, Artif. Intell..

[36]  Volker Gruhn,et al.  Model-Driven Software Development , 2005 .

[37]  Martin Gogolla,et al.  Validating UML and OCL models in USE by automatic snapshot generation , 2005, Software & Systems Modeling.

[38]  Jeffrey G. Gray,et al.  A Testing Framework for Model Transformations , 2005, Model-Driven Software Development.

[39]  Andy Schürr,et al.  Tool Integration with Triple Graph Grammars - A Survey , 2006, FoVMT.

[40]  Sarfraz Khurshid,et al.  Test input generation with java PathFinder , 2004, ISSTA '04.

[41]  Dániel Varró,et al.  Automated formal verification of visual modeling languages by model checking , 2004, Software & Systems Modeling.

[42]  Stuart Kent,et al.  A relational approach to defining and implementing transformations between metamodels , 2003, Software & Systems Modeling.

[43]  Tom Mens,et al.  Using Description Logic to Maintain Consistency between UML Models , 2003, UML.

[44]  Reiko Heckel,et al.  Confluence of Typed Attributed Graph Transformation Systems , 2002, ICGT.

[45]  Andrea Corradini,et al.  A Static Analysis Technique for Graph Transformation Systems , 2001, CONCUR.

[46]  Robert V. Binder,et al.  Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .

[47]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[48]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[49]  Andy Schürr,et al.  Specification of Graph Translators with Triple Graph Grammars , 1994, WG.