Search results for "model transformations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Guillaume Hillairet, Frédéric Bertrand, Jean-Yves Lafaye	Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa.	ICMT	2009	DBLP DOI BibTeX RDF	Query languages, Model Transformations, SPARQL, ATL, OQL
4	Junhua Wang, Soon-Kyeong Kim, David A. Carrington	Automatic Generation of Test Models for Model Transformations.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Testing Model Transformations, Automatic Test Model Generation, Model Driven Architecture, Model Transformations
3	Elvinia Riccobene, Patrizia Scandurra	Model transformations in the UPES/UPSoC development process for embedded systems.	ISSE	2009	DBLP DOI BibTeX RDF	Model-based development (MBD), Unified modeling language (UML), Model transformations, SystemC, Embedded system design
3	Marcel van Amstel, Christian F. J. Lange, Mark van den Brand	Using Metrics for Assessing the Quality of ASF+SDF Model Transformations.	ICMT	2009	DBLP DOI BibTeX RDF
3	Marcos Didonet Del Fabro, Patrick Albert, Jean Bézivin, Frédéric Jouault	Achieving Rule Interoperability Using Chains of Model Transformations.	ICMT	2009	DBLP DOI BibTeX RDF
3	Salvador Trujillo, Ander Zubizarreta, Xabier Mendialdua, Josune de Sosa	Feature-oriented refinement of models, metamodels and model transformations.	FOSD	2009	DBLP DOI BibTeX RDF	XAK, modeling, models, refinements, model transformations, metamodels, AHEAD
3	Pau Giner, Vicente Pelechano	Test-Driven Development of Model Transformations.	MoDELS	2009	DBLP DOI BibTeX RDF	test-driven development, Model-to-model transformations
3	Iván García-Magariño, Jorge J. Gómez-Sanz, Rubén Fuentes-Fernández	Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages.	ICMT	2009	DBLP DOI BibTeX RDF	model-transformation by-example, algorithm, model transformations, model-driven development, Model-driven engineering
3	Vojtech Merunka, Oldrich Nouza, Jirí Brozek	Automated Model Transformations Using the C.C Language.	CIAO! / EOMAS	2008	DBLP DOI BibTeX RDF	C.C language, BORM, model transformations, modelling and simulation
3	Iman Poernomo	Proofs-as-Model-Transformations.	ICMT	2008	DBLP DOI BibTeX RDF
3	László Gönczy, Zsolt Déri, Dániel Varró	Model Transformations for Performability Analysis of Service Configurations.	MoDELS Workshops	2008	DBLP DOI BibTeX RDF	Model-driven Analysis, Service-Oriented Architecture, Performability Analysis, Model Transformations
3	Adrian Rutle, Uwe Wolter, Yngve Lamo	A diagrammatic approach to model transformations.	EATIS	2008	DBLP DOI BibTeX RDF	diagrammatic specifications, eclipse modeling framework, meta object facility, modeling, unified modeling language, model driven architecture, model transformations
3	Gabor Karsai, Gabriele Taentzer	Third international workshop on graph and model transformations.	ICSE Companion	2008	DBLP DOI BibTeX RDF	model transformations, model-driven development, graph transformations
3	Jochen Malte Küster, Mohamed Abd-El-Razik	Validation of Model Transformations - First Experiences Using a White Box Approach.	MoDELS Workshops	2006	DBLP DOI BibTeX RDF	Testing, Model transformations
3	Igor Ivkovic, Kostas Kontogiannis	A Framework for Software Architecture Refactoring using Model Transformations and Semantic Annotations.	CSMR	2006	DBLP DOI BibTeX RDF	software architecture refactoring, qualitydriven re-engineering, software evolution, model transformations, UML profiles
3	Laurence Tratt	Model transformations and tool integration.	Software and System Modeling	2005	DBLP DOI BibTeX RDF	Modelling, Transformations, Model transformations, Tool integration, QVT
3	Arda Goknil, N. Yasemin Topaloglu	Ontological perspective in metamodeling for model transformations.	Metainformatics	2005	DBLP DOI BibTeX RDF	ontology, model transformations, metamodeling, transformation languages
3	Raul Silaghi, Frédéric Fondement, Alfred Strohmeier	"Weaving" MTL Model Transformations.	MDAFA	2004	DBLP DOI BibTeX RDF	MTL, Aspect-Oriented Programming, AOP, Model-Driven Architecture, MDA, Model Transformations
2	Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara	Generic Model Transformations: Write Once, Reuse Everywhere.	ICMT	2011	DBLP DOI BibTeX RDF
2	Kevin Lano, Shekoufeh Kolahdouz Rahimi	Model-Driven Development of Model Transformations.	ICMT	2011	DBLP DOI BibTeX RDF
2	Marcel van Amstel, Steven Bosems, Ivan Kurtev, Luís Ferreira Pires	Performance in Model Transformations: Experiments with ATL and QVT.	ICMT	2011	DBLP DOI BibTeX RDF
2	Shekoufeh Kolahdouz Rahimi	Specification of UML Model Transformations.	ICST	2010	DBLP DOI BibTeX RDF	UML, Specification, Model Transformations
2	Tomasz Porzucek, Stephan Kluth, Mathias Fritzsche, David Redlich	Combination of a Discrete Event Simulation and an Analytical Performance Analysis through Model-Transformations.	ECBS	2010	DBLP DOI BibTeX RDF	FMC-QE, MDPE, Discrete Event Simulation, Model Transformations, Quantitative Analysis
2	Anne Etien, Alexis Muller, Thomas Legrand, Xavier Blanc	Combining independent model transformations.	SAC	2010	DBLP DOI BibTeX RDF
2	Philip Langer, Manuel Wimmer, Gerti Kappel	Model-to-Model Transformations By Demonstration.	ICMT	2010	DBLP DOI BibTeX RDF
2	Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo	A Constructive Approach to Testing Model Transformations.	ICMT	2010	DBLP DOI BibTeX RDF
2	Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki	From State- to Delta-Based Bidirectional Model Transformations.	ICMT	2010	DBLP DOI BibTeX RDF
2	Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon	Qualifying input test data for model transformations.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	Test qualification, Software testing, Model transformation, Metamodelling, Model-based testing, Test criteria
2	Marcos Didonet Del Fabro, Patrick Valduriez	Towards the efficient development of model transformations using model weaving and matching transformations.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	Matching transformations, Model engineering, Model weaving
2	Jesús Sánchez Cuadrado, Jesús García Molina	Modularization of model transformations through a phasing mechanism.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	Phasing mechanism, Internal transformation composition, Modularity, Model transformation, Transformation languages
2	Massimo Tisi, Frédéric Jouault, Piero Fraternali, Stefano Ceri, Jean Bézivin	On the Use of Higher-Order Model Transformations.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
2	Artur Boronat, Reiko Heckel, José Meseguer	Rewriting Logic Semantics and Verification of Model Transformations.	FASE	2009	DBLP DOI BibTeX RDF	Model and graph transformations, LTL model checking, reachability analysis, rewriting logic, MOF, QVT, Maude
2	Andreas Petter, Alexander Behring, Max Mühlhäuser	Solving Constraints in Model Transformations.	ICMT	2009	DBLP DOI BibTeX RDF	model transformation, model driven engineering, constraint programming, constraint solving
2	Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi	Supporting Parallel Updates with Bidirectional Model Transformations.	ICMT	2009	DBLP DOI BibTeX RDF
2	Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró	Efficient Model Transformations by Combining Pattern Matching Strategies.	ICMT	2009	DBLP DOI BibTeX RDF
2	Amogh Kavimandan, Aniruddha S. Gokhale	Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems.	QoSA	2009	DBLP DOI BibTeX RDF	Graph/model transformations, deployment and configuration, Model-driven engineering, component-based systems
2	Stefan Jurack, Gabriele Taentzer	Towards Composite Model Transformations Using Distributed Graph Transformation Concepts.	MoDELS	2009	DBLP DOI BibTeX RDF	Eclipse, graph transformation, Distributed modeling
2	István Ráth, Gergely Varró, Dániel Varró	Change-Driven Model Transformations.	MoDELS	2009	DBLP DOI BibTeX RDF	Incremental model transformation, change models, change-driven transformations
2	Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange	On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars.	MoDELS	2009	DBLP DOI BibTeX RDF	Model transformation, correctness, triple graph grammars
2	Bedir Tekinerdogan, Namik Aktekin	Interaction-based feature-driven model-transformations for generating e-forms.	FOSD	2009	DBLP DOI BibTeX RDF	feature-oriented modeling, e-government, model-driven software development
2	Mangala Gowri Nanda, Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha	Demystifying model transformations: an approach based on automated rule inference.	OOPSLA	2009	DBLP DOI BibTeX RDF	precondition analysis, transformation comprehension, model-driven development, model validation, model-to-model transform
2	Yu Sun, Jeff Gray, Jules White	MT-scribe: a tool for recording and inferring model transformations.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	mt-scribe, model transformation, demonstration
2	Juan M. Vara, Belén Vela, Verónica Andrea Bollati, Esperanza Marcos	Supporting Model-Driven Development of Object-Relational Database Schemas: A Case Study.	ICMT	2009	DBLP DOI BibTeX RDF	Code Generation, Model Transformations, Model-Driven Engineering, Object-Relational Databases
2	Roy Grønmo, Stein Krogdahl, Birger Møller-Pedersen	A Collection Operator for Graph Transformation.	ICMT	2009	DBLP DOI BibTeX RDF
2	Sagar Sen, Benoit Baudry, Jean-Marie Mottu	Automatic Model Generation Strategies for Model Transformation Testing.	ICMT	2009	DBLP DOI BibTeX RDF
2	Perdita Stevens	A Simple Game-Theoretic Approach to Checkonly QVT Relations.	ICMT	2009	DBLP DOI BibTeX RDF
2	Abdelouahed Gherbi, Ferhat Khendek	From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	UML/SPT, UML, Real-time, MDA, Model transformations, Schedulability analysis, ATL
2	Stephan Roser, Bernhard Bauer	Automatic Generation and Evolution of Model Transformations Using Ontology Engineering Space.	J. Data Semantics	2008	DBLP DOI BibTeX RDF
2	Pieter Van Gorp	Model-Driven Development of Model Transformations.	ICGT	2008	DBLP DOI BibTeX RDF
2	Hartmut Ehrig, Claudia Ermel	Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation.	ICGT	2008	DBLP DOI BibTeX RDF
2	Hartmut Ehrig, Ulrike Prange	Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.	ICGT	2008	DBLP DOI BibTeX RDF
2	Gregor Engels, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim	From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.	ECMDA-FA	2008	DBLP DOI BibTeX RDF
2	Andrés Vignaga, Daniel Perovich, M. Cecilia Bastarrica	Extracting Object Interactions Out of Software Contracts Using Model Transformations.	ICMT	2008	DBLP DOI BibTeX RDF
2	István Ráth, Gábor Bergmann, András Ökrös, Dániel Varró	Live Model Transformations Driven by Incremental Pattern Matching.	ICMT	2008	DBLP DOI BibTeX RDF
2	Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara	An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.	MoDELS	2008	DBLP DOI BibTeX RDF
2	Enrico Biermann, Claudia Ermel, Gabriele Taentzer	Precise Semantics of EMF Model Transformations by Graph Transformation.	MoDELS	2008	DBLP DOI BibTeX RDF	Eclipse Modeling Framework, model transformation, graph transformation, Model-driven software development
2	Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús García Molina, Jean Bézivin	Optimization Patterns for OCL-Based Model Transformations.	MoDELS Workshops	2008	DBLP DOI BibTeX RDF
2	Steffen Becker	Coupled model transformations.	WOSP	2008	DBLP DOI BibTeX RDF	mda, platform completions, performance prediction, model-driven software development
2	Flávio P. Duarte, William M. Hasling, William Sherman, Daniel J. Paulish, Rosa Maria Meri Leão, Edmundo de Souza e Silva, Vittorio Cortellessa	Extending model transformations in the performance domain with a node modeling library.	WOSP	2008	DBLP DOI BibTeX RDF	performance analysis, model transformations, uml, global software engineering
2	Raphael Romeikat, Stephan Roser, Pascal Müllender, Bernhard Bauer	Translation of QVT Relations into QVT Operational Mappings.	ICMT	2008	DBLP DOI BibTeX RDF
2	Jesús Sánchez Cuadrado, Jesús García Molina	Approaches for Model Transformation Reuse: Factorization and Composition.	ICMT	2008	DBLP DOI BibTeX RDF
2	Mika Siikarla, Markku Laitkorpi, Petri Selonen, Tarja Systä	Transformations Have to be Developed ReST Assured.	ICMT	2008	DBLP DOI BibTeX RDF
2	Zef Hemel, Lennart C. L. Kats, Eelco Visser	Code Generation by Model Transformation.	ICMT	2008	DBLP DOI BibTeX RDF
2	Dennis Wagelaar	Composition Techniques for Rule-Based Model Transformation Languages.	ICMT	2008	DBLP DOI BibTeX RDF
2	Frédéric Thomas, Jérôme Delatour, François Terrier, Sébastien Gérard	Towards a Framework for Explicit Platform-Based Transformations.	ISORC	2008	DBLP DOI BibTeX RDF	Platform-Based, SRM, UML, model transformations, MDE, MARTE
2	Kevin Lano, David Clark	Model Transformation Specification and Verification.	QSIC	2008	DBLP DOI BibTeX RDF	UML, Specification, Model transformations
2	Amogh Kavimandan, Aniruddha S. Gokhale	Automated Middleware QoS Configuration Techniques for Distributed Real-time and Embedded Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	Graph/model transformations, Middleware QoS configuration, MDE
2	David Manset, Hervé Verjus, Richard McClatchey	Managing Separation of Concerns in Grid Applications Through Architectural Model Transformations.	ECSA	2007	DBLP DOI BibTeX RDF	Software Architecture, Grid, Model Transformation, MDE
2	Alfonso Rodríguez, Eduardo Fernández-Medina, Mario Piattini	Analysis-Level Classes from Secure Business Processes Through Model Transformations.	TrustBus	2007	DBLP DOI BibTeX RDF
2	Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei	Towards automatic model synchronization from model transformations.	ASE	2007	DBLP DOI BibTeX RDF	MDA, model transformation, ATL, model synchronization
2	Maher Lamari	Towards an automated test generation for the verification of model transformations.	SAC	2007	DBLP DOI BibTeX RDF	MDA (Model Driven Architecture), input test models, model transformation, test case generation, automated verification
2	Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer	Information Preserving Bidirectional Model Transformations.	FASE	2007	DBLP DOI BibTeX RDF
2	Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai	Applying a Grouping Operator in Model Transformations.	AGTIVE	2007	DBLP DOI BibTeX RDF	Model Transformation, Graph Transformation
2	Jana Koehler, Thomas Gschwind, Jochen Malte Küster, Cesare Pautasso, Ksenia Ryndina, Jussi Vanhatalo, Hagen Völzer	Combining Quality Assurance and Model Transformations in Business-Driven Development.	AGTIVE	2007	DBLP DOI BibTeX RDF
2	Éric Piel, Philippe Marquet, Jean-Luc Dekeyser	Model Transformations for the Compilation of Multi-processor Systems-on-Chip.	GTTSE	2007	DBLP DOI BibTeX RDF
2	Perdita Stevens	A Landscape of Bidirectional Model Transformations.	GTTSE	2007	DBLP DOI BibTeX RDF	bidirectional model transformation, bidirectional programming language, graph transformation, QVT, triple graph grammar
2	Mark Hibberd, Michael Lawley, Kerry Raymond	Forensic Debugging of Model Transformations.	MoDELS	2007	DBLP DOI BibTeX RDF
2	François Lagarde, François Terrier, Charles André, Sébastien Gérard	Extending OCL to Ensure Model Transformations.	ER Workshops	2007	DBLP DOI BibTeX RDF
2	Ivan Kurtev	State of the Art of QVT: A Model Transformation Language Standard.	AGTIVE	2007	DBLP DOI BibTeX RDF	MDA, Model transformations, MDE, QVT
2	Jochen Malte Küster	Definition and validation of model transformations.	Software and System Modeling	2006	DBLP DOI BibTeX RDF
2	Samar Abdi, Daniel Gajski	Verification of System Level Model Transformations.	International Journal of Parallel Programming	2006	DBLP DOI BibTeX RDF	verification, model transformations, design methodology, System level modeling
2	Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer	Termination Analysis of Model Transformations by Petri Nets.	ICGT	2006	DBLP DOI BibTeX RDF	Petri nets, model transformation, termination, graph transformation
2	Junhua Wang, Soon-Kyeong Kim, David A. Carrington	Verifying Metamodel Coverage of Model Transformations.	ASWEC	2006	DBLP DOI BibTeX RDF
2	Uwe Zdun, Mark Strembeck	Modeling Composition in Dynamic Programming Environments with Model Transformations.	Software Composition	2006	DBLP DOI BibTeX RDF
2	Nora Koch, Gefei Zhang, María José Escalona Cuaresma	Model transformations from requirements to web system design.	ICWE	2006	DBLP DOI BibTeX RDF	qvt, requirements engineering, model transformations, model-driven development, metamodeling, web engineering, uml
2	John Derrick, Heike Wehrheim	Model Transformations Incorporating Multiple Views.	AMAST	2006	DBLP DOI BibTeX RDF
2	Jean-Marie Mottu, Benoit Baudry, Yves Le Traon	Mutation Analysis Testing for Model Transformations.	ECMDA-FA	2006	DBLP DOI BibTeX RDF
2	Dennis Wagelaar, Ragnhild Van Der Straeten	A Comparison of Configuration Techniques for Model Transformations.	ECMDA-FA	2006	DBLP DOI BibTeX RDF
2	András Balogh, Gergely Varró, Dániel Varró, András Pataricza	Compiling model transformations to EJB3-specific transformer plugins.	SAC	2006	DBLP DOI BibTeX RDF	EJB 3.0, transformer plugins, model transformation, graph transformation, abstract state machines
2	Paloma Cáceres, Valeria de Castro, Juan M. Vara, Esperanza Marcos	Model transformations for hypertext modeling on web information systems.	SAC	2006	DBLP DOI BibTeX RDF	user issues, model transformation, modeling methodologies, hypertext/hypermedia
2	Jean Bézivin, Fabian Büttner, Martin Gogolla, Frédéric Jouault, Ivan Kurtev, Arne Lindow	Model Transformations? Transformation Models!	MoDELS	2006	DBLP DOI BibTeX RDF
2	Luciano Baresi, Karsten Ehrig, Reiko Heckel	Verification of Model Transformations: A Case Study with BPEL.	TGC	2006	DBLP DOI BibTeX RDF
2	Gabor Karsai, Anantha Narayanan	On the Correctness of Model Transformations in the Development of Embedded Systems.	Monterey Workshop	2006	DBLP DOI BibTeX RDF
2	Erwan Brottier, Franck Fleurey, Jim Steel, Benoit Baudry, Yves Le Traon	Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool.	ISSRE	2006	DBLP DOI BibTeX RDF
2	Bas Graaf, Sven Weber, Arie van Deursen	Migrating Supervisory Control Architectures Using Model Transformations.	CSMR	2006	DBLP DOI BibTeX RDF
2	Frédéric Jouault, Ivan Kurtev	On the architectural alignment of ATL and QVT.	SAC	2006	DBLP DOI BibTeX RDF	interoperability, model transformations, QVT, ATL, model engineering
2	Markus Schmidt	Transformations of UML 2 Models Using Concrete Syntax Patterns.	RISE	2006	DBLP DOI BibTeX RDF	UML 2 Profiles, Patterns, Model Transformations
2	Jean Bézivin, Bernhard Rumpe, Andy Schürr, Laurence Tratt	Model Transformations in Practice Workshop.	MoDELS Satellite Events	2005	DBLP DOI BibTeX RDF
2	Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwahed, Ethan K. Jackson	Semantic Anchoring with Model Transformations.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
2	Lars Grunske, Leif Geiger, Michael Lawley	A Graphical Specification of Model Transformations with Triple Graph Grammars.	ECMDA-FA	2005	DBLP DOI BibTeX RDF