Artículo
A Rewriting Logic Semantics for ATL
Autor/es | Troya Castilla, Javier
Vallecillo Moreno, Antonio |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2011 |
Fecha de depósito | 2018-04-16 |
Publicado en |
|
Resumen | As the complexity of model transformation (MT) grows, the
need to rely on formal semantics of MT languages becomes a critical issue.
Formal semantics provide precise speci cations of the expected behavior
of transformations, ... As the complexity of model transformation (MT) grows, the need to rely on formal semantics of MT languages becomes a critical issue. Formal semantics provide precise speci cations of the expected behavior of transformations, allowing users to understand them and to use them properly, and MT tool builders to develop correct MT engines, compilers, etc. In addition, formal semantics allow modelers to reason about the MTs and to prove their correctness, something specially important in case of large and complex MTs (with, e.g., hundreds or thousands of rules) for which manual debugging is no longer possible. In this paper we give a formal semantics of the ATL 3.0 model transformation language using rewriting logic and Maude, which allows addressing these issues. Such formalization provides additional bene ts, such as enabling the simulation of the speci cations or giving access to the Maude toolkit to reason about them. |
Cita | Troya Castilla, J. y Vallecillo Moreno, A. (2011). A Rewriting Logic Semantics for ATL. Journal of Object Technology, 10, 5:1-5:29. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
A Rewriting Logic.pdf | 844.3Kb | [PDF] | Ver/ | |