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
Towards a semantic infrastructure supporting model-based tool integration
Proceedings of the 2006 international workshop on Global integrated model management
On the architectural alignment of ATL and QVT
Proceedings of the 2006 ACM symposium on Applied computing
Transformation techniques in the model-driven development process of UWE
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
Bridging existing Web modeling languages to model-driven engineering: a metamodel for WebML
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
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
ATL: a QVT-like transformation language
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Semi-automatic model integration using matching transformations and weaving models
Proceedings of the 2007 ACM symposium on Applied computing
Semi-automatic model integration using matching transformations and weaving models
Proceedings of the 2007 ACM symposium on Applied computing
Implementing a practical declarative logic-based model transformation engine
Proceedings of the 2007 ACM symposium on Applied computing
Separation of concerns in translational semantics for DSLs in model engineering
Proceedings of the 2007 ACM symposium on Applied computing
Transforming system operations' interactions into a design class diagram
Proceedings of the 2007 ACM symposium on Applied computing
Model transformation for object-relational database development
Proceedings of the 2007 ACM symposium on Applied computing
System Prototype and Verification Using Metamodel-Based Transformations
IEEE Distributed Systems Online
Mapping paradigm for document transformation
Proceedings of the 2007 ACM symposium on Document engineering
Rule-based modularization in model transformation languages illustrated with ATL
Science of Computer Programming
Science of Computer Programming
Rule-based modularization in model transformation languages illustrated with ATL
Science of Computer Programming
On the interoperability of model-to-model transformation languages
Science of Computer Programming
Science of Computer Programming
Towards automatic model synchronization from model transformations
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Decoupling web application concerns through weaving operations
Science of Computer Programming
Model-driven migration of supervisory machine control architectures
Journal of Systems and Software
Agent-oriented software engineering: a model-driven approach
International Journal of Agent-Oriented Software Engineering
On the conformity of models: a transducer-based approach for model transformation
Proceedings of the 2008 ACM symposium on Applied computing
Metamodel-based tool integration with moflon
Proceedings of the 30th international conference on Software engineering
A model transformation tool for performance simulation of complex uml models
Companion of the 30th international conference on Software engineering
Novel features in languages of the epsilon model management platform
Proceedings of the 2008 international workshop on Models in software engineering
ATL: A model transformation tool
Science of Computer Programming
Model-driven constraint programming
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Malan: a mapping language for the data manipulation
Proceedings of the eighth ACM symposium on Document engineering
Generating CAM aspect-oriented architectures using Model-Driven Development
Information and Software Technology
Model Transformation for Model Driven Development of Semantic Web Enabled Multi-Agent Systems
MATES '07 Proceedings of the 5th German conference on Multiagent System Technologies
A Development Process for Self-adapting Service Oriented Applications
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Model Driven Engineering for Designing Adaptive Multi-Agents Systems
Engineering Societies in the Agents World VIII
The Epsilon Transformation Language
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Approaches for Model Transformation Reuse: Factorization and Composition
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Code Generation by Model Transformation
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Application of Reflection in Model Transformation Languages
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Business Process Modeling for Organizational Knowledge Management
Concurrency, Graphs and Models
Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Ladder Metamodeling and PLC Program Validation through Time Petri Nets
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Generic Reusable Concern Compositions
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
A Domain-Specific Modelling Approach for Autonomic Network Management
MACE '08 Proceedings of the 3rd IEEE international workshop on Modelling Autonomic Communications Environments
The Objects and Arrows of Computational Design
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Precise Semantics of EMF Model Transformations by Graph Transformation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Model Transformation as an Optimization Problem
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Example-Based Program Transformation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Managing Model Conflicts in Distributed Development
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Raising the level of abstraction of application-level checkpointing
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
A Landscape of Bidirectional Model Transformations
Generative and Transformational Techniques in Software Engineering II
Model-Driven Performance Analysis
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Model Driven Specification of Ontology Translations
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Combining Quality Assurance and Model Transformations in Business-Driven Development
Applications of Graph Transformations with Industrial Relevance
State of the Art of QVT: A Model Transformation Language Standard
Applications of Graph Transformations with Industrial Relevance
Please Pass the Rules: A Rule Interchange Demonstration
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Using conditional transformations for semantic user interface adaptation
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
A Domain-Specific Language for Application-Level Checkpointing
ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
The Future of Software: Adaptation and Dependability
Software Engineering
HAAIS-DSL: DSL to develop home automation and ambient intelligence systems
Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems
Towards a compositional approach to model transformation for software development
Proceedings of the 2009 ACM symposium on Applied Computing
Model-Driven Integration of Organizational Models
Agent-Oriented Software Engineering IX
Prometheus and INGENIAS Agent Methodologies: A Complementary Approach
Agent-Oriented Software Engineering IX
Engineering a DSL for Software Traceability
Software Language Engineering
Engineering Languages for Specifying Product-Derivation Processes in Software Product Lines
Software Language Engineering
Optimization Patterns for OCL-Based Model Transformations
Models in Software Engineering
PLM paradigm: How to lead BPR within the Product Development field
Computers in Industry
Operation-based versioning of metamodels with COPE
CVSM '09 Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL
Automated Software Engineering
Formal Verification of AADL Specifications in the Topcased Environment
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
ADELFE Design, AMAS-ML in Action
Engineering Societies in the Agents World IX
A Model-Driven Engineering Framework for Component Models Interoperability
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Comparison of Three Model Transformation Languages
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
On the Use of Higher-Order Model Transformations
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Managing Model Adaptation by Precise Detection of Metamodel Changes
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Establishing Correspondences between Models with the Epsilon Comparison Language
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
A Model Driven Approach to the Analysis of Timeliness Properties
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Supporting Model---Driven Development of Object---Relational Database Schemas: A Case Study
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Experiments with a High-Level Navigation Language
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Using Metrics for Assessing the Quality of ASF+SDF Model Transformations
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
Combining DSLs and Ontologies Using Metamodel Integration
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Reuse of Architectural Knowledge in SPL Development
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
DUALLY: A framework for Architectural Languages and Tools Interoperability
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Automatically Discovering Hidden Transformation Chaining Constraints
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Parsing SBVR-Based Controlled Languages
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
OntoDSL: An Ontology-Based Framework for Domain-Specific Languages
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Test-Driven Development of Model Transformations
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Using AOSD and MDD to Enhance the Architectural Design Phase
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
A framework for the definition of metamodels for Computer-Aided Software Engineering tools
Information and Software Technology
Strategies for variability transformation at run-time
Proceedings of the 13th International Software Product Line Conference
Error patterns: systematic investigation of deviations in task models
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
Tool-supported method for the extraction of OCL from ORM models
BIS'07 Proceedings of the 10th international conference on Business information systems
A model-driven approach to the engineering of multiple user interfaces
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Validation of model transformations: first experiences using a white box approach
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
A flexible requirements analysis approach for software product lines
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
A survey on transformation tools for model based user interface development
HCI'07 Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability
Transformation templates: adding flexibility to model-driven engineering of user interfaces
Proceedings of the 2010 ACM Symposium on Applied Computing
Inter-DSL coordination support by combining megamodeling and model weaving
Proceedings of the 2010 ACM Symposium on Applied Computing
Modeling the interaction between semantic agents and semantic web services using MDA approach
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
A survey of UML models to XML schemas transformations
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
Applying model transformation by-example on business process modeling languages
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
How to build web self-service by functional profiles?
NTMS'09 Proceedings of the 3rd international conference on New technologies, mobility and security
Model transformation languages and their implementation by bootstrapping method
Pillars of computer science
Generating transformation rules from examples for behavioral models
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Tool support for generation and validation of traces between requirements and architecture
Proceedings of the 6th ECMFA Traceability Workshop
Xplain: an editor for building self-explanatory user interfaces by model-driven engineering
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Self-explanatory user interfaces by model-driven engineering
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
An exercise in iterative domain-specific language design
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE)
Bidirectionalizing graph transformations
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Using weaving models to automate model-driven web engineering proposals
International Journal of Computer Applications in Technology
Extending IP-XACT to support an MDE based approach for SoC design
Proceedings of the Conference on Design, Automation and Test in Europe
Towards a formal semantics for the AADL behavior annex
Proceedings of the Conference on Design, Automation and Test in Europe
Domain-specific composition of model deltas
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Towards incremental execution of ATL transformations
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
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Semi-automatic discovery of web services driven by user requirements
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
Re-engineering legacy web applications into rich internet applications
ICWE'10 Proceedings of the 10th international conference on Web engineering
Model driven engineering with ontology technologies
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
SysML to UML model transformation for test generation purpose
ACM SIGSOFT Software Engineering Notes
A comparison of model migration tools
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Active operations on collections
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
A technique for automatic validation of model transformations
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
A quality model for conceptual models of MDD environments
Advances in Software Engineering - Special issue on new generation of software metrics
Model-based refinement of security policies in collaborative virtual organisations
ESSoS'11 Proceedings of the Third international conference on Engineering secure software and systems
Automated co-evolution of GMF editor models
SLE'10 Proceedings of the Third international conference on Software language engineering
JTL: a bidirectional and change propagating transformation language
SLE'10 Proceedings of the Third international conference on Software language engineering
Towards managing software architectures with ontologies
Graph transformations and model-driven engineering
Leveraging model-based tool integration by conceptual modeling techniques
The evolution of conceptual modeling
Simplifying model transformation chains by rule composition
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
A framework for the integration of MOF-compliant analysis methods
Proceedings of the Second Asia-Pacific Symposium on Internetware
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 transformation workbench for building information models
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Model transformation analysis: staying ahead of the maintenance nightmare
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
Business process service oriented methodology (BPSOM) with service generation in SoaML
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
A technique for non-invasive application-level checkpointing
The Journal of Supercomputing
Supporting architectural design decisions evolution through model driven engineering
SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems
Using ASEME methodology for model-driven agent systems development
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Towards the automatic derivation of Malaca agents using MDE
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Lazy execution of model-to-model transformations
Proceedings of the 14th international conference on Model driven engineering languages and systems
Model-based (mechanical) product design
Proceedings of the 14th international conference on Model driven engineering languages and systems
Towards a general composition semantics for rule-based model transformation
Proceedings of the 14th international conference on Model driven engineering languages and systems
Development of an automated MBT toolchain from UML/SysML models
Innovations in Systems and Software Engineering
SiTra: simple transformations in Java
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Lifting metamodels to ontologies: a step to the semantic integration of modeling languages
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Inspection of distributed and composed systems
Proceedings of the 8th Middleware Doctoral Symposium
A DSML for reversible transformations
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Semantic-Based development of service-oriented systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Software and Systems Modeling (SoSyM)
VML* – a family of languages for variability management in software product lines
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Multi-view composition language for software product line requirements
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Model transformation languages relying on models as ADTs
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Graphical template language for transformation synthesis
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Model-Driven tool interoperability: an application in bug tracking
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Meta-models, models, and model transformations: towards interoperable agents
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
Experiments in model driven composition of user interfaces
DAIS'10 Proceedings of the 10th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Towards model driven tool interoperability: bridging eclipse and microsoft modeling tools
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Example-Based sequence diagrams to colored petri nets transformation using heuristic search
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Model search: formalizing and automating constraint solving in MDE platforms
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
A comparison of configuration techniques for model transformations
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
MOFLON: a standard-compliant metamodeling framework with graph transformations
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
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
Catch me if you can – debugging support for model transformations
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Model patches in model-driven engineering
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Explicit transformation modeling
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
A generic solution for agile run-time inspection middleware
Middleware'11 Proceedings of the 12th ACM/IFIP/USENIX international conference on Middleware
Tree based domain-specific mapping languages
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
A model-based development approach for model transformations
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Model Management Systems vs. Model Driven Engineering: a case study
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A transformation engine for model-driven UI generation
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Search-based model transformation by example
Software and Systems Modeling (SoSyM)
Formal foundation of consistent EMF model transformations by algebraic graph transformation
Software and Systems Modeling (SoSyM)
Model translations among big-step modeling languages
Proceedings of the 34th International Conference on Software Engineering
Modeling secure mobile agent systems
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
A lightweight approach for managing XML documents with MDE languages
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Unification of compiled and interpreter-based pattern matching techniques
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Type-Safe model transformation languages as internal DSLs in scala
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
An algorithm for generating model-sensitive search plans for EMF models
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
An introduction to model versioning
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
UniTI: a unified transformation infrastructure
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
What will it take? A view on adoption of model-based methods in practice
Software and Systems Modeling (SoSyM)
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
ATLTest: a white-box test generation approach for ATL transformations
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Generation of operational transformation rules from examples of model transformations
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
A generic approach simplifying model-to-model transformation chains
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Leveraging formal verification tools for DSML users: a process modeling case study
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
A generic solution for agile run-time inspection middleware
Proceedings of the 12th International Middleware Conference
A model-driven approach for the extraction of network access-control policies
Proceedings of the Workshop on Model-Driven Security
Constraint-based specification of model transformations
Journal of Systems and Software
Automated verification of model transformations based on visual contracts
Automated Software Engineering
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
Functional validation of AADL models via model transformation to SystemC with ATL
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
A collection of method fragments automated with model transformations in agent-oriented modeling
Engineering Applications of Artificial Intelligence
Typing artifacts in megamodeling
Software and Systems Modeling (SoSyM)
Managing the evolution of data-intensive Web applications by model-driven techniques
Software and Systems Modeling (SoSyM)
Harvesting models from web 2.0 databases
Software and Systems Modeling (SoSyM)
Verification of Model Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Supporting maintenance tasks on transformational code generation environments
Proceedings of the 2013 International Conference on Software Engineering
"Adore", a logical meta-model supporting business process evolution
Science of Computer Programming
Modeling and simulation of agent-based complex systems and application to natural disasters
Proceedings of the 8th ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks
Towards of complex natural disasters systems framework
Proceedings of the 2013 Research in Adaptive and Convergent Systems
Proceedings of the 6th International Workshop on Models and Evolution
Business model ontologies in OLAP cubes
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Generating attribute grammar-based bidirectional transformations from rewrite rules
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Modeling and optimizing large-scale data flows
Future Generation Computer Systems
On the use of a domain-specific modeling language in the development of multiagent systems
Engineering Applications of Artificial Intelligence
Confluence of aspects for sequence diagrams
Software and Systems Modeling (SoSyM)
A transformation-based approach to context-aware modelling
Software and Systems Modeling (SoSyM)
Bridging the gap between formal semantics and implementation of triple graph grammars
Software and Systems Modeling (SoSyM)
Tracing conceptual models' evolution in data warehouses by using the model driven architecture
Computer Standards & Interfaces
| Hi-index | 0.00 |
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation definitions. The paper describes the language syntax and semantics by using examples. ATL is supported by a set of development tools such as an editor, a compiler, a virtual machine, and a debugger. A case study shows the applicability of the language constructs. Alternative ways for implementing the case study are outlined. In addition to the current features, the planned future ATL features are briefly discussed.