Logik-Graph

Zu der konkreten Untersuchung von Logiken im Gebiet der algebraischen Spezifikation einschließlich der Anwendung kategorieller Methoden existieren umfangreiche Forschungsarbeiten der AG Kreowski, die im Rahmen von COMPASS durchgeführt wurden.

Kategorientheoretische Mittel zur Untersuchung von Vergiß-Funktoren in verschiedenen Logiken werden in [HMS 91] bereitgestellt. Während der Gewährung eines Stipendiums der Studienstiftung des deutschen Volkes entstanden die Vorarbeiten [KM 95] und [Mos 95a]. In beiden Arbeiten werden verschiedene Logiken exemplarisch miteinander verglichen, Anforderungen an Abbildungsbegriffe formuliert und derartige Abbildungsbegriffe eingeführt. Ferner wurde an der Kombination von Logiken gearbeitet [Mos 95b].

Auf diese Weise wurde bereits ein erster Logik-Graph entwickelt, in dem verschiedene Logiken systematisch zueinander in Beziehung gesetzt werden und der eine Navigation beim Übergang in eine andere Logik bzw. Sprache der Familie erlaubt [Mos 95c]. Jeder Übergang entspricht einer korrekten Übersetzung und erlaubt dadurch u.a., Werkzeuge für die Ziellogik auch für Formeln der Quellogik zu verwenden.

Diese Arbeiten sollen die Basis für weitere theoretische Arbeiten zur Logik- und Methodenkombination für die UniForM Workbench werden.