LIRA

LIRA

home

LIRA (1998-2000)

Proyecto financiado por la Xunta de Galicia.

En este proyecto se avanzó en el diseño y desarrollo de una herramienta software a la que hemos denominado LIRA (LOTOS Interactive Reasoning Aid) que combina las características de las FDT's no constructivas u orientadas a propiedades (lógica temporal) y de las FDT's constructivas (el trabajo está pensado para LOTOS, lenguaje de descripción formal normalizado por ISO en 1988) para proporcionar un entorno de soporte a las dos primeras fases del proceso de desarrollo.

ANTECEDENTES Y ESTADO ACTUAL

En la Ingeniería del Software el desarrollo de un sistema se lleva a cabo a través de un conjunto de fases, que definen un método de desarrollo. En estas fases se realizan visiones complementarias del sistema que lo describen en diferentes niveles de abstracción. Es necesario disponer de relaciones matemáticas claras entre estas visiones para poder integrarlas. El método de desarrollo de sistemas con FDT's suele incluir las siguientes fases: El éxito de un método de desarrollo está condicionado a la disposición de herramientas de soporte que liberen al diseñador de las tareas rutinarias del proceso, permitiéndole centrarse sólo en las tareas creativas.

El trabajo que se propone en el presente proyecto es continuación del iniciado por el investigador principal con el trabajo de su Tesis Doctoral. En dicho trabajo se analizó el proceso de diseño de sistemas con FDT's, en concreto con LOTOS: El desarrollo de un sistema con LOTOS suele ser un proceso de refinamientos sucesivos, es decir, el sistema se construye de forma incremental como una secuencia de pasos dirigida a obtener un producto final que satisfaga los requisitos inicialmente expresados por el cliente. En este proceso de diseño es necesario disponer de un mecanismo que permita asegurar que los efectos de los refinamientos sobre el sistema son sólo los deseados. A este respecto, en el dominio operacional de LOTOS es posible relacionar especificaciones mediantes distintos tipos de equivalencias o preórdenes. El tipo de equivalencia o preorden que se elija dependerá del tipo de refinamiento que se haya realizado. Otra posibilidad, en la que se profundizó en el trabajo de la Tesis, es demostrar la corrección de un refinamiento asegurando que el sistema (su especificación) original y el refinado satisfacen ciertas propiedades comunes. Para este propósito, se utilizó la lógica temporal para definir una sintaxis temporal para un subconjunto del lenguaje de descripción formal LOTOS (LOTOS Básico), esta sintaxis temporal ofrece las siguientes posibilidades:

En paralelo con los trabajos de investigación citados anteriormente se ha desarrollado una herramienta (LIRA) cuyo objetivo es dar soporte a las dos primeras fases del ciclo de desarrollo mediante la automatización de las tareas no creativas de dicho proceso. En la actualidad, LIRA ofrece las siguientes funcionalidades básicas: En la actualidad, LOTOS está sometido a un proceso de revisión que previsiblemente afectará tanto a la parte de comportamiento como de datos. Este proceso de revisión dará lugar a la definición de un nuevo estándar llamado E-LOTOS (E-nhanced LOTOS).

OBJETIVOS CONCRETOS E INTERÉS DE LOS MISMOS

El objetivo básico del presente proyecto es conformar un marco de trabajo que, aprovechando la experiencia acumulada, permita incrementar la utilidad y eficacia del entorno LIRA, ofreciendo nuevas funcionalidades y consolidando las ya existentes. Con el objeto de darle al trabajo una proyección de futuro es preciso tener en cuenta que el lenguaje de descripción formal LOTOS está en la actualidad en proceso de revisión, estimándose que las propuestas de modificación y mejora del lenguaje serán estables en breve. Con estas premisas, para la consecución del objetivo básico planteado es necesario orientar el trabajo en las siguientes direcciones:

METODOLOGÍA, HIPÓTESIS Y PLAN DE TRABAJO

Los objetivos planteados en el presente proyecto son de dos tipos: Unos orientados a consolidar las funcionalidades existentes en LIRA y adaptarlas a la nueva versión del lenguaje (E-LOTOS), y otros orientados al diseño e implementación de nuevas funcionalidades. Para la consecución de los objetivos citados en primer lugar se seguirá el siguiente plan de trabajo: El plan de trabajo propuesto para el conjunto de objetivos citados en segundo lugar es el siguiente: