JISBD 2011

Abstract

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.

BibTeX entry

@inproceedings{agd_jisbd2011,
    address = {A Coruña, Spain},
    title = {Inferencia Automática de Requisitos Locales de Rendimiento en Flujos de Trabajo Anotados con {MARTE}},
    isbn = {978-84-9749-486-1},
    url = {http://www.sistedes.es/jornadas2011/jisbd.htm},
    abstract = {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.},
    booktitle = {Actas de las {XVI} Jornadas de Ingeniería del Software y Bases de Datos},
    publisher = {Servizo de publicacións da Universidade da Coruña},
    author = {{García-Domínguez}, Antonio and {Medina-Bulo}, Inmaculada},
    month = sep,
    year = {2011},
    keywords = {flujos de trabajo, ingeniería del rendimiento, marte, pruebas del software, Service level agreement, uml},
    pages = {585--598}
}

jisbd2011-agd.pdf (368 KB) Antonio García Domínguez, 07/21/2011 07:31 PM