ingenier a del dise o

TESIS DOCTORAL

Método de Ingeniería de Requisitos para
Manejo de Discrepancias
presentada en la
FACULTAD DE INFORMÁTICA
de la
UNIVERSIDAD POLITÉCNICA DE MADRID
para la obtención del
GRADO DE DOCTOR EN INFORMÁTICA

Autor: D . Andrés Silva Vázquez
Licenciado en Informática por la
Universidad Politécnica de Madrid

Directora: Dra. Dña. Ana María Moreno
Sánchez-Capuchino

Madrid, Noviembre de 2000111

A meus pais.

IV

La importancia de "tautología" para una definición de la matemática me fue
indicada por mi antiguo alumno Ludwig Wittgenstein, que estaba trabajando en
el problema. No sé si lo ha resuelto, ni siquiera sé si está vivo o muerto.
Bertrand Russell, Introduction to Mathematical Philosophy, 1919.
(6.22) Las matemáticas muestran en las ecuaciones la lógica del mundo que lasproposiciones de la lógica muestran en las tautologías.
Ludwig Wittgenstein, Tractatus Logico-Philosophicus, 1922.

Resumen
La Ingeniería de Requisitos (IR) y, en particular, la Ingeniería de Requisitos Orientada a Perspectivas (IROP) son campos de investigación prioritarios
dentro de la Ingeniería del Software que se pueden beneficiar de enfoques,
métodos y técnicas propios de la InteligenciaArtificial tales como: Descomposición de problemas en subproblemas, resolución de conflictos, tratamiento
de inconsistencias, criterios clasificatorios, etc. El interés creciente respecto
a la Ingeniería de Requisitos se encuentra plenamente justificado por ser ésta
la etapa en la cual se encuentran arraigados los problemas más graves que
pueden surgir en los proyectos de desarrollo software. Elinterés por la IROP
se encuentra, asimismo, justificado, puesto que en todo proceso de requisitos necesariamente se debe contar con las distintas visiones o perspectivas
que, tanto individuos como grupos muy heterogéneos, poseen sobre el futuro
sistema.
En la IROP el problema principal es el mantenimiento de la coherencia
entre múltiples perspectivas, es decir, el problema de dirigir una serie deperspectivas discrepantes hacia un punto convergente. Este problema puede
descomponerse en una serie de subproblemas como la identificación de las
discrepancias entre perspectivas, la clasificación de las discrepancias, generación de soluciones a las mismas, elección de la solución más apropiada,
aplicación de la solución elegida y monitorización de las consecuencias de la
resolución.
Actualmenteexisten varias aproximaciones a la IROP las cuales, o bien
ayudan a redefinir mejor el problema del mantenimiento de la coherencia
entre perspectivas, o aportan distintas soluciones a dicho problema, o ambas cosas. No obstante, todas ellas se basan en un concepto de discrepancia
fuertemente sintáctico, dificultando con ello la necesaria diferenciación entre
lo que es inconsistencia de lo que esconflicto, sus consecuencias en la especificación del sistema y las relaciones entre unos tipos de discrepancia y otros.
Esta confusión afecta a la tarea de generación de soluciones para resolver
una discrepancia particular, pues no es lo mismo generar una solución para
un conflicto que para una inconsistencia. Asimismo, se ignoran las relaciones entre conflictos e inconsistencias pese a que laraíz de un conflicto puede
encontrarse en una inconsistencia, o la de una inconsistencia en un conflicto, y, por ello, se desaprovecha la ocasión de solucionar unos a partir de la
solución de otros. Además de estos problemas, o a consecuencia de ellos, en
la literatura de IROP no se define un proceso claro y detallado que permita
detectar, clasificar y generar soluciones a las discrepancias.
Elpresente trabajo aporta la idea de la estructuración u organización interna de cada perspectiva (independientemente de si la notación o formalismo
de representación utilizado por el analista es formal o informal) de forma que

VI

dicha estructuración conduzca, de forma natural, a una clasificación de las
discrepancias y a un proceso de resolución de dichas discrepancias, adaptado a cada tipo de...