La especificación como una forma de descripción del comportamiento del software se ha vuelto un tanto subjetiva; esta subjetividad ha conllevado la creación de diferentes paradigmas de especificación, siendo los dos paradigmas más importantes: el paradigma que utiliza modelos diagramáticos y el paradigma que utiliza la descripción formal.
Ambos paradigmas han evolucionado de una manera separada; por un lado, se tiene la facilidad de elaborar diagramas y comunicar visualmente, por otro lado la posibilidad de describir formalmente el software mediante notaciones matemáticas precisas. Debido a esta separación es necesario establecer un marco de referencia que promueva la integración entre estos paradigmas de manera que se pueda utilizar las ventajas de ambos.
Debido a lo anterior, este trabajo propone un marco de referencia común para el modelo entidad-relación y el lenguaje Z que permite integrar de manera efectiva ambos paradigmas de especificación. Para comprobar dicho marco de referencia se desarrolló una herramienta de software basada en Web que facilita hacer la transformación automática del modelo entidad-relación a su equivalente en lenguaje Z en dos formatos: en PDF para una vista inmediata y en TEX para permitir aumentar la especificación y utilizar algún verificador de tipos como FUZZ, así como su edición con formatos precisos para la publicación.
Ambos paradigmas han evolucionado de una manera separada; por un lado, se tiene la facilidad de elaborar diagramas y comunicar visualmente, por otro lado la posibilidad de describir formalmente el software mediante notaciones matemáticas precisas. Debido a esta separación es necesario establecer un marco de referencia que promueva la integración entre estos paradigmas de manera que se pueda utilizar las ventajas de ambos.
Debido a lo anterior, este trabajo propone un marco de referencia común para el modelo entidad-relación y el lenguaje Z que permite integrar de manera efectiva ambos paradigmas de especificación. Para comprobar dicho marco de referencia se desarrolló una herramienta de software basada en Web que facilita hacer la transformación automática del modelo entidad-relación a su equivalente en lenguaje Z en dos formatos: en PDF para una vista inmediata y en TEX para permitir aumentar la especificación y utilizar algún verificador de tipos como FUZZ, así como su edición con formatos precisos para la publicación.
