Designing the automatic transformation of visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Eclipse Modeling Framework
On the architectural alignment of ATL and QVT
Proceedings of the 2006 ACM symposium on Applied computing
Modeling in the large and modeling in the small
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
KM3: a DSL for metamodel specification
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Towards Meta-model Interoperability of Models through Intelligent Transformations
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Achieving Rule Interoperability Using Chains of Model Transformations
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Automatically Discovering Hidden Transformation Chaining Constraints
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Model Transformation by Demonstration
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Incremental Development of Model Transformation Chains Using Automated Testing
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
MatchBox: combined meta-model matching for semi-automatic mapping generation
Proceedings of the 2010 ACM Symposium on Applied Computing
Towards incremental execution of ATL transformations
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Surviving the heterogeneity jungle with composite mapping operators
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Enabling tool reuse and interoperability through model-driven engineering
Journal of Computational Methods in Sciences and Engineering - Special Supplement Issue in Section A and B: Selected Papers from the ISCA International Conference on Software Engineering and Data Engineering, 2009
Information and Software Technology
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Model-based refinement of security policies in collaborative virtual organisations
ESSoS'11 Proceedings of the Third international conference on Engineering secure software and systems
Integration tools for consistency management between design documents in development processes
Graph transformations and model-driven engineering
An end-user demonstration approach to support aspect-oriented modeling
Proceedings of the 33rd International Conference on Software Engineering
Dynamic plans for integration testing of self-adaptive software systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
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
What is needed for managing co-evolution in MDE?
Proceedings of the 2nd International Workshop on Model Comparison in Practice
Model-driven development of model transformations
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Generic model transformations: write once, reuse everywhere
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Combining specification-based and code-based coverage for model transformation chains
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Toward bidirectionalization of ATL with GRoundTram
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Performance in model transformations: experiments with ATL and QVT
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
A demonstration-based approach to support live transformations in a model editor
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
A model driven approach for AMF configuration generation
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Tractable model transformation testing
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Test suite quality for model transformation chains
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Lightweight testing of communication networks with e-motions
TAP'11 Proceedings of the 5th international conference on Tests and proofs
A model-driven framework for aspect weaver construction
Transactions on aspect-oriented software development VIII
CDDiff: semantic differencing for class diagrams
Proceedings of the 25th European conference on Object-oriented programming
Proceedings of the 25th European conference on Object-oriented programming
Scenarchitectures: the use of domain-specific architectures to bridge design and implementation
INTERACT'11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part II
Advances in model transformations by graph transformation: specification, execution and analysis
Rigorous software engineering for service-oriented systems
A WYSIWYG approach for configuring model layout using model transformations
Proceedings of the 10th Workshop on Domain-Specific Modeling
Plug & play model transformations: a DSL for resolving structural metamodel heterogeneities
Proceedings of the 10th Workshop on Domain-Specific Modeling
Model-driven engineering techniques for the development of multi-agent systems
Engineering Applications of Artificial Intelligence
On automated generation of associations in conceptual database model
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
API2MoL: Automating the building of bridges between APIs and Model-Driven Engineering
Information and Software Technology
On validation of ATL transformation rules by transformation models
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Bridging the gap between requirements and design: An approach based on Problem Frames and SysML
Journal of Systems and Software
Catch me if you can – debugging support for model transformations
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Incremental model synchronization for efficient run-time monitoring
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Modular embedding of the object constraint language into a programming language
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Modeling and managing variability in process-based service compositions
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Model transformation by-example: a survey of the first wave
Conceptual Modelling and Its Theoretical Foundations
KR4HC'11 Proceedings of the 3rd international conference on Knowledge Representation for Health-Care
TwoEagles: a model transformation tool from architectural descriptions to queueing networks
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Model-driven automation for simulation-based functional verification
ACM Transactions on Design Automation of Electronic Systems (TODAES) - Special section on verification challenges in the concurrent world
Domain specific language for the generation of learning management systems modules
Journal of Web Engineering
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Journal of Systems and Software
Cloning in DSLs: experiments with OCL
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
MoScript: a DSL for querying and manipulating model repositories
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Computations in graph rewriting: inductive types and pullbacks in DPO approach
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Design of a BPEL verification tool
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
From Teleo-Reactive specifications to architectural components: A model-driven approach
Journal of Systems and Software
BOB the builder: a fast and friendly model-to-petrinet transformer
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
A K-based formal framework for domain-specific modelling languages
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Specification-Driven test generation for model transformations
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Typing model transformations using tracts
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Towards a family of model transformation languages
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Constraint-Driven modeling through transformation
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Formal specification and testing 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
Model-driven performance analysis of rule-based domain specific visual models
Information and Software Technology
Correctness of object oriented models by extended type inference
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
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
On verifying ATL transformations using 'off-the-shelf' SMT solvers
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Seeing errors: model driven simulation trace visualization
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Weaving-based configuration and modular transformation of multi-layer systems
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Runtime adaptation of architectural models: an approach for adapting user interfaces
MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
Model transformations with Tom
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
Verification of ATL transformations using transformation models and model finders
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Towards tracking "guilty" transformation rules: a requirements perspective
Proceedings of the First Workshop on the Analysis of Model Transformations
Typing artifacts in megamodeling
Software and Systems Modeling (SoSyM)
Applying MDE to the (semi-)automatic development of model transformations
Information and Software Technology
A model-based synthesis process for choreography realizability enforcement
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Retainment policies - A formal framework for change retainment for trace-based model transformations
Information and Software Technology
Towards tool support for agile modeling: sketching equals modeling
Proceedings of the 2012 Extreme Modeling Workshop
Modeling dynamic adaptations using augmented feature models
Proceedings of the 28th Annual ACM Symposium on Applied Computing
On the concurrent execution of model transformations with Linda
Proceedings of the Workshop on Scalability in Model Driven Engineering
Traceability visualization in metamodel change impact detection
Proceedings of the Second Workshop on Graphical Modeling Language Development
An EMF-based toolkit for reasoning on web services evolution
Proceedings of the workshop on ACadeMics Tooling with Eclipse
MTC Flow: a tool to design, develop and deploy model transformation chains
Proceedings of the workshop on ACadeMics Tooling with Eclipse
Science of Computer Programming
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Supporting large scale model transformation reuse
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Generation of conjoint domain models for system-of-systems
Proceedings of the 12th international conference on Generative programming: concepts & experiences
End-User support for debugging demonstration-based model transformation execution
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Automatic data transformation: breaching the walled gardens of social network platforms
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
Proceedings of the 5th Asia-Pacific Symposium on Internetware
Model-driven approach to enterprise interoperability at the technical service level
Computers in Industry
Journal of Systems and Software
On the use of a domain-specific modeling language in the development of multiagent systems
Engineering Applications of Artificial Intelligence
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
Graph and model transformation tools for model migration
Software and Systems Modeling (SoSyM)
Simulating upgrades of complex systems: The case of Free and Open Source Software
Information and Software Technology
Specifying model changes with UMLchange to support security verification of potential evolution
Computer Standards & Interfaces
Querying large models efficiently
Information and Software Technology
Evaluation of model transformation approaches for model refactoring
Science of Computer Programming
A survey and comparison of transformation tools based on the transformation tool contest
Science of Computer Programming
Hi-index | 0.00 |
In the context of Model Driven Engineering, models are the main development artifacts and model transformations are among the most important operations applied to models. A number of specialized languages have been proposed, aimed at specifying model transformations. Apart from the software engineering properties of transformation languages, the availability of high quality tool support is also of key importance for the industrial adoption and ultimate success of MDE. In this paper we present ATL: a model transformation language and its execution environment based on the Eclipse framework. ATL tools provide support for the major tasks involved in using a language: editing, compiling, executing, and debugging.