Especificación de Sistemas Software en Entornos Multi-Perspectiva

El desarrollo de un sistema software complejo implica el trabajo conjunto y colaborativo de un grupo numeroso de personas, tales como usuarios, responsables de gestión y desarrolladores software, donde cada uno de ellos constituye una fuente potencial de conocimiento. De este modo, la necesidad de describir sistemas software complejos a partir de diferentes perspectivas puede derivar en la construcción de muchos modelos parciales de diseño del sistema. Como resultado, estas distintas perspectivas puede que se solapen, dando lugar a la posibilidad de aparición de conflictos. Aunque las inconsistencias tendrán que ser finalmente resueltas, puede que sea necesario que las mismas sean toleradas con carácter temporal ofreciendo así la oportunidad a los diseñadores de trabajar de forma independiente en el desarrollo de sus fragmentos del modelo sin necesidad de una reconciliación continua. Con esta motivación, hemos definido una metodología formal (MultiSpec) que soporta la evolución de especificaciones de requisitos software. Está basada en el paradigma multi-perspectiva y formaliza el razonamiento en presencia de conflictos e incompletitud empleando una lógica subyacente multivalorada.