dc.creator | Troya Castilla, Javier | es |
dc.creator | Vallecillo Moreno, Antonio | es |
dc.date.accessioned | 2018-04-16T09:58:24Z | |
dc.date.available | 2018-04-16T09:58:24Z | |
dc.date.issued | 2011 | |
dc.identifier.citation | Troya Castilla, J. y Vallecillo Moreno, A. (2011). A Rewriting Logic Semantics for ATL. Journal of Object Technology, 10, 5:1-5:29. | |
dc.identifier.uri | https://hdl.handle.net/11441/72921 | |
dc.description.abstract | 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. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | AITO: Association Internationale pour les Technologies Objets | es |
dc.relation.ispartof | Journal of Object Technology, 10, 5:1-5:29. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | ATL | es |
dc.subject | Maude | es |
dc.subject | Model transformation | es |
dc.subject | Semantics | es |
dc.title | A Rewriting Logic Semantics for ATL | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.publisherversion | http://www.jot.fm/contents/issue_2011_01/article5.html | es |
dc.identifier.doi | 10.5381/jot.2011.10.1.a5. | es |
idus.format.extent | 29 | es |
dc.journaltitle | Journal of Object Technology | es |
dc.publication.volumen | 10 | es |
dc.publication.initialPage | 5:1 | es |
dc.publication.endPage | 5:29 | es |
dc.identifier.sisius | 20003125 | es |