A Rewriting Logic Semantics for ATL

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 bui...

Descripción completa

Detalles Bibliográficos
Autores: Troya Castilla, Javier, Vallecillo Moreno, Antonio
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2011
País:España
Institución:Universidad de Sevilla (US)
Repositorio:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/72921
Acceso en línea:https://hdl.handle.net/11441/72921
https://doi.org/10.5381/jot.2011.10.1.a5.
Access Level:acceso abierto
Palabra clave:ATL
Maude
Model transformation
Semantics
id ES_7bccc91b786b08cbeedd983582ea008f
oai_identifier_str oai:idus.us.es:11441/72921
network_acronym_str ES
network_name_str España
repository_id_str
spelling A Rewriting Logic Semantics for ATLTroya Castilla, JavierVallecillo Moreno, AntonioATLMaudeModel transformationSemanticsAs 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.AITO: Association Internationale pour les Technologies ObjetsLenguajes y Sistemas Informáticos2011info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfapplication/pdfhttps://hdl.handle.net/11441/72921https://doi.org/10.5381/jot.2011.10.1.a5.reponame:idUS. Depósito de Investigación de la Universidad de Sevillainstname:Universidad de Sevilla (US)InglésJournal of Object Technology, 10, 5:1-5:29.http://www.jot.fm/contents/issue_2011_01/article5.htmlinfo:eu-repo/semantics/openAccessoai:idus.us.es:11441/729212026-06-17T12:51:07Z
dc.title.none.fl_str_mv A Rewriting Logic Semantics for ATL
title A Rewriting Logic Semantics for ATL
spellingShingle A Rewriting Logic Semantics for ATL
Troya Castilla, Javier
ATL
Maude
Model transformation
Semantics
title_short A Rewriting Logic Semantics for ATL
title_full A Rewriting Logic Semantics for ATL
title_fullStr A Rewriting Logic Semantics for ATL
title_full_unstemmed A Rewriting Logic Semantics for ATL
title_sort A Rewriting Logic Semantics for ATL
dc.creator.none.fl_str_mv Troya Castilla, Javier
Vallecillo Moreno, Antonio
author Troya Castilla, Javier
author_facet Troya Castilla, Javier
Vallecillo Moreno, Antonio
author_role author
author2 Vallecillo Moreno, Antonio
author2_role author
dc.contributor.none.fl_str_mv Lenguajes y Sistemas Informáticos
dc.subject.none.fl_str_mv ATL
Maude
Model transformation
Semantics
topic ATL
Maude
Model transformation
Semantics
description 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.
publishDate 2011
dc.date.none.fl_str_mv 2011
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/11441/72921
https://doi.org/10.5381/jot.2011.10.1.a5.
url https://hdl.handle.net/11441/72921
https://doi.org/10.5381/jot.2011.10.1.a5.
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv Journal of Object Technology, 10, 5:1-5:29.
http://www.jot.fm/contents/issue_2011_01/article5.html
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv AITO: Association Internationale pour les Technologies Objets
publisher.none.fl_str_mv AITO: Association Internationale pour les Technologies Objets
dc.source.none.fl_str_mv reponame:idUS. Depósito de Investigación de la Universidad de Sevilla
instname:Universidad de Sevilla (US)
instname_str Universidad de Sevilla (US)
reponame_str idUS. Depósito de Investigación de la Universidad de Sevilla
collection idUS. Depósito de Investigación de la Universidad de Sevilla
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869411542223552512
score 15,300719

Similares en LA Referencia