On the architectural alignment of ATL and QVT

No abstract is available for this paper.

• Publication year

  2006

• Venue

  ACM Symposium on Applied Computing

• Publication date

  2006-04-23

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1141277.1141561
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Transforming Models with ATL

  2005cited by this paper
• Applying Generic Model Management to Data Mapping

  2005cited by this paper
• A Practical Approach to Bridging Domain Specific Languages with UML profiles

  2005cited by this paper
• Rules

  2004cited by this paper
• A review of OMG MOF 2 . 0 Query / Views / Transformations Submissions and Recommendations towards the final Standard

  2003cited by this paper
• Initial submission for MOF 2.0 Query / Views / Transformations RFP

  2003cited by this paper
• Classification of Model Transformation Approaches

  2003cited by this paper
• Modeling in the Large and Modeling in the Small

  2003cited by this paper
• Eclipse Modeling Framework

  2003cited by this paper
• First experiments with the ATL model transformation language: Transforming XSLT into XQuery

  2003cited by this paper
• The Object Constraint Language (OCL)

  2002influential reference
• An Overview of AspectJ

  2001cited by this paper
• Object-Oriented Software Construction, 2nd Edition

  1997cited by this paper

• A Model-Based Approach to Experiment-Driven Evolution of ML Workflows

  2025cites this paper
• An Approach Based On Model Driven Engineering For Big Data Visualization In Different Visual Modes

  2020cites this paper
• Model-driven approaches to analysing time- and location-dependent access control specifications

  2019cites this paper
• Supporting model extensions in RubyTL

  2018cites this paper
• Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL. (A model-driven engineering approach for verifying AADL descriptions)

  2018cites this paper
• Efficient persistence, query, and transformation of large models. (Persistance, requêtage, et transformation efficaces de grands modèles)

  2017cites this paper
• Building the foundations for 'MDE as Service'

  2017cites this paper
• Institutional Repository A satisficing bi-directional model transformation engine using mixed integer linear programming

  2017cites this paper
• Internal Repport Number : IRIT / RR-- 2017 -02-- FR A Dynamic Type System for OCL

  2017cites this paper
• Model driven flexible design of a wireless body sensor network for health monitoring

  2017cites this paper
• SCRIStUDIO: A security pattern integration tool

  2016influential citation
• Automated composition of sequence diagrams

  2016cites this paper
• PTL: A model transformation language based on logic programming

  2016cites this paper
• A Model-Driven Engineering Framework for Computational Replicability and Reproducibility

  2016influential citation
• UMLtoGraphDB: Mapping Conceptual Schemas to Graph Databases

  2016cites this paper
• A Framework to Combine MDA and Ontology Learning

  2016cites this paper
• Applying a Model-driven Approach to Model Transformation Development

  2016cites this paper
• Aplicación del patrón de transformación de síntesis para la comparación de los lenguajes ATL vs. QVT

  2015cites this paper
• View to view transformations in domain specific modeling

  2015cites this paper
• Achieving Unified Data Quality Representation by Constraints Transformation

  2015cites this paper
• Discovering model transformation pre-conditions using automatically generated test models

  2015cites this paper
• Modellgetriebene Entwicklung mit Graphtransformationen

  2015cites this paper
• Formalization of Mapping Rules from iStar to Class Diagram in UML

  2015cites this paper
• Feasibility Tool : Supporting the Early Technical Feasibility Assessment of Application Cloudifications An approach for estimating the complexity of a cloudification project in a pre-modernization stage

  2014cites this paper
• Automatic generation of software applications: a platform-based MDA approach

  2014cites this paper
• A Relational Approach to

  2014cites this paper
• SPRINT Deliverable

  2014cites this paper
• Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (eingebetteten) Systemen

  2014cites this paper
• Uma ferramenta acessível de apoio à modelagem de software na Web

  2014influential citation
• A survey of Model-Driven approaches applied to DEVS - a comparative study of metamodels and transformations

  2014cites this paper
• An Automatic Approach to Verify Business Process Models Using INA Petri Nets Analyzer

  2014cites this paper
• Automatic transformation applied to a software process using MDA

  2014cites this paper
• A relational approach to bidirectional transformation

  2014cites this paper
• Extracting business vocabularies from business process models: SBVR and BPNM standards-based approach

  2014cites this paper
• Extending JUnit 4 with Java annotations and reflection to test variant model transformation assets

  2014cites this paper
• Specifying model changes with UMLchange to support security verification of potential evolution

  2014cites this paper
• Generative adaptation of model transformation assets: experiences, lessons and drawbacks

  2014cites this paper
• Least-change bidirectional model transformation with QVT-R and ATL

  2014cites this paper
• Supporting large scale model transformation reuse

  2014cites this paper
• (co-)evolution in MDSE ecosystems

  2014influential citation
• Telemaco: A Language Oriented Tool for Graph-based Models Layout Optimization

  2013cites this paper
• From State-transition Models to DEVS Models - Improving DEVS External Interoperability using MetaDEVS - A MDE Approach

  2013cites this paper
• An MDE Approach to Derive System component Behavior

  2013cites this paper
• "EditionPattern" au sein de la plate-forme Openexo

  2013cites this paper
• A model-based method to manage time properties in component based software systems. (Une me'thode fonde'e sur les modèles pour ge'rer les proprie'te's temporelles des systèmes à composants logiciels)

  2013cites this paper
• Multi-target user interface design and generationusing model-driven engineering

  2013influential citation
• A model-based method to manage time properties in component based software systems

  2013cites this paper
• A Satisficing Bi-Directional Model Transformation Engine using Mixed Integer Linear Programming

  2013cites this paper
• Formalisation et exécutabilité du langage "EditionPattern" au sein de la plate-forme Openflexo

  2013cites this paper
• From AADL to Timed Automaton-A Verification Approach

  2013cites this paper
• Towards a Catalog of Non-Functional Requirements in Model Transformation Languages

  2013cites this paper
• Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models

  2013cites this paper
• Extracting business vocabularies from business process models: SBVR and BPMN standards-based approach

  2013cites this paper
• Deriving Multi-Agent System Behavior

  2013cites this paper
• Towards a Catalog of Non-Functional Requirements in Model Transformation Languages.

  2013cites this paper
• Hazard and early warning analysis based on domain specific modeling technologies

  2013cites this paper
• Using Models of Partial Knowledge to Test Model Transformations

  2012cites this paper
• Realizing Model Transformation Chain interoperability

  2012influential citation
• Model-Driven and Software Product Line Engineering

  2012influential citation
• Suitability of Active Rules for Model Transformation

  2012cites this paper
• Assessing and improving the quality of model transformations

  2012cites this paper
• Sonata: Flexible connections between interaction and business spaces

  2012influential citation
• TOWARDS A SYSTEMATIC INTEGRATION OF MOF/UML-BASED DOMAIN-SPECIFIC MODELING LANGUAGES

  2012cites this paper
• Interoperability on Low Power Devices

  2012cites this paper
• Application of Model-Driven Engineering and Metaprogramming to DEVS Modeling & Simulation. (Application de l'ingénierie dirigée par les modèles et de la métaprogrammation à la modélisation & simulation DEVS)

  2012cites this paper
• Modellbasierte Extraktion, Repräsentation und Analyse von Traceability-Informationen

  2012cites this paper
• Translational Semantics of a Co-evolution Specific Language with the EMF Transformation Virtual Machine

  2012cites this paper
• Modell-zu-Modell-Transformation von Modellen von Benutzerschnittstellen

  2012cites this paper
• An Algebraic Semantics for QVT-Relations Check-only Transformations

  2012cites this paper
• Cognitive Modeling and Support for Ambient Assistance

  2012cites this paper
• Transformation and Validation with SWRL and OWL of ODM-Based Models

  2012cites this paper
• CDOSim: Simulating cloud deployment options for software migration support

  2012cites this paper
• Colouring: execution, debug and analysis of QVT-relations transformations through coloured Petri nets

  2012cites this paper
• Modeling Theories and Model Transformation Scenario for Complex System Development

  2012cites this paper
• Towards a Decision Making Framework for Model Transformation Languages

  2012cites this paper
• Langages modernes pour la modélisation et la vérification des systèmes asynchrones. (Modern languages for modeling and verifying asynchronous systems)

  2011cites this paper
• Applying Protocol Service for the monitoring of business process

  2011cites this paper
• Spem4mde : un métamodèle et un environnement pour la modélisation et la mise en œuvre assistée de processus IDM. (Spem4mde : a metamodel and software environment for assisted modeling and enactment of MDE processes)

  2011cites this paper
• Formal verification of QVT transformations for code generation

  2011cites this paper
• A Performance Analysis of Model Transformations and Tools

  2011cites this paper
• Towards the systematic measurement of ATL transformation models

  2011influential citation
• Construction de spécifications formelles abstraites dirigée par les buts. (Building abstract formal Specifications driven by goals)

  2011cites this paper
• Embedding requirements within Model-Driven Architecture

  2011cites this paper
• Extending the Knowledge Discovery Metamodel to Support

  2011cites this paper
• On Scenario-based Model-driven Configuration Management for Flexible Networking Experimentation Infrastructures

  2011cites this paper
• A goal-oriented approach formanaging requirements in the development of web applications

  2011cites this paper
• Towards a general composition semantics for rule-based model transformation

  2011influential citation
• Using meta‐modeling in design and implementation of component‐based systems: the SOFA case study

  2011cites this paper
• Extending the Knowledge Discovery Metamodel to Support Aspect-Oriented Programming

  2011cites this paper
• FORMALLY FOUNDED AUTOMATED SECURITY ANALYSIS

  2011cites this paper
• Una metodologia per la modellazione formale di sistemi critici basata su metodi e tecniche di Model Driven Engineering

  2011cites this paper
• ODM-based UML Model Transformations using Prolog (cid:63)

  2011cites this paper
• Generic modeling and mapping languages for model management

  2011cites this paper
• Model-Driven Availability Evaluation of Railway Control Systems

  2011cites this paper
• Konzept Und Implementierung Einer Sprache Zur Model-to-model Transformation

  2011cites this paper
• Interpretation of Behaviour Models at Runtime: Performance Benchmark and Case Studies

  2011cites this paper
• On the Quantification of Value Networks: A Dependency Model for Interconnection Scenarios

  2011cites this paper
• Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned

  2011cites this paper
• Designing round-trip systems by change propagation and model partitioning

  2011cites this paper
• PLA modeliavimo metodo panaudojimas programinės įrangos funkcionalumo analizei

  2011cites this paper