Métodos Formales-ERZ

A medida que aumenta la complejidad de los sistemas de software surgen nuevos aspectos del
desarrollo de aplicaciones que hasta ese momento no se habían tenido en cuenta, al menos de
una forma explıcita. De este modo, el proceso de desarrollo se ha ido convirtiendo
gradualmente en una labor de ingeniería, en la que nuevas tareas, como la elaboración de
especificaciones, el diseño del sistema, la construcción de prototipos, la integración y pruebas,
la gestión de la configuración y otras muchas han ido cobrando importancia frente a las
labores de programación que eran las que primaban en un inicio. La Ingeniería del Software ha
ido respondiendo a esta situación con el desarrollo de nuevos modelos, notaciones, técnicas y
métodos.

Como sabemos hoy en día es muy importante construir software de calidad por ese motivo
utilizamos métodos formales poco a poco ha ido creciendo en su desarrollo uno de los más
conocidos y famosos es el lenguaje Z.

Investigando actualmente sabemos qué de esta manera las especificaciones formales pueden
complementar el desarrollo orientado a objetos o por lo menos, cómo pueden ayudar a
clarificar las semánticas de las notaciones y conceptos orientados a objetos. Ejemplos: el
modelo de objetos esencial del E-R que hace uso de Z, la formalización de la notación
mediante Z y los métodos.

La importancia que representa la herramienta es la forma explícita la arquitectura de los

sistemas de software es evidente. En primer lugar, estas representaciones elevan el nivel de
abstracción, facilitando la comprensión de los sistemas de software complejos. En segundo
lugar, hacen que aumenten las posibilidades de reutilizar tanto la arquitectura como los
componentes que aparecen en ella. Por último, si la notación utilizada tiene una base formal
adecuada, es posible analizar la arquitectura del sistema, determinando cuáles son sus
propiedades aún antes de construirlo por esa razón nos enfocamos a esta herramienta.

Herramienta:

Esta herramienta trata de la integración de dos paradigmas de especificación de software por

una lado los modelos diagramáticos E-R y por otro el lenguaje Z

El menú de opciones tienes para poder hacer un nuevo un abrir o un cargar un archivo que
tenemos en la computadora tener en cuenta que tiene que ser en XML.

Luego de eso vamos a tener un caso estudio

Caso de estudio:

Se quiere simular el comportamiento de una tienda de videos que se tiene un usuario

Tenemos los siguientes requerimientos:

Cada usuario PUEDE alquilar UNA O MUCHAS copias de video

Cada copia de video puede ser alquilada por UN Y SOLO un usuario

Un video DEBE tener asociado UNA O MUCHAS copias de video

Una copia de video DEBE corresponder a UN Y SOLO UN video

Una banda de precio PUEDES ser utilizada por UN O MUCHOS videos

Un video DEBE tener asociado UNA Y SOLO UNA banda de precio

Los debes y puedes nos van a indicar la opción y el uno o muchos nos van a indicar la
cardinalidad .

Estos requerimientos los pasamos a desarrollar el diagrama

Creamos todas las entidades

Luego agregamos los atributos y las relaciones

Luego de eso podemos exportarlo

En pdf que nos saca la específica en Z:

Estados iniciales
Pruebas :

Para realizar las pruebas tenemos que sacar en xml en tex con el cual usaremos el programa
Fuzz para poder hacer la verificación:
Tenemos el archivo

Ejecutamos el Fuzz
Podemos ver que no muestra error sin embargo vamos a hacer uno con error con lo que
modificaremos el archivo.

Volvemos a correr en Fuzz

Se puede ver cómo podemos ver nos sale error

Conclusiones:
La combinación de técnicas formales y de las tecnologías orientadas a objetos, ha alcanzado
avances significativos en ambos campos y ha conducido a una mayor diseminación del trabajo
en métodos formales, que de otra manera podría no haber ocurrido.

Esto nos ayuda a ampliar las especificaciones de software con métodos formales lo cual hace
muy útil y completo las especificaciones.

Referencias:
Chanda, N., & Liu, X. F. (2015, June). Intelligent analysis of software architecture rationale for
collaborative software design. In Collaboration Technologies and Systems (CTS), 2015
International Conference on (pp. 287-294). IEEE.

Khan, H. H., Naz'ri bin Mahrin, M., & bt Chuprat, S. (2014, September). Situational requirement
engineering framework for global software development. In Computer, Communications, and
Control Technology (I4CT), 2014 International Conference on (pp. 224-229). IEEE.

http://www.luisespino.com/erz/er.php?action=open