Oasis como marco conceptual para la evolución del software

Resumen

En la tesis se aborda el problema de la modificación de las aplicaciones cuando cambian los requerimientos de los sistemas de información, Partiendo del lenguaje de especificación formal de sistemas orientado a objetos OASIS, se amplía dicho modelo de forma reflexiva introduciendo la noción de metaclases para dar cuenta de la futura evolución de las aplicaciones desde dentro del propio modelo. Se detallan cada uno de los servicios necesarios para definir y modificar los sistemas de información haciendo uso del modelo de objetos de OASES, localizando de forma precisa cómo deben de evolucionar las aplicaciones cuando se hace uso de dichos servicios. La definición formal de las metaclases y de los servicios de evolución se realiza utilizando un formalismo lógico llamado "Transaction-Frame Logic". Finalmente se construye un prototipo de una herramienta CASE, que permite la definición, validación por prototipación automática y evolución de modelos de sistemas de información.