Visualisierung des Rechts mit UML

Was ist UML? UML = Unified Modelling Language Sprache zur Visualisierung, Spezifizierung, Konstruktion und Dokumentation Anwendungsbereiche sind Software- und Geschäftsmodelle

Was ist UML? Keine Methode, sondern „Zeichensammlung“ Weltweiter Standard für Modellierung

Entstehung von UML Erste Version in den 1990er Jahren als Reaktion auf verschiedene einheitliche Modellingsysteme UML 1.0 von den führenden objektorientierten Programmierern entwickelt Akzeptanz durch OMG 1997

Entstehung von UML 1999 regte OMG die Weiterentwicklung an Ca. 9 Jahre dauert dieser Prozess 2008 Beta-Version von UML 2.2 Verbesserungen in Infrastructure und Superstructure Folge: Mehr Möglichkeiten

Inhalt von UML Metamodellierung Spracheinheiten Sprachschichten

Metamodellierung Lexikon bzw. Grammatik von UML Vier Ebenen M0 bis M3 M0 = Realität M1 = Benutzermodell M2 = Grundlegende Instanzen M3 = Metainstanz

Spracheinheiten Aktionen Aktivität Aufrufaktion Veränderungen Neuerstellen Aktivität Verhaltensbausteine des Systems

Sprachschichten FundamentalActivities BasicActivities Aktivitäten strukturell und hierarchisch geordnet BasicActivities Kanten, Knoten, Graphen zur Darstellung

Diagrammarten Strukturdiagramme Verhaltensdiagramme Klassendiagramm Kompositionsdiagramm Komponentendiagramm Verteilungsdiagramm Objektdiagramm Paketdiagramm Verhaltensdiagramme Aktivitätsdiagramm Anwendungsdiagramm Interaktionsdiagramm Kommunikationsdiagramm Sequenzdiagramm Zeitverlaufsdiagramm Zustandsdiagramm

Vorgehensweise der Visualisierung Was soll mit UML visualisiert werden? Diagrammtyp feststellen Welche Folge soll validiert werden? Folgediagrammtyp feststellen Festlegen der Hierarchien und Struktur

Visualisierung einer Norm Beispiel im Strafrecht § 223 Abs.1 StGB: Wer eine andere Person körperlich misshandelt oder an der Gesundheit schädigt, wird mit Freiheitsstrafe bis zu fünf Jahren oder mit Geldstrafe bestraft.

Visualisieren einer Norm Feststellen der logischen Folgen: Wer eine andere Person körperlich misshandelt oder an der Gesundheit schädigt, wird mit Freiheitsstrafe bis zu fünf Jahren oder mit Geldstrafe bestraft. Logische Kette: Körperverletzung -> Strafe

UML-Modell

Visualisierung eines juristischen Verfahrens Beispiel im Strafprozess § 244 StPO: [...] (3) Ein Beweisantrag ist abzulehnen, wenn die Erhebung des Beweises unzulässig ist. Im übrigen darf ein Beweisantrag nur abgelehnt werden, wenn eine Beweiserhebung wegen Offenkundigkeit überflüssig ist, wenn die Tatsache, die bewiesen werden soll, für die Entscheidung ohne Bedeutung oder schon erwiesen ist, wenn das Beweismittel völlig ungeeignet oder wenn es unerreichbar ist, wenn der Antrag zum Zweck der Prozeßverschleppung gestellt ist oder wenn eine erhebliche Behauptung, die zur Entlastung des Angeklagten bewiesen werden soll, so behandelt werden kann, als wäre die behauptete Tatsache wahr. (6) Die Ablehnung eines Beweisantrages bedarf eines Gerichtsbeschlusses.

Feststellen der Abfolge: [...] (3) Ein Beweisantrag ist abzulehnen, wenn die Erhebung des Beweises unzulässig ist. Im übrigen darf ein Beweisantrag nur abgelehnt werden, wenn eine Beweiserhebung wegen Offenkundigkeit überflüssig ist, wenn die Tatsache, die bewiesen werden soll, für die Entscheidung ohne Bedeutung oder schon erwiesen ist, wenn das Beweismittel völlig ungeeignet oder wenn es unerreichbar ist, wenn der Antrag zum Zweck der Prozeßverschleppung gestellt ist oder wenn eine erhebliche Behauptung, die zur Entlastung des Angeklagten bewiesen werden soll, so behandelt werden kann, als wäre die behauptete Tatsache wahr. (6) Die Ablehnung eines Beweisantrages bedarf eines Gerichtsbeschlusses

UML Modell

Vielen Dank für die Aufmerksamkeit!