• Publications
  • Influence
Deep Meta-modelling with MetaDepth
TLDR
This paper presents MetaDepth, a new meta-modelling environment that allows modelling with an arbitrary number of ontological meta-levels through deep metamodelling. Expand
  • 174
  • 14
  • PDF
transML: a family of languages to model model transformations
TLDR
We propose a family of transformation languages that cover the life-cycle of transformation development including requirements, analysis, architecture, design and testing. Expand
  • 48
  • 9
  • PDF
When and How to Use Multilevel Modelling
TLDR
Multilevel modelling extends the standard approach to metamodelling by enabling modelling at an arbitrary number of metalevels, not necessarily two. Expand
  • 107
  • 8
Verification and validation of declarative model-to-model transformations through invariants
TLDR
We propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. Expand
  • 162
  • 7
  • PDF
A research roadmap towards achieving scalability in model driven engineering
TLDR
This paper attempts to provide a research roadmap for scalability in modelling and MDE and outline directions for work in this emerging research area. Expand
  • 126
  • 6
  • PDF
Engineering model transformations with transML
TLDR
We present a family of modelling languages, called transML, which covers the whole life cycle of transformation development enabling the engineering of transformations. Expand
  • 73
  • 6
  • PDF
Assessing the Quality of Meta-models
TLDR
Meta-models play a pivotal role in Model-Driven Engineering (MDE), while they play a crucial role for the success of MDE projects, the community still lacks tools to check meta-model quality criteria, like design errors or adherence to naming conventions and best practices. Expand
  • 36
  • 6
  • PDF
A Component Model for Model Transformations
TLDR
In this paper, we propose a technique for the flexible reutilization of model transformations across different modelling languages. Expand
  • 57
  • 5
  • PDF
Uncovering Errors in ATL Model Transformations Using Static Analysis and Constraint Solving
TLDR
We propose a method for the static analysis of one of the most widely used model transformation languages: ATL. Expand
  • 32
  • 5
  • PDF
Automated verification of model transformations based on visual contracts
TLDR
Model-Driven Engineering promotes the use of models to conduct the different phases of the software development. Expand
  • 93
  • 4
  • PDF
...
1
2
3
4
5
...