Métodos formales de evaluación de prestaciones en ingeniería de software

Dr. Javier Campos (DIIS, Universidad de Zaragoza)

Fecha: 2003-02-07
Hora: 12:00
Lugar: Seminario del DIIS en el Edificio Ada Byron, María de Luna 1, Zaragoza
Resumen:

El seminario pretende presentar al resto del Dpto. una línea de investigación iniciada hace tres años en el Grupo de Métodos Formales del DIIS (http://www.cps.unizar.es/deps/DIIS/GFM/) en el ámbito de la evaluación del rendimiento de software (en inglés, "software performance engineering").

Consideramos sistemas software distribuidos, inicialmente modelados con el lenguaje UML que, no siendo un lenguaje de modelado formal, sí es ampliamente utilizado por los ingenieros de software en proyectos de complejidad alta como alternativa a los lenguajes formales (que requieren de una mayor formación científica previa). La propuesta de evaluación del rendimiento de software en la que trabajamos se basa en grandes líneas en dotar al lenguaje UML de las especificaciones temporales necesarias para la aplicación de técnicas de análisis de prestaciones, en el estudio del papel que los diferentes diagramas de UML juegan en el proceso de evaluación del rendimiento y finalmente en el desarrollo de un prototipo de herramienta CASE que automatice el proceso de evaluación de prestaciones. Para que ello sea posible, es preciso dotar de una semántica formal a los diagramas de UML ­--lo hacemos en términos de redes de Petri estocásticas--- para obtener un modelo de prestaciones susceptible de ser analizado con técnicas numéricas.

Se hará una presentación descriptiva basada en algún ejemplo práctico y aligerando en lo posible la carga formal del asunto. Una descripción más amplia pero relativamente breve (cinco páginas) del tema puede encontrarse en: http://www.cps.unizar.es/deps/DIIS/CRPetri/papers/jcampos/02_LGMC_ISCIS.pdf (López-Grao, Merseguer, Campos: "Performance Engineering Based on UML and SPN´s: A Software Performance Tool", in Procs. of 7th Int. Symp. on Computer and Information Sciences, pp.405-409 CRC Press, Orlando, Florida, October 2002).

http://diis.unizar.es