Estudio comparativo de tres métodos formales gráficos
Date
1997-03
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Benemérita Universidad Autónoma de Puebla
Abstract
Actualmente la mayoría de los DER's (Documento de especificación de requerimientos) están escritos en un lenguaje natural. Desafortunadamente el lenguaje natural es intrínsecamente ambiguo, lo cual genera como resultado documentos ambiguos, inconsistentes e incompletos. Por esta razón para lograr una comunicación eficiente y efectiva entre los usuarios, el analista de requerimientos y el desarrollador, se debe definir un lenguaje de especificación de requerimientos adecuados, que sea comprensible tanto para el desarrollador como para el usuario.
Los lenguajes de especificación de requerimientos se pueden clasificar en dos clases principales: lenguajes de especificación informal y lenguajes de especificación formal.
Los lenguajes de especificación informal, utilizan una combinación de gráficas y gramáticas textuales semiformales para describir y especificar requerimientos de los sistemas. Dadas estas características, estos lenguajes proporcionan un vehículo ideal para obtener los requerimientos del usuario.
Los lenguajes de especificación formal, por otro lado, tienen las bases matemáticas y emplean una notación precisa para definir los requerimientos del sistema. El uso de estos lenguajes genera que las especificaciones sean precisas y breves, además de que se pueda evaluar la consistencia y comprobar la completes de la especificación de una forma más adecuada. Estos lenguajes requieren de un conocimiento matemático que normalmente no existe en los usuarios ni en la mayoría de los analistas y diseñadores.
El objetivo de este trabajo de tesis es dar a conocer que existe una necesidad de unir un lenguaje de especificación de formal con un informal de modo que se obtenga un sistema formal de especificación de requerimientos. La finalidad de este sistema formal de especificación de requerimientos es que el usuario lo utilice con la amigabilidad de los lenguajes informales, pero con las ventajas de los formales.
Así mismo el analista tendría una herramienta de especificación formal que le permita tener una comunicación más efectiva con el equipo de desarrollo.