Resumen

Las metodologías de análisis y diseño de sistemas computarizados informales (como la Técnica de Modelación de Objetos - Object Modeling Tecnique), adolecen en la mayor parte, de falta de precisión. Esta debilidad se debe a que los diagramas y lenguajes naturales utilizados por estas metodologías para describir un sistema, no tienen bases matemáticas, por lo que las especificaciones no pueden ser validadas antes de construir el producto Cuando utilizamos una metodología informal en el desarrollo de un sistema de información corregir problemas de análisis y diseño en la fase de implementación tiene un costo muy alto y conduce a la larga a problemas de aseguridamiento de la calidad Metodologías como OMT, poseen herramientas gráficas para describir los componentes de software y pasos bien estructurados para guiar el desarrollo. Su desventaja es que no están sustentadas matemáticamente, por lo que puede ocurrir ambigüedades en el diseño, que no son detectadas hasta en la face de implementación, (y en el peor de los casos son detectadas en la etapa de mantenimiento) Por otra parte, los métodos formales, como es el caso de Z, poseen una base matemática fuerte que nos permite verificar que el diseño generado es correcto. Un método de especificación formal asegura que nuestro diseño cumpla con una serie de propiedades matemáticas que son fácilmente verificables (sin implementar en un computador la especificación). Además, los métodos formales proveen a los analistas, diseñadores, usuarios, etc. de un lenguaje común que no se presta a ambigüedades Una de las desventajas de los métodos formales es: que los usuarios e ingenieros de software no están relacionados con la base matemática que los soporta. Por otra parte, al especificar utilizando métodos formales debemos llegar a un nivel de detalle que nos obliga a pesar más e las bases formales del sistema, haciendo del diseño una tarea compleja Por las razones anteriores estamos planteando una metodología que utiliza un método formal (Z) y otro informal (OMT) para analizar y diseñar sistemas computarizados. Esta metodología utiliza OMT para describir el sistema por medio de objetos y relaciones entre estos, se utilizan las herramientas gráficas que provee OMT, y Z, para formalizar las especificaciones generadas por OMT OMT-Z es una metodología que provee al analista de una notación gráfica, con la cual exponer el sistema a usuarios no expertos y un soporte formal para comprobar la validez de la especificación En el resto de este artículo presentamos parte de la metodología híbrida OMT-Z. Por razones de espacio sólo se presenta la formalización del modelo de objetos.