Título:
Institution-based semantics for MOF and QVT-relations :Extended version
Otros títulos:
Coordinador:
Director:
Compilador:
Autor:
Calegari, Daniel
Szasz, Nora
Szasz, Nora
Tutor:
Tipo de documento:
Reporte técnico
Editor:
Palabras clave:
MOF
QVT-relations
Semántica formal
Teoría de instituciones
Verificación formal
QVT-relations
Semántica formal
Teoría de instituciones
Verificación formal
Descriptores:
Año de publicación:
2013
Contenido:
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.
Descripción:
Editorial:
UR. FI – INCO.
EN:
Reportes Técnicos 13-06
Financiadores:
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.
Citación:
metadata.cc.license.name:
Documento del Gobiberno:
URI:
http://hdl.handle.net/20.500.12008/3472
ISBN:
e-ISBN:
ISSN:
0797-6410
ISMN:
Otros identificadores:
Título Obtenido:
Facultad o Servicio que otorga el Título:
Licencia:
Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)
Cobertura geográfica:
Cobertura temporal:
metadata.dc.relation.IsVersionOf:
Clasificación:
Es versión de:
Colecciones:
| Ficheros | Descripción | Tamaño | Formato | ||
|---|---|---|---|---|---|
| TR1306.pdf | — | 1.01 MB | Adobe PDF |