Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/78226
Registre complet de metadades
Camp DC | Valor | Llengua/Idioma |
---|---|---|
dc.contributor.author | Clarisó, Robert | - |
dc.contributor.author | Cabot, Jordi | - |
dc.contributor.author | Guerra, Esther | - |
dc.contributor.author | Lara Jaramillo, Juan de | - |
dc.contributor.other | Universitat Oberta de Catalunya (UOC) | - |
dc.contributor.other | Universidad Autónoma de Madrid | - |
dc.date.accessioned | 2018-05-15T15:19:38Z | - |
dc.date.available | 2018-05-15T15:19:38Z | - |
dc.date.issued | 2015-08-07 | - |
dc.identifier.citation | Clarisó, R., Cabot, J., Guerra, E. & de Lara Jaramillo, J. (2016). Backwards reasoning for model transformations: method and applications. Journal of Systems and Software, 116(), 113-132. doi: 10.1016/j.jss.2015.08.017 | - |
dc.identifier.issn | 0164-1212MIAR | - |
dc.identifier.uri | http://hdl.handle.net/10609/78226 | - |
dc.description.abstract | Model transformations are key elements of model driven engineering. Current challenges for transformation languages include improving usability (i.e., succinct means to express the transformation intent) and devising powerful analysis methods. In this paper, we show how backwards reasoning helps in both respects. The reasoning is based on a method that, given an OCL expression and a transformation rule, calculates a constraint that is satisfiable before the rule application if and only if the original OCL expression is satisfiable afterwards. With this method we can improve the usability of the rule execution process by automatically deriving suitable application conditions for a rule (or rule sequence) to guarantee that applying that rule does not break any integrity constraint (e.g. meta-model constraints). When combined with model finders, this method facilitates the validation, verification, testing and diagnosis of transformations, and we show several applications for both in-place and exogenous transformations. | en |
dc.language.iso | eng | - |
dc.publisher | Journal of Systems and Software | - |
dc.relation.ispartof | Journal of Systems and Software, 2016, 116() | - |
dc.relation.uri | https://doi.org/10.1016/j.jss.2015.08.017 | - |
dc.rights | CC BY-NC-ND | - |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | - |
dc.subject | model transformation | en |
dc.subject | OCL | en |
dc.subject | weakest pre-condition | en |
dc.subject | transformació de models | ca |
dc.subject | transformación de modelos | es |
dc.subject | OCL | ca |
dc.subject | OCL | es |
dc.subject | raonament cap enrere | ca |
dc.subject | razonamiento hacia atrás | es |
dc.subject | precondición más débil | es |
dc.subject | precondició més feble | ca |
dc.subject | graph transformation | en |
dc.subject | transformació de grafs | ca |
dc.subject | transformación de grafos | es |
dc.subject | validation and verification | en |
dc.subject | validació i verificació | ca |
dc.subject | validación y verificación | es |
dc.subject | backwards reasoning | en |
dc.subject.lcsh | Software engineering | en |
dc.title | Backwards reasoning for model transformations: method and applications | en |
dc.type | info:eu-repo/semantics/article | - |
dc.audience.mediator | Theme areas::Computer Science, Technology and Multimedia | en |
dc.subject.lemac | Enginyeria de programari | ca |
dc.subject.lcshes | Ingeniería de software | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
dc.identifier.doi | 10.1016/j.jss.2015.08.017 | - |
dc.gir.id | AR/0000004836 | - |
dc.type.version | info:eu-repo/semantics/submittedVersion | - |
Apareix a les col·leccions: | Articles cientÍfics Articles |
Arxius per aquest ítem:
Arxiu | Descripció | Mida | Format | |
---|---|---|---|---|
ClarisoEtAl_JSS_PrePrint.pdf | 747,37 kB | Adobe PDF | Veure/Obrir |
Comparteix:
Aquest ítem està subjecte a una llicència de Creative Commons Llicència Creative Commons