Sciweavers

Share
ENTCS
2006

Using ATL for Checking Models

8 years 8 months ago
Using ATL for Checking Models
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. Key words: Model Engineering, OCL, checking models, ATL
Jean Bézivin, Frédéric Jouaul
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Jean Bézivin, Frédéric Jouault
Comments (0)
books