Seminario de I+D
del Departamento de Informática e Ingeniería de Sistemas
de la Universidad de Zaragoza
|
Seminario de I+D
|
|
|---|
Evaluación del rendimiento del software basada en UML y redes de Petri
José Merseguer (DIIS, Universidad de Zaragoza)
Fecha: 2002-12-19
Hora: 12:15
Lugar: Seminario del DIIS en el Edificio Ada Byron, María de Luna 1, Zaragoza
Resumen:
Presentación al Departamento de la tesis doctoral del mismo título que ha sido predepositada en Secretaría y cuya admisión a trámite debe ser considerada por la Comisión de Investigación del Departamento.
A tenor de la situación actual en la industria de desarrollo de software donde la práctica común de entregar productos al cliente sin ser sometidos a las más básicas revisiones de fiabilidad y rendimiento lleva a situaciones como las vividas en los Juegos Olímpicos de Atlanta o en el aeropuerto de Denver, creemos que la necesidad de predecir estas cualidades de los sistemas software se postula como necesaria. Además, si dicha predicción se realiza en las etapas más tempranas del ciclo de vida puede aportar beneficios adicionales. Esto es así ya que si se detecta a tiempo que los objetivos de rendimiento pueden no ser satisfechos, será mas sencillo y económico tomar decisiones que contribuyan a paliar efectos no deseados.
Para afrontar estos problemas la ingeniería del software y la evaluación del rendimiento son campos que pueden aportarnos respuestas. El primero como la disciplina que estudia la sistemática representacion de requerimientos y el segundo como la disciplina que propone formalismos para representar y analizar modelos de rendimiento. Ambos campos han convergido en la "evaluación del rendimiento del software" que se propone como un método para desarrollar sistemas software que cumplan con los objetivos de rendimiento deseados. En esta presentación se propone el uso del Lenguaje de Modelado Unificado (UML) junto al formalismo de las redes de Petri para afrontar un proceso basado en los principios de la evaluación del rendimiento del software. El Lenguaje de Modelado Unificado se ha convertido en los últimos años en un estándar "de facto" para la comunidad de ingenieros del software, mientras que el formalismo de las redes de Petri se ha mostrado en las últimas décadas como uno de los paradigmas relevantes para la evaluación del rendimiento en diferentes campos de la ingeniería.