TENDENCIAS EN LA INGENIERÍA DEL SOFTWARE

TENDENCIA EN LA INGENIERÍA DE SOFTWARE 

Especificación Orientada a Objetos

Esta investigación persigue como objetivo primordial el desarrollo de una metodología de análisis que combine las conceptos inherentes a la orientación a objetos con los métodos formales. Con ello pretendemos aprovechar el aspecto intuitivo de metodologías semiformales (OMT, FUSION, SYNTROPY) con el rigor de las técnicas formales (especificaciones algebraicas de datos y procesos).

Como primer paso en el desarrollo de esta metodología hemos diseñado el lenguaje de especificación TESORO, las principales características de este lenguaje son:

• La homogeneidad en el tratamiento de los aspectos estáticos y dinámicos del sistema

• La utilización de diversos tipos de restricciones, como método declarativo de descripción.

• La definición de una semántica precisa para los operadores entre clases (asociación, agregación, relación y herencia)

Como siguiente paso, nos hemos marcado el desarrollo de herramientas de prototipado para nuestro lenguaje.

En la actualidad está definido el proceso de prototipado hacia el lenguaje LOTOS, y está prevista la definición del mismo proceso para un lenguaje lógico (PROLOG) y para lenguajes imperativos (C++, JAVA).