ListarArtículos (Lenguajes y Sistemas Informáticos) por materia "ATL"
Mostrando ítems 1-4 de 4
-
Artículo
A Rewriting Logic Semantics for ATL
(AITO: Association Internationale pour les Technologies Objets, 2011)As the complexity of model transformation (MT) grows, the need to rely on formal semantics of MT languages becomes a ...
-
Artículo
Full contract verification for ATL using symbolic execution
(Springer, 2016)The Atlas Transformation Language (ATL) is currently one of the most used model transformation languages and has become a ...
-
Artículo
Interorganizational Business Modeling: an Approach for Traceability of Goals, Organizational Models and Business Processes
(IEEE Computer Society, 2011)The main goal of business modeling is to understand organizations to provide software solutions with high added value. ...
-
Artículo
Model Transformation Modularization as a Many-Objective Optimization Problem
(IEEE Computer Society, 2017)Model transformation programs are iteratively refined, restructured, and evolved due to many reasons such as fixing bugs and ...