Resumen de On the model-driven performance and reliability analysis of dynamic systems
Cuando se diseña y desarrolla cualquier tipo de sistema, primeramente se piensa en la funcionalidad del mismo. Se intenta identificar qué actividades y funciones el sistema debe ser capaz de llevar a cabo, identificando sus requisitos funcionales. A menudo se ignoran o se da menos importancia de la que debería a los requisitos no funcionales, que identifican cómo se debe comportar el sistema e imponen restricciones sobre el comportamiento del mismo. Además, el cumplimiento de estos requisitos suele comprobarse en las últimas etapas del desarrollo, lo que muchas veces hace que haya que aplicar cambios muy costosos si se descubre que se violan los requisitos. En esta tesis proponemos la definición y comprobación de los requisitos no funcionales de sistemas dinámicos desde las primeras fases del desarrollo de los mismos, concretamente, en la fase de diseño. Utilizando un enfoque basado en el Desarrollo del Software Dirigido por Modelos (DSDM), hemos conseguido elevar el nivel de abstracción a la hora de modelar sistemas, abstrayendo los conceptos relevantes de los mismos. Esto nos permite especificar el comportamiento funcional en la fase de diseño, lo cual hemos realizado mediante reglas visuales. A este nivel de abstracción, hemos definido un conjunto de objetos especiales, llamados observadores, que se añaden de forma no intrusiva a las especificaciones de los sistemas. Pueden estar asociados con objetos concretos del sistema o bien observar al sistema como un todo. El objetivo de estos observadores es el de monitorizar determinadas propiedades no funcionales. Concretamente, en la tesis nos hemos centrado en el rendimiento y la fiabilidad. El uso de transformaciones de modelo, tecnología esencial en el DSDM, permite trasladar las especificaciones de alto nivel del comportamiento de los sistemas a un formalismo basado en lógica de reescritura llamado Maude. Las especificaciones en este formalismo pueden ser simuladas. Tras las simulaciones, los observadores contienen información sobre el comportamiento del sistema relativos al cumplimiento o violación de los requisitos no funcionales. También se puede obtener información del sistema a lo largo de toda su vida e incluso readaptar el sistema en tiempo de ejecución para que cumpla con los requisitos establecidos, mediante la comprobación de los valores almacenados en los observadores.
En esta tesis también mostramos cómo nuestra propuesta para especificar propiedades no funcionales mediante observadores se puede aplicar para simular sistemas de redes de colas de un modo flexible y efectivo, y los beneficios que esto conlleva. En concreto, hemos sido capaces de crear una herramienta con la que se pueden definir visualmente modelos de redes de colas, importarlos y exportarlos desde y hacia otras herramientas, y simularlos para obtener sus medidas de rendimiento.
