Using ATL for Checking Models | Zendy

Jean Bézivín | Zendy; Frédéric Jouault | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Using ATL for Checking Models

Author(s) -

Jean Bézivín,

Frédéric Jouault

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.01.015

Subject(s) - metamodeling , digital subscriber line , computer science , programming language , eclipse , model driven architecture , model transformation , unified modeling language , plug in , domain specific language , modeling language , object constraint language , model checking , set (abstract data type) , theoretical computer science , domain (mathematical analysis) , software engineering , artificial intelligence , applications of uml , software , mathematics , telecommunications , mathematical analysis , physics , consistency (knowledge bases) , astronomy

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research