An open graph visualization system and its applications to software engineering
Software—Practice & Experience - Special issue on discrete algorithm engineering
Eclipse Modeling Framework
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
sNets: a first generation model engineering platform
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Introduction to GaMMa 2006 first international workshop on global integrated model management
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
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
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
On the interoperability of model-to-model transformation languages
Science of Computer Programming
Decoupling web application concerns through weaving operations
Science of Computer Programming
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
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
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
Raising the level of abstraction of application-level checkpointing
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
AN UNSUPERVISED INCREMENTAL LEARNING ALGORITHM FOR DOMAIN-SPECIFIC LANGUAGE DEVELOPMENT
Applied Artificial Intelligence
Design Space of Heterogeneous Synchronization
Generative and Transformational Techniques in Software Engineering II
A Domain-Specific Language for Application-Level Checkpointing
ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
MARISA-DP -- from architecture to design: an MDD approach
Proceedings of the 15th workshop on Early aspects
A Model Engineering Approach to Tool Interoperability
Software Language Engineering
A semantic framework for metamodel-based languages
Automated Software Engineering
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL
Automated Software Engineering
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
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
Managing Dependent Changes in Coupled Evolution
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
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
Parsing SBVR-Based Controlled Languages
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
Gaia Agents Implementation through Models Transformation
PRIMA '09 Proceedings of the 12th International Conference on Principles of Practice in Multi-Agent Systems
An ontology modelling perspective on business reporting
Information Systems
Towards more extensible metaCASE tools
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
A practical approach to model extension
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
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
Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach
Science of Computer Programming
Specification of modelling languages in a flexible meta-model architecture
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume
Textual modeling tools: overview and comparison of language workbenches
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Towards a rewriting logic semantics for ATL
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
Model driven engineering with ontology technologies
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Deep meta-modelling with METADEPTH
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Modeling issues: a survival guide for a non-expert modeler
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Graphical versus textual software measurement modelling: an empirical study
Software Quality Control
Feature and meta-models in Clafer: mixed, specialized, and coupled
SLE'10 Proceedings of the Third international conference on Software language engineering
The lazy initialization multilayered modeling framework (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
Action semantics for defining dynamic semantics of modeling languages
Proceedings of the Third Workshop on Behavioural Modelling
Graph-transformation verification using monadic second-order logic
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Taming the confusion of languages
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
A model-driven framework for aspect weaver construction
Transactions on aspect-oriented software development VIII
Using ASEME methodology for model-driven agent systems development
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Reasoning about metamodeling with formal specifications and automatic proofs
Proceedings of the 14th international conference on Model driven engineering languages and systems
Model-Driven analysis and synthesis of concrete syntax
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Software and Systems Modeling (SoSyM)
Ontological metamodeling with explicit instantiation
SLE'09 Proceedings of the Second international conference on Software Language Engineering
A role-based approach towards modular language engineering
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
Model search: formalizing and automating constraint solving in MDE platforms
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Concordance: a framework for managing model integrity
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Joint language and domain engineering
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Rigorous Methods for Software Construction and Analysis
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Using enterprise architecture and technology adoption models to predict application usage
Journal of Systems and Software
Metamodel adaptation and model co-adaptation
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
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
Typing artifacts in megamodeling
Software and Systems Modeling (SoSyM)
Applying MDE to the (semi-)automatic development of model transformations
Information and Software Technology
Structural recursion for querying ordered graphs
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
DropsBox: the Dresden Open Software Toolbox
Software and Systems Modeling (SoSyM)
An ontology-based framework for domain-specific modeling
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
We consider in this paper that a DSL (Domain Specific Language) may be defined by a set of models. A typical DSL is the ATLAS Transformation Language (ATL). An ATL program transforms a source model (conforming to a source metamodel) into a target model (conforming to a target metamodel). Being itself a model, the transformation program conforms to the ATL metamodel. The notion of metamodel is thus used to define the source DSL, the target DSL and the transformation DSL itself. As a consequence we can see that agility to define metamodels and precision of these definitions is of paramount importance in any model engineering activity. In order to fullfill the goals of agility and precision in the definition of our metamodels, we have been using a notation called KM3 (Kernel MetaMetaModel). KM3 may itself be considered as a DSL for describing metamodels. This paper presents the rationale for using KM3, some examples of its use and a precise definition of the language.