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