Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Model comparison: a foundation for model composition and model transformation testing
Proceedings of the 2006 international workshop on Global integrated model management
TCS:: a DSL for the specification of textual concrete syntaxes in model engineering
Proceedings of the 5th international conference on Generative programming and component engineering
Novel features in languages of the epsilon model management platform
Proceedings of the 2008 international workshop on Models in software engineering
Merging models with the epsilon merging language (EML)
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
The epsilon object language (EOL)
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Constructing Models with the Human-Usable Textual Notation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Engineering a DSL for Software Traceability
Software Language Engineering
FPTC: Automated Safety Analysis for Domain-Specific Languages
Models in Software Engineering
Optimization Patterns for OCL-Based Model Transformations
Models in Software Engineering
Experiments with a High-Level Navigation Language
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Abstracting Complex Languages through Transformation and Composition
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Integrating Textual and Graphical Modelling Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Domain-specific composition of model deltas
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Model migration with epsilon flock
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
transML: a family of languages to model model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Taming EMF and GMF using model transformation
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Specification and verification of model transformations using UML-RSDS
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
The use of model transformation in the INESS project
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Journal of Visual Languages and Computing
Managing the quality of software product line architectures through reusable model transformations
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Proceedings of the 2nd International Workshop on Model Comparison in Practice
A comparison of rule inheritance in model-to-model transformation languages
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
A graph query language for EMF models
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Rigorous identification and encoding of trace-links in model-driven engineering
Software and Systems Modeling (SoSyM)
Towards a general composition semantics for rule-based model transformation
Proceedings of the 14th international conference on Model driven engineering languages and systems
Model transformation by-example: a survey of the first wave
Conceptual Modelling and Its Theoretical Foundations
A model-based development approach for model transformations
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Model-driven iterative development of 3D web-applications using SSIML, X3D and JavaScript
Proceedings of the 17th International Conference on 3D Web Technology
Solving acquisition problems using model-driven engineering
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Specification-Driven test generation for model transformations
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Lessons learned from building model-driven development tools
Software and Systems Modeling (SoSyM)
On fault tolerance reuse during refinement
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Tool demonstration of the transformation judge
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
A case study based comparison of ATL and SDM
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Constraint-based specification of model transformations
Journal of Systems and Software
Automated verification of model transformations based on visual contracts
Automated Software Engineering
Model transformations with Tom
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
Software and Systems Modeling (SoSyM)
Genericity for model management operations
Software and Systems Modeling (SoSyM)
Applying MDE to the (semi-)automatic development of model transformations
Information and Software Technology
A meta-model for performance modeling of dynamic virtualized network infrastructures
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
Supporting maintenance tasks on transformational code generation environments
Proceedings of the 2013 International Conference on Software Engineering
MTC Flow: a tool to design, develop and deploy model transformation chains
Proceedings of the workshop on ACadeMics Tooling with Eclipse
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Reusable abstractions for modeling languages
Information Systems
Confluence of aspects for sequence diagrams
Software and Systems Modeling (SoSyM)
GReTL: an extensible, operational, graph-based transformation language
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Support for automated model transformation is essential for realizing a Model Driven Development (MDD) process. However, model transformation is only one of the many tools in a model engineering toolkit. To apply MDD in the large, automated support for a number of additional tasks such as model comparison, merging, validation and model-to-text transformation, is essential. While a number of successful model transformation languages have been currently proposed, the majority of them have been developed in isolation and as a result, they face consistency and integration difficulties with languages that support other model management tasks. We present the Epsilon Transformation Language (ETL), a hybrid model transformation language that has been developed atop the infrastructure provided by the Epsilon model management platform. By building atop Epsilon, ETL is seamlessly integrated with a number of other task-specific languages to help to realize composite model management workflows.