Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/109813
Registre complet de metadades
Camp DC | Valor | Llengua/Idioma |
---|---|---|
dc.contributor.author | Cabot, Jordi | - |
dc.contributor.author | Clarisó, Robert | - |
dc.contributor.author | Lara Jaramillo, Juan de | - |
dc.contributor.author | Guerra, Esther | - |
dc.contributor.other | Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3) | - |
dc.contributor.other | Universidad Carlos III de Madrid | - |
dc.contributor.other | Universidad Autónoma de Madrid | - |
dc.date.accessioned | 2020-02-18T08:23:51Z | - |
dc.date.available | 2020-02-18T08:23:51Z | - |
dc.date.issued | 2010-08-15 | - |
dc.identifier.citation | Cabot, J., Clarisó, R., Guerra, E. & de Lara Jaramillo, J. (2010). Verification and Validation of Declarative Model-to-Model Transformations Through Invariants. Journal of Systems and Software, 83(2), 283-302. doi: 10.1016/j.jss.2009.08.012 | es |
dc.identifier.issn | 0164-1212MIAR | - |
dc.identifier.uri | http://hdl.handle.net/10609/109813 | - |
dc.description.abstract | In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we have defined a number of invariant-based verification properties which provide increasing degrees of confidence about transformation correctness, such as whether a rule (or the whole transformation) is satisfiable by some model, executable or total. We also provide some heuristics for generating meaningful scenarios that can be used to semiautomatically validate the transformations. As a proof of concept, the method is instantiated for two prominent model-to-model transformation languages: Triple Graph Grammars and QVT. | en |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | - |
dc.publisher | Journal of Systems and Software | - |
dc.relation.ispartof | Journal of Systems and Software, 2010, 83(2) | - |
dc.relation.uri | https://doi.org/10.1016/j.jss.2009.08.012 | - |
dc.rights | CC BY-NC-ND | - |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | - |
dc.subject | model-to-model transformation | en |
dc.subject | model-driven development | en |
dc.subject | OCL | en |
dc.subject | verification and validation | en |
dc.subject | triple graph grammars | en |
dc.subject | QVT | en |
dc.subject | transformación modelo a modelo | es |
dc.subject | transformació model a model | es |
dc.subject | desenvolupament dirigit per models | ca |
dc.subject | desarrollo dirigido por modelos | es |
dc.subject | OCL | ca |
dc.subject | OCL | es |
dc.subject | verificació i validació | ca |
dc.subject | verificación y validación | es |
dc.subject | gramàtiques de triple gràfics | ca |
dc.subject | gramáticas de triple gráficos | es |
dc.subject | QVT | ca |
dc.subject | QVT | es |
dc.subject.lcsh | Model-driven software architecture | en |
dc.title | Verification and validation of declarative model-to-model transformations through invariants | - |
dc.type | info:eu-repo/semantics/article | - |
dc.subject.lemac | Arquitectura dirigida per models | ca |
dc.subject.lcshes | Arquitectura dirigida por modelos | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
dc.identifier.doi | 10.1016/j.jss.2009.08.012 | - |
dc.gir.id | AR/0000002203 | - |
dc.relation.projectID | info:eu-repo/grantAgreement/TIN2006-09678 | - |
dc.relation.projectID | info:eu-repo/grantAgreement/TIN2008-02081 | - |
dc.relation.projectID | info:eu-repo/grantAgreement/TIN2008-00444 | - |
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 | |
---|---|---|---|---|
Cabot_JSS_2010_ps.pdf | Pre-print | 1,28 MB | Adobe PDF | Veure/Obrir |
Comparteix:
Aquest ítem està subjecte a una llicència de Creative Commons Llicència Creative Commons