Zusammenfassung:
The Science Cloud Platform is, in a nutshell, a platform of distributed, voluntarily provided computing nodes. The nodes interact in a peer-to-peer manner to execute, keep alive, and allow use of user-de fined software applications. We applied the modeling approach Helena to the case study to find a reasonable abstraction that serves as clear documentation, analysis model, and guideline for the implemen- tation. The Helena approach (http://www.pst.ifi.lmu.de/Personen/team/klarl/helena) advocates a modeling approach centered around the notion of roles which components can adopt to take part in such task-oriented teams. By playing roles, the components dynamically change their behavior according to their responsibilities in the task.
In this bachelor thesis, the student should implement the Helena model of the Science Cloud Platform with the domain-specific language HelenaText. In a second step, the student should formulate goals which the platform should achieve in LTL (linear temporal logic). Using the Helena tools, the implemented Helena model should then be checked for goal satisfaction.
The student should be willing to dive into current research of the Helena approach. He/she should be interested in understanding new modeling concepts and realizing it with the domain-specific language HelenaText. Creativity for defining reasonable goals for the case study and previous knowledge in logics and model-checking is beneficial. Feel free to get in contact with Annabelle Klarl. (The thesis can be done in German or English)
Download:
N/A