Evaluación del rendimiento del software basada en uml y redes de Petri

• Autores: José Merseguer
• Directores de la Tesis: Francisco Javier Campos Laclaustra (dir. tes.), Susana Donatelli (codir. tes.)
• Lectura: En la Universidad de Zaragoza ( España ) en 2003
• Idioma: español
• Tribunal Calificador de la Tesis: Manuel Silva Suárez (presid.), Carlos José Pérez Jiménez (secret.), José María Drake Moyano (voc.), Ramón Puigjaner Trepat (voc.), Pere Botella López (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.