Please use this identifier to cite or link to this item:
http://hdl.handle.net/10609/124006
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Planas, Elena | - |
dc.contributor.author | Cabot, Jordi | - |
dc.contributor.author | Gómez Seoane, Cristina | - |
dc.contributor.other | Universitat Oberta de Catalunya (UOC) | - |
dc.contributor.other | Universitat Politècnica de Catalunya (UPC) | - |
dc.contributor.other | Institut National de Recherche en Informatique et en Automatique (Inria) | - |
dc.date.accessioned | 2020-10-20T08:38:23Z | - |
dc.date.available | 2020-10-20T08:38:23Z | - |
dc.date.issued | 2011-06 | - |
dc.identifier.citation | Planas, E., Cabot, J. & Gómez, C. (2011). Two basic correctness properties for ATL transformations: Executability and coverage. CEUR Workshop Proceedings, 742(), 1-9. | - |
dc.identifier.issn | 1613-0073MIAR | - |
dc.identifier.uri | http://hdl.handle.net/10609/124006 | - |
dc.description.abstract | Model transformations play a cornerstone role with the emergence of Model Driven Engineering (MDE), where models are transformed from higher to lower levels of abstraction. Unfortunately, a quick and easy way to check the correctness of model transformations is still missing, which compromises their quality (and in turn, the quality of the target models generated from them). In this paper we propose a lightweight and efficient method that performs a static analysis of the ATL rules with respect to two correctness properties we define: (1) weak executability, which determines if there is some scenario in which an ATL rule can be safely applied without breaking the target metamodel integrity constraints; and (2) coverage, which ensures a set of ATL rules allow addressing all elements of the source and target metamodels. In both cases, our method returns meaningful feedback that helps repairing the possible detected inconsistencies. | en |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | - |
dc.publisher | CEUR Workshop Proceedings | - |
dc.relation.ispartof | CEUR Workshop Proceedings, 2011, 742() | - |
dc.relation.ispartofseries | Workshop on Model Transformation with ATL (MtATL-2011), 2011, Zuric, Suïssa, 1 juliol de 2011 | - |
dc.relation.uri | http://ceur-ws.org/Vol-742/ | - |
dc.rights | (c) Author/s & (c) Journal | - |
dc.subject | model driven engineering | en |
dc.subject | ATL rules | en |
dc.subject | ingeniería dirigida por modelos | es |
dc.subject | enginyeria dirigida per models | ca |
dc.subject | reglas ATL | es |
dc.subject | normes ATL | ca |
dc.subject.lcsh | Software engineering | en |
dc.title | Two basic correctness properties for ATL transformations: Executability and coverage | en |
dc.type | info:eu-repo/semantics/conferenceObject | - |
dc.subject.lemac | Enginyeria de programari | ca |
dc.subject.lcshes | Ingeniería de software | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
Appears in Collections: | Conferències |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Planas_CEUR_Two_basics.pdf | 212,19 kB | Adobe PDF | View/Open |
Share:
Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.