Resumen de Evaluación del rendimiento del software basada en uml y redes de Petri
En esta tesis se da semántica en términos de redes de Ptri estocásticas a las máquinas de estados de UML y a los diagramas de actividad de UML.
La semántica obtenida permite la validación de propiedades cualitativas y cuantitativos de los sistemas software en las etapas tempranos del ciclo de vida y como "sub-producto" de este. Se incrementa la sintaxis de UML para describir requerimientos de prestaciones.
Palabras clave: UML, ingeniería del software, redes de Petri, métodos formales, sistemas distribuidos, modelado de sistemas software.
