Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL
Automated Software Engineering
A model-driven approach to weave architectural styles into service-oriented architectures
Proceedings of the first international workshop on Model driven service engineering and data quality and security
Contracts for model execution verification
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
EUnit: a unit testing framework for model management tasks
Proceedings of the 14th international conference on Model driven engineering languages and systems
E-CARe: A Process for Engineering Ubiquitous Information Systems
International Journal of Information System Modeling and Design
| Hi-index | 0.00 |
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. However, there are very few tools able to do the same for any metamodel. This is quite penalizing for the DSL (Domain Specific Language) approach to model engineering. In this paper we propose a metamodel-independent solution to this problem that uses ATL (Atlas Transformation Language). This solution has been implemented as an Eclipse-based plugin.