Dokumentation
 

Übersicht
Zweck des Programms

Das Programm "Grafische Ausgabe von Spuren" erlaubt es Elemente von partiell kommutativen Monoiden (Spuren) aus einer linearen Textrepräsentation in eine Graphdarstellung zu übersetzen.
Der Benutzer gibt eine Spur und die Abhängigkeitsrelation D  bzw. Unabhängigkeitsrelation I ein. Es wird die Tupeldarstellung der Spur, die Foata Normalform der Spur, Maximale Cliquenüberdeckung und der Abhängigkeitsgraph berechnet und ausgegeben.

 Programmdaten

Das Programm wurde im Rahmen eines Softwarepraktikums im Jahr 1998 an der Universität Stuttgart für den Lehrstuhl Theoretische Informatik erstellt.
Betreuer :  Markus Lohrey
 
Sprache
:
 Java 1.0
Compiler
:
 JDK 1.1.5
Letzte Änderung
:
 30.09.1998
Version
:
 1.0
Kann sowohl als Applet als auch als eigenständige Anwendung ausgeführt werden.
Das Programm lief problemlos unter Netscape 3.0 (UNIX), Microsoft Internet Explorer 4.0 (Win95), sowie dem Appletviewer und Java Interpreter des JDK1.1.5 (Win95 und UNIX). Bei Netscape 4.0 (Win95) werden die Knoten des Graphen nicht in der korrekten Größe gezeichnet. Ausführlich getestet wurde nur unter dem JDK Java Interpreter (Win95).

Autoren :

  1.  Erik Krebs
Quellcodedateien:
  1.  SpurenAusgabe.java  (Hauptklasse)
  2.  Alphabet.java
  3.  CharMenge.java
  4.  Einstellungen.java
  5.  FoataNF.java
  6.  Graph.java
  7.  IndexMenge.java
  8.  IntMenge.java
  9.  Kante.java
  10.  Knoten.java
  11.  MainFrame.java
  12.  MaxCliquen.java
  13.  Relationen.java
  14.  Spur.java
Bedienung :

1. Eingabe des Alphabets
Die Eingabe wird sortiert. Zulässig sind alle Zeichen außer "1" (leeres Wort). Zeichen nicht durch Kommas oder Leerzeichen trennen, sie werden als Alphabetzeichen interpretiert. Nach einer gültigen Eingabe wird automatisch die Checkbox "Spur" aktiviert.

2. Eingabe der Spur
Zulässig sind alle Zeichen, die auch im Alphabet sind. Auch hier nicht durch Kommas oder Leerzeichen trennen.

3. Ausgaben des Alphabets (X), der Spur als Tupel (t), Abhängigkeitsrelation (D), Unabhängigkeitsrelation (I), Maximale Cliquenüberdeckung (PI : M(X,D) =>) und der Foata Normalform (F).
D und I sind durch unterschiedliche Farben gekennzeichnet.
Die Anzeigen von D und I sind nicht vollständig :
- Die reflexiven Relationspaare,die immer in D sind, werden nicht angezeigt.
- Von den symmetrischen Relationspaaren wird nur eines angezeigt.

4. Eingabe der Abhängigkeitsrelation D/Unabhängigkeitsrelation I
D ist nach Eingabe eines Alphabets zunächst vollständig. Auf ein Relationspaar klicken, um dessen Zugehörigkeit zu D bzw. I zu wechseln.

5. Resets
D bzw. I werden vollständig.

6. Graphtyp
Mögliche Darstellungen des Graphen :

  1. Hasse Diagramm (Standard)
  2. Vollständiger Abhaengigkeitsgraph
7. Ausgabe des Graphen
Zum Verschieben eines Knoten, diesen anklicken und mit der Maus ziehen. Um die Änderungen wieder rückgängig zu machen, Spur erneut eingeben.

Ausführen des Programms

1.) Als Applet :
Folgenden HTML code in die Webseite einfügen :
<APPLET CODE="SpurenAusgabe.class" WIDTH="xxx" HEIGHT="yyy"></APPLET>

2.) Als Anwendung :
Folgendes Kommando in den Befehlsinterpreter eingeben :
<Pfad des JDK>\bin\java SpurenAusgabe
bzw.
<Pfad des JDK>/bin/java SpurenAusgabe

Literatur
Bekannte Probleme