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

Abstract

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.