dc.creator | Troya Castilla, Javier | es |
dc.creator | Vallecillo Moreno, Antonio | es |
dc.date.accessioned | 2018-04-23T09:54:40Z | |
dc.date.available | 2018-04-23T09:54:40Z | |
dc.date.issued | 2010 | |
dc.identifier.citation | Troya Castilla, J. y Vallecillo Moreno, A. (2010). Towards a Rewriting Logic Semantics for ATL. En ICMT 2010: 3rd International Conference on Theory and Practice of Model Transformations (230-244), Málaga, España: Springer. | |
dc.identifier.isbn | 978-3-642-13687-0 | es |
dc.identifier.issn | 0302-9743 | es |
dc.identifier.uri | https://hdl.handle.net/11441/73343 | |
dc.description.abstract | As the complexity of model transformation (MT) grows, the need to
count on formal semantics ofMT languages also increases. Firstly, formal semantics
provide precise specifications of the expected behavior of transformations,
which are crucial for both MT users (to be able to understand them and to use
them properly) and MT tool builders (to develop correct MT engines, optimizers,
etc.). Secondly, we need to be able to reason about the MTs to prove their correctness.
This is specially important in case of large and complexMTs (with, e.g.,
hundreds or thousands of rules) for which manual debugging is no longer possible.
In this paper we present a formal semantics to the ATL model transformation
language using rewriting logic and Maude, which allows addressing these issues.
This formalization provides additional benefits, such as enabling the simulation
of the specifications or giving access to the Maude toolkit to reason about them. | es |
dc.description.sponsorship | Ministerio de Ciencia e Innovación TIN2008-03107 | es |
dc.description.sponsorship | Junta de Andalucía P07-TIC-03184 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | ICMT 2010: 3rd International Conference on Theory and Practice of Model Transformations (2010), p 230-244 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Towards a Rewriting Logic Semantics for ATL | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | 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.projectID | TIN2008-03107 | es |
dc.relation.projectID | P07-TIC-03184 | es |
dc.relation.publisherversion | https://link.springer.com/chapter/10.1007/978-3-642-13688-7_16 | es |
dc.identifier.doi | 10.1007/978-3-642-13688-7_16 | es |
idus.format.extent | 15 | es |
dc.publication.initialPage | 230 | es |
dc.publication.endPage | 244 | es |
dc.eventtitle | ICMT 2010: 3rd International Conference on Theory and Practice of Model Transformations | es |
dc.eventinstitution | Málaga, España | es |
dc.relation.publicationplace | Berlín | es |
dc.contributor.funder | Ministerio de Ciencia e Innovación (MICIN). España | |
dc.contributor.funder | Junta de Andalucía | |