UML y redes de Petri en la evaluación de performance de sistemas

En el estudio de la Ingeniería de Software se ha destinado un gran esfuerzo por parte de distintos grupos de investigación, para incorporar a las especificaciones de software, ciertos atributos no funcionales relacionados con la performance, tiempo, fiabilidad, planificación, entre otros. Específicamente, debido al vacío importante entre el diseño de software y el análisis de performance, la Ingeniería de Performance de Software (SPESoftware Performance Engineering) considera el análisis cuantitativo de la conducta de los sistemas de software, desde las fases iniciales de desarrollo. Varios lenguajes han sido propuestos para tal fin, y existen trabajos proponiendo especificar performance a partir del lenguaje de modelado UML. Estos esfuerzos han llevado a la adopción del perfil de UML para la planificación, performance y comportamiento temporal del software UMLSPT, teniendo en cuenta también que el lenguaje UML progresivamente se ha convertido en un estandar universal para la modelación de software. Es un lenguaje semiformal y esta respaldado por el Object Management Group (OMG). La especificación de performance de software con un lenguaje semiformal como UML, requiere su integración con un formalismo de modelación de performance, como las Redes de Petri Estocásticas Generalizadas (GSPNGeneralize Stochastic Petri Nets). Sobre esta base, se puede construir una herramienta CASE que permita el traslado de los diagramas UML a GSPN, y a partir de ello, la evaluación de performance de sistemas. Se toma como antecedente, el plugin ArgoSPE sobre ArgoUML de la Universidad de Zaragoza (España), que genera archivos de GSPN en el formato de la herramienta de simulación y análisis de performance GreatSPN de la Universidad de Turín (Italia). Se describen estas herramientas y su necesidad para la evaluación de performance de sistemas. Eje: Ingeniería de Software y Base de Datos Red de Universidades con Carreras en Informática (RedUNCI)