Integrating explanation generation into the Palladio tool chain

Abstract

Context. Modeling and simulating software behavior using Palladio can be an important step in ensuring the softwares quality. Problem. However, the end results of a simulation may not be sufficient to understand where and why a self-adaptive system decided to reconfigure itself. Objective. This thesis extends the Palladio tool chain, adding a component that can generate the explanations to these and more questions based on the Slingshot simulator. Method. For this, we gathered usage scenarios where adaptation decisions required further explanations. Using them as requirements, we implemented our explanation generation component as an expert system with a focus on flexibility and expandability. Result. The component functions as a modular extension to Palladios Slingshot simulator that can be dynamically configured to give explanations in different forms as required. For our evaluation we performed a user survey on the importance of different questions to be answered. Conclusion. We believe that the component we have implemented is flexible enough to serve as an easily expanded and adapted tool for explanation generation as well as similar tasks. The scenarios we created as well as the ideas behind them may help others define similar requirements in a more structured way.

Kontext Software in Palladio zu modellieren und zu simulieren kann ein wichtiger Schritt darin sein, die Qualität der Software zu gewährleisten. Problemstellung Die Endergebnisse einer Simulation können allerdings nicht ausreichen um zu verstehen wo und warum sich ein selbst-anpassendes System neu konfiguriert hat. Ziele In dieser Masterarbeit wird Palladio um eine Komponente erweitert, die diese und andere Fragen beantworten kann. Wir bauen dabei auf den Slingshot Simulator auf. Vorgehensweise Wir beginnen damit, Szenarien zu sammeln in denen solche Fragen beantwortet werden müssen. Mit diesen alsVoraussetzungen implementieren wir unsere Erklärungs-Komponente als Expertensystem. Wir legen besonderen Wert darauf, dass diese flexibel und leicht erweiterbar ist. Ergebnisse Die erstellte Komponente stellt eine modulare Erweiterung zu Palladios Slingshot Simulator dar, die dynamisch konfiguriert werden kann bestimmte Erklärungen zu geben. In welcher Form diese ausgegeben werden ist ebenfalls leicht anpassbar. Zur Evaluation führen wir außerdem eine Nutzerbefragung durch, in der die Wichtigkeit einzelner zu beantwortender Fragen erörtert wird. Fazit Wir glauben, dass die von uns implementierte Komponente flexibel genug ist, um als leicht anpassbares Werkzeug zur Erklärungs-Generierung zu dienen. Zusätzlich können die Szenarien und wie wir diese festgehalten haben nützlich für ähnliche Projekte sein.