Werkzeuge
Lins - Der "Labeling Inspector"
Um die EL-Schälberkeit der nichtkreuzenden Partitionenverbände von wohlerzeugten komplexen Spiegelungsgruppen nachzuweisen, habe ich ein kleines Programm geschreibene, das eine EL-Beschriftung dieser Verbände herleiten kann. Es benötigt Gap 3.
Lins ist ein selbsterklärendes Kommandozeilenprogramm. Das nötige Gap-Skript ist im Archiv enthalten, kann aber auch separat heruntergeladen werden. Lins wird in einer Konsole mittels
java -jar lins.jar
gestartet. Anschließend müssen die Pfade gesetzt und die gewünschte Spiegelungsgruppe ausgewählt werden. Vielen Dank an Daniel, für die Bereitstellung einer Java-Schnittstelle für conexp-clj; das hat die Laufzeit des Programms erheblich verringert. Download
Core - Der "Contextual Role Editor"
In meiner Diplomarbeit habe ich mich mit der Modellierung von rollenorientierten Softwaremodellen aus Sicht der Formalen Begriffsanalysse beschäftigt.
Ich habe zwei Artikel zu diesem Thema geschrieben und schließlich ein kleines Programm entwickelt das den Entwurfsprozess unterstützen soll. Ich habe es "Core" genannt, als Abkürzung für "Contextual Role Editor".
Core kann hier heruntergeladen werden und benötigt die Eclipse Modeling Tools. Im beigefügten Handbuch gibt es eine Kurzanleitung zum Programmstart.
Als einführendes Beispiel könnt ihr die folgenden Dateien verwenden:
Falls ihr Fragen oder Bemerkungen habt, oder Fehler melden wollt, schreibt mir einfach eine Email. Wenn ihr den Rollenmodelleditor von Core anpassen oder erweitern wollt, gibt es den Quellcode hier. Die Ordner müssen einfach nur in Eclipse importiert werden. Dazu wird ein funktionierendes GMF benötigt. (Das ist insbesondere in den Eclipse Modeling Tools enthalten.) Für eine grundlegende Fehlerbehandlung steht das Handbuch zur Verfügung.