Dec 2, 2016 · In this paper, we present a method for the static analysis of ATL model transformations. The method aims at discovering typing and rule errors, ...
In this paper, we present a method for the static analysis of ATL model transformations. The method aims at discovering typing and rule errors, like unresolved ...
Abstract—Model transformations are central to Model-Driven Engineering (MDE), where they are used to transform models.
In this paper, we present a method for the static analysis of ATL model transformations. The method aims at discovering typing and rule errors.
In this paper, we present a method for the static analysis of ATL model transformations. The method aims at discovering typing and rule errors.
The static analysis process consists of three separate steps: (1) a Transformation Program Model (TPM) is built for storing an abstract representa- tion of the ...
Our static analysis uncovers knowledge about how the input model elements are accessed by transformation operations. This information is called the input ...
People also ask
What is static analysis vs dynamic analysis in FEA?
What is static analysis of structures?
Model-to-model transformations are programs that translate models of one language. (e.g., statecharts in the Unified Modeling Language (UML) [Obj15]) into ...
Model transformations, utilized for various tasks, such as formal model analysis or code generation are key elements of model-driven development processes.
Duration: 19:55
Posted: Jun 11, 2021
Posted: Jun 11, 2021