Forschungsthemen
[DA] Formalisierung von Rollen
Ziel dieser Arbeit ist es, Begriffsverbände zu nutzen um Rollen und Rollenmodelle zu formalisieren. Auf Grundlage dieser Modellierung sind verschiedene Fragestellungen zu untersuchen: • Wie lassen sich einzelne Entitäten eines Systems als Elemente des Produktverbandes von Rollenhierarchie und Typhierarchie repräsentieren? • Wie lassen sich Methoden der formalen Begriffsanalyse auf Rollenansätze übertragen? Welche Erkenntnisse liefert diese Anwendung? • Wie lassen sich mehrere Rollenhierarchien in ein kohärentes System integrieren? • Welchen Einfluss hat der dynamische Charakter von Rollentypen? • Welchen Einfluss haben die Abhängigkeiten verschiedener Rollentypen innerhalb einer Kollaboration und wie lässt sich dieser repräsentieren? • Können Entitäten eine Rolle mehrfach einnehmen, wie ist dies zu modellieren und wie ist damit umzugehen? • Welche Art von Polymorphie wird durch Rollen beschrieben, kann die formale Begriffsanalyse helfen diese Polymorphie zu formalisieren und zu realisieren?
Betreuer: Christian Wende