OMT-Z : una metodología híbrida para especificar sistemas de información

Simple item page
dc.creatorDíaz, Ramón
dc.date2000-03-01
dc.date.accessioned2022-01-26T22:39:01Z
dc.date.available2022-01-26T22:39:01Z
dc.descriptionLas 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.es-ES
dc.formatapplication/pdf
dc.formattext/html
dc.identifierhttps://revistas.intec.edu.do/index.php/ciso/article/view/595
dc.identifier10.22206/cys.2000.v25i1.pp70-107
dc.identifier.urihttps://repositoriobiblioteca.intec.edu.do/handle/123456789/4931
dc.languagespa
dc.publisherInstituto Tecnológico de Santo Domingo (INTEC)es-ES
dc.relationhttps://revistas.intec.edu.do/index.php/ciso/article/view/595/pdf-DiazR
dc.relationhttps://revistas.intec.edu.do/index.php/ciso/article/view/595/1745
dc.rightsDerechos de autor 2017 Ciencia y Sociedades-ES
dc.sourceScience and Society; Vol. 25 No. 1 (2000): Ciencia y Sociedad; 70-107en-US
dc.sourceCiencia y Sociedad; Vol. 25 Núm. 1 (2000): Ciencia y Sociedad; 70-107es-ES
dc.source2613-8751
dc.source0378-7680
dc.source10.22206/cys.2000.v25i1
dc.subjectsistemas de información.es-ES
dc.subjectSistemas de informaciónes-ES
dc.titleOMT-Z : una metodología híbrida para especificar sistemas de informaciónes-ES
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion
dc.typeArtículos evaluados por pareses-ES
Files
Collections
Artículos Revista Ciencia y Sociedad