Documento de conferencia

Una herramienta gráfica con razonamiento basado en DL para el análisis de modelos OVM

| | |
Resumen

Esta línea de investigación se desarrolla en forma colaborativa entre docentes investigadores de la Universidad Nacional del Comahue y de la Universidad Nacional del Sur, en el marco de proyectos de investigación financiados por las universidades antes mencionadas. El objetivo general del trabajo de investigación es el desarrollo de una herramienta Web que permita integrar el soporte gráfico para el diseño de modelos de variabilidad ortogonal (OVM) y el razonamiento automático para validar dichos modelos. Se trabajará en una arquitectura cliente-servidor, en la definición de un entorno gráfico con primitivas basadas en OVM y en la traducción de dichos modelos a la lógica descriptiva ALCI. De esta manera, el usuario podrá diseñar y visualizar modelos OVM y, a su vez, analizar la consistencia de los mismos.

Palabras clave
modelos de variabilidad ortogonal
lógicas descriptivas
ingeniería de software basada en conocimiento
http://creativecommons.org/licenses/by-nc-sa/4.0/

Esta obra se publica con la licencia Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (BY-NC-SA 4.0)

item.page.license
Imagen en miniatura