Tesis doctoral de José Angel Carsí Cubel
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.
Datos académicos de la tesis doctoral «Oasis como marco conceptual para la evolución del software«
- Título de la tesis: Oasis como marco conceptual para la evolución del software
- Autor: José Angel Carsí Cubel
- Universidad: Politécnica de Valencia
- Fecha de lectura de la tesis: 29/10/1999
Dirección y tribunal
- Director de la tesis
- Jesús Hilario Canós Cerdá
- Tribunal
- Presidente del tribunal: antoni Olivé ramon
- oscar Díaz García (vocal)
- matilde Celma jiménez (vocal)
- José Parets llorca (vocal)