ERZ: herramienta que transforma un ER hacia Notación Z

ERZ es una herramienta Web que permite crear modelos entidad-relación de manera gráfica:

El modelo es almacenado en una archivo XML con la siguiente sintaxis:

Al finalizar el modelo de datos, ERZ tiene como objetivo generar de manera automática la especificación de dicho modelo en un lenguaje formal. Se ha seleccionado la Notación Z como lenguaje formal por su amplia utilización. La Notación Z tiene ciertas características para describirla, ERZ genera dicha especificación en un archivo PDF:

Para validar que la especificación esté correcta se pueden utilizar herramientas que verifiquen dicha notación mediante un análisis sintáctico, por ejemplo, Fuzz es una herramienta que lee mediante un formato LaTeX y chequea si los tipos son correctos. ERZ también genera dicho archivo de texto:

Si desea utilizar ERZ solo haga clic en el siguiente imagen:

 

 

 

Add a Comment

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *