Neuer Aufbauplan des Models

PG A4
Verfügbare Informationen zu "Neuer Aufbauplan des Models"

  • Qualität des Beitrags: 0 Sterne
  • 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:12

    Neuer 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)