Resumen de OMT-Z: una metodología híbrida para especificar sistemas de información
Las metodologías de análisis y diseño de sistemas computarizados informales (como la Tecnica de Modelación de Objetos - Objetct .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 aseguramiento 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 pueden ocurrir ambiguedades en el diseño, que no son detectadas hasta en la face de implementación, (y en el peor de los casos son detectactas en la etapa de mantenimiento ).
Por otra parte, los métodos formales, como es el caso de Z, poseen una base matematica fuerte que nos permite verificar que el diseño generado es correcto. Un metodo de especificación formal asegura que nuestro dieseis lo cumpla con una serie de propiedades matemáticas que son fácilmente verificables (sin implementar en un computador la especificación ). Ademas, los métodos formales proveen a los analistas, diseñadores, usuarios, etc. de un lenguaje común que no se presta a ambiguedades.
Una de las desventajas de los metodos fonnales es: que los usuarios e ingenieros de software no estan relacionados con la base matematica que los soporta. Por otra parte, al especificar utilizando metodos fonnales debemos Ilegar a un nivel de detalle que rios obliga a pensar mas en las bases fonnales del sistema, hacienda del disefio una tarea mas compleja.
Por las razones anteriores estamos planteando una metodologia que utiliza un método formal (Z) y otro infonnal (OMT) para analizar y diseñar sistemas computarizados. Esta metodologia utiliza OMT para deseribir el sistema por media 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 metodologia que provce al analista de una notación grafica, con la cual exponer el sistema a usuarios n6 expertos y un soporte fonnal para comprobar la validez de la especificación.
En el resto de este articulo presentamos parte de la metodologia hibrida OMTZ Por razones de espacio solo se presenta la formalización del modelo de objetos.
