Inferencia Automática de Requisitos Locales de Rendimiento en Flujos de Trabajo Anotados con MARTE

• Antonio García Domínguez ^[1] ; Inmaculada Medina Bulo ^[1]
  1. [1] Universidad de Cádiz

     Universidad de Cádiz

     Cádiz, España

     
• Localización: Actas de las Jornadas de Ingeniería del Software y Bases de Datos (JISBD´11), 2011, ISBN 978-84-9749-486-1, págs. 585-598
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• Resumen

  • Obtener el rendimiento esperado de un flujo de trabajo sería más fácil si cada tarea incluyera sus expectativas individuales. Sin embargo, normalmente sólo se tienen requisitos globales de rendimiento, y los requisitos locales son derivados a mano. Esto lleva a errores y requiere revisar las estimaciones cada vez que se cambia el flujo de trabajo. En este trabajo presentamos dos algoritmos que infieren automáticamente restricciones locales de tiempos máximos y peticiones por segundo a partir de restricciones globales. Los flujos de trabajo son diagramas de actividad UML con anotaciones del perfil MARTE. El algoritmo de inferencia de tiempos límite reparte el tiempo disponible según los pesos de cada tarea y sus repeticiones, y comprueba que las restricciones locales sean consistentes con las globales. Opera de forma incremental, evitando caminos redundantes. Ambos algoritmos se han integrado en el editor UML Papyrus del proyecto Eclipse.