Verfügbare Informationen zu "Neuer Aufbauplan des Models"
Qualität des Beitrags: Beteiligte Poster: KnThrak Forum: PG A4 Forenbeschreibung: Forum zur Projektgruppe A4 07/08 aus dem Unterforum: Allgemeines Antworten: 1 Forum gestartet am: Montag 02.04.2007 Sprache: deutsch Link zum Originaltopic: Neuer Aufbauplan des Models Letzte Antwort: vor 15 Jahren, 10 Monaten, 20 Tagen, 3 Stunden, 9 Minuten
Alle Beiträge und Antworten zu "Neuer Aufbauplan des Models"
Re: Neuer Aufbauplan des Models
KnThrak - 09.05.2007, 18:12Neuer Aufbauplan des Models
So, alles eingecheckt.
Der neue Aufbau ist:
<root>
.automaton
Generische Automaten-Klassen gehen hierhin. Aber: wenn es zu viele Klassen eines Typs gibt (z.B. Analyse), finden sich diese in einem Unterpackage.
.automaton.alphabet
Alle Alphabetsklassen die nicht an spezielle Automatentypen gebunden sind finden sich hier.
.automaton.analysis
Enthält die generisches Analyseklassen.
.automaton.annotation
Hier ist bisher nur die Operation.java, die den @Operation-tag definiert. Ist aber keine schlechte Idee, und sehr ausbaufähig.
Z.B.: kommt mir die Idee, das wenn wir sagen wir erbende Automatentypen haben, aber beide Automaten modular sind, könnten wir einen "RequiredDependencies"-tag implementieren. Der gibt ne Automatenart an, ohne die der aktuelle Automat nicht benutzt werden darf.
Also, Automat #X darf nur benutzt werden (ist amsonsten in der GUI ausgegraut), wenn alle Automatenarten, die unter RequiredDependancies aufgelistet sind, vorhanden sind. Wie wär sowas?
.automaton.symbol
Alle Klassen zu Symbolen, die Automatentypspezifischen wieder ausgenommen. (! Symbol.java ist hierhin gewandert von 'automaton' !)
.automaton.trigger
Trigger und Triggerfactories. Hier sind teilweise noch spezifische Triggerfactories, die in die Automatenmodule können.
.automaton.utilities
Hier sind die generischen Utility-Klassen.
.automaton.xml
Konverter für XML lagern hier. Können wir so weiterverwenden würd ich sagen, auch wenn die automatenspezifischen noch wegmüssen in die Unterpackages.
.automaton.<automatenpackages>
(Davon gibt es bisher 'finiteautomaton', 'omegaautomaton', 'buchiautomaton', 'obdd', 'kripkemodel')
Der Hauptteil an Erweiterungsarbeit sollte hier stattfinden, indem wir für neue Automatenarten neue packages angliedern und in diesen die Klassen entwickeln.
.modelchecking
Hauptpackage für Modelchecking. Bisher isses leer, aber wenn wir später generische Modelchecking Klassen haben, kommen die hier rein.
.modelchecking.ctl
Die CTL-Klasse ist jetzt hier.
.modelchecking.ltl
Der LTL Teil...
.documentation
Hier kommt alle Dokumentation rein. Wir müssen uns noch entscheiden, ob die Annotation-Klassen (bisher ist es ja nur eine, aber das Konzept ist erweiterbar) auch hierhin sollen, auch wenn sie ja eher der maschinenseitigen Dokumentation dienen.
.test
Hier sind alle Testklassen. Nicht sortiert, aber ist das notwendig?
.parser
Bisher ist hier nocht nichts verändert. Können wir noch sortieren, bis auf Kleinkram ist das aber schon alles recht gut.
.workspace
Die GUI - wird ja weggeschmissen, aber wir brauchen sie nunmal für Tests.
Mit folgendem Code, können Sie den Beitrag ganz bequem auf ihrer Homepage verlinken
Weitere Beiträge aus dem Forum PG A4
Model Checking - gepostet von Lobo am Mittwoch 18.04.2007
BOMMERHOLZ II - Themenübersicht - gepostet von Lobo am Mittwoch 19.09.2007
Ähnliche Beiträge wie "Neuer Aufbauplan des Models"
Neuer ChatMod - Audi (Samstag 07.07.2007)
Neuer Wettbewerb - giancarlo (Sonntag 13.03.2005)
Neuer Homepage anbieter Kostenlos - patrickhh (Mittwoch 19.04.2006)
neuer foren style - Lu-Bot (Donnerstag 15.09.2005)
Neuer Tag - anna92 (Donnerstag 13.07.2006)
"Neuer" Track - DC (Montag 31.07.2006)
Neuer Trend? - artarmon (Dienstag 20.11.2007)
Neuer Moderator - emin0005 (Mittwoch 02.11.2005)
Ein neuer Tag - Kristina (Freitag 27.10.2006)
Neuer Job - Schloo (Montag 04.02.2008)
