Scientific Papers
ISSI Research PapersPaper information
Title
Una plataforma semántica para la gestión de modelos
Una plataforma semántica para la gestión de modelos
Published in
Informe técnico. Ref. No: DSIC-II/17/03. Pages:15. Junio 2003. - 2003
Informe técnico. Ref. No: DSIC-II/17/03. Pages:15. Junio 2003. - 2003
Abstract
La gestión de modelos engloba todo tipo de tareas que permitan su representación y/o manipulación, entre ellas, la evolución de sistemas software, la migración de datos, la interoperabilidad, etc. En el trabajo se presenta una plataforma resultado de nuestra experiencia previa en dos proyectos industriales de migración de datos y de recuperación automática de aplicaciones legadas. La plataforma ha sido concebida y realizada en un contexto formal lo que permite deducción y verificación automática de propiedades de los modelos considerados. En nuestra aproximación, los modelos están representados por términos de un álgebra construidos según un determinado orden canónico. Estos términos están basados en la estructura básica de tripleta de RDF. La manipulación de modelos se centra en el establecimiento de correspondencias entre los términos que representan dos o más modelos. Estas correspondencias son expresadas mediante morfismos que permiten generar nuevos modelos y establecer relaciones entre modelos existentes. El uso de herramientas declarativas para la creación de los modelos y de los morfismos proporciona una gran modularidad que favorece la utilización de técnicas de patronaje para realizar estas correspondencias, la generación automática de modelos mediante reescritura de términos. Además, la plataforma puede ser vista como una gran red semántica formada por diferentes niveles de abstracción que permite la validación automática de la corrección de modelos.
La gestión de modelos engloba todo tipo de tareas que permitan su representación y/o manipulación, entre ellas, la evolución de sistemas software, la migración de datos, la interoperabilidad, etc. En el trabajo se presenta una plataforma resultado de nuestra experiencia previa en dos proyectos industriales de migración de datos y de recuperación automática de aplicaciones legadas. La plataforma ha sido concebida y realizada en un contexto formal lo que permite deducción y verificación automática de propiedades de los modelos considerados. En nuestra aproximación, los modelos están representados por términos de un álgebra construidos según un determinado orden canónico. Estos términos están basados en la estructura básica de tripleta de RDF. La manipulación de modelos se centra en el establecimiento de correspondencias entre los términos que representan dos o más modelos. Estas correspondencias son expresadas mediante morfismos que permiten generar nuevos modelos y establecer relaciones entre modelos existentes. El uso de herramientas declarativas para la creación de los modelos y de los morfismos proporciona una gran modularidad que favorece la utilización de técnicas de patronaje para realizar estas correspondencias, la generación automática de modelos mediante reescritura de términos. Además, la plataforma puede ser vista como una gran red semántica formada por diferentes niveles de abstracción que permite la validación automática de la corrección de modelos.
BibTeX
@misc{issi_web:id:44,
title = "Una plataforma semántica para la gestión de modelos",
author = "Artur Boronat Moll and Jose Angel Carsí Cubel and Isidro Ramos Salavert",
booktitle = "Informe técnico. Ref. No: DSIC-II/17/03. Pages:15. Junio 2003.",
year = "2003",
eprint = "http://issi.dsic.upv.es/publications/archives/",
url = "",
abstract = "La gestión de modelos engloba todo tipo de tareas que permitan su representación y/o manipulación, entre ellas, la evolución de sistemas software, la migración de datos, la interoperabilidad, etc. En el trabajo se presenta una plataforma resultado de nuestra experiencia previa en dos proyectos industriales de migración de datos y de recuperación automática de aplicaciones legadas. La plataforma ha sido concebida y realizada en un contexto formal lo que permite deducción y verificación automática de propiedades de los modelos considerados. En nuestra aproximación, los modelos están representados por términos de un álgebra construidos según un determinado orden canónico. Estos términos están basados en la estructura básica de tripleta de RDF. La manipulación de modelos se centra en el establecimiento de correspondencias entre los términos que representan dos o más modelos. Estas correspondencias son expresadas mediante morfismos que permiten generar nuevos modelos y establecer relaciones entre modelos existentes. El uso de herramientas declarativas para la creación de los modelos y de los morfismos proporciona una gran modularidad que favorece la utilización de técnicas de patronaje para realizar estas correspondencias, la generación automática de modelos mediante reescritura de términos. Además, la plataforma puede ser vista como una gran red semántica formada por diferentes niveles de abstracción que permite la validación automática de la corrección de modelos."
}