| Metadato | Etiqueta | Valor | Idioma |
|---|---|---|---|
| dc.contributor.author | Autor | Calegari, Daniel | es |
| dc.contributor.author | Autor | Szasz, Nora | es |
| dc.date.accessioned | Fecha ingreso | 2014-12-02T16:06:33Z | - |
| dc.date.available | Fecha disponible | 2014-12-02T16:06:33Z | - |
| dc.date.issued | Año de publicación | 2013 | es |
| dc.date.submitted | Fecha de subida | 20141202 | es |
| dc.description.abstract | Resumen | En el paradigma de Ingeniería Dirigida por Modelos (Model-Driven Engineering, MDE), la calidad del software depende fuertemente de un proceso de construcción (semi)automático guiado por modelos y transformaciones de modelos, que debe ser confiable y robusto, dado que el menor error puede crecer e impactar negativamente en pasos subsecuentes. Para lidiar con aspectos de verificación, una separación de responsabilidades entre desarrolladores es usualmente propuesta. En términos generales, los expertos en MDE definen modelos y transformaciones, en tanto expertos en verificación formal conducen el proceso de verificación. Esta visión es generalmente asistida por traducciones (semi) automáticas de los elementos de MDE a la correspondiente representación formal en el dominio semántico utilizado por los expertos en verificación. Desde una perspectiva formal, esto requiere de de traducciones que preserven la semántica entre los elementos de MDE y el dominio semántico elegido. El objetivo de este artículo es presentar una semántica formal para los lenguajes MetaObject Facility y Query/View/Transformation Relations que son lenguajes estándar para definir metamodelos y transformaciones de modelos, respectivamente. La semántica está basadas en la Teoría de Instituciones y refleja la relación de conformidad entre modelos y metamodelos, y la satisfacción de reglas de transformación entre pares de modelos. La teoría asiste en la definición de traducciones que preservan la semántica entre instituciones, especialmente entre nuestras instituciones y otras lógicas (lógica de primer orden, lógica de reescritura, lógica modal, etc.) que serán utilizadas para la verificación. | es |
| dc.format.extent | Extensión | 47 p. | es |
| dc.format.mimetype | Formato | application/pdf | es |
| dc.identifier.citation | Citación | CALEGARI, D., SZASZ, N. "Institution-based semantics for MOF and QVT-relations :Extended version". Reportes Técnicos 13-06. UR. FI – INCO, 2013. | es |
| dc.identifier.issn | ISSN | 0797-6410 | es |
| dc.identifier.uri | URI | http://hdl.handle.net/20.500.12008/3472 | - |
| dc.language | metadata.dc.language | in | es |
| dc.publisher | Editorial | UR. FI – INCO. | es |
| dc.relation.ispartof | EN | Reportes Técnicos 13-06 | es |
| dc.rights | Derechos | Las obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad De La República. (Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014) | es |
| dc.rights.licence | Licencia | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) | es |
| dc.subject | Palabras clave | MOF | es |
| dc.subject | Palabras clave | QVT-relations | es |
| dc.subject | Palabras clave | Semántica formal | es |
| dc.subject | Palabras clave | Teoría de instituciones | es |
| dc.subject | Palabras clave | Verificación formal | es |
| dc.title | Título | Institution-based semantics for MOF and QVT-relations :Extended version | es |
| dc.type | Tipo de documento | Reporte técnico | es |
Colecciones:
| Ficheros | Descripción | Tamaño | Formato | ||
|---|---|---|---|---|---|
| TR1306.pdf | — | 1.01 MB | Adobe PDF |