Vergleich formaler Methoden im Recht

Zusammenfassung

Ziel dieses Abschnitts ist es, anhand eines zunächst entwickelten Kriterienkatalogs zu einer vorläufigen Einschätzung wesentlicher Formalisierungsmethoden in tabellarischer Form als Ergebnis der Betrachtungen vor allem im 2.Abschnitt zu gelangen. Dazu wird zuerst die Frage einer DV-bezogenen Klassifizierung der Formalisierungsmethoden — insbesondere anhand eines Ansatzes von Budde u.a. — behandelt, um im zweiten Teil zu einem eigens aufgestellten Kriterienkatalog für den Vergleich formaler Methoden zu kommen, der sich an den Bedeutungsdimensionen der

• Formalisierung rechtlicher Regelungen¹⁾

• Formalisierung von Arbeit

• Formalisierung von Kommunikation

orientiert, die im theoretischen Teil zugrunde gelegt wurden (vgl. Abschnitt 1.3.). Die Ergebnisse des Vergleichs — bei der Untersuchung einzelner Formalisierungsmethoden in Abschnitt 2.2. gewonnen — werden anschließend in Form einer tabellarischen Übersicht, gegliedert nach den o.a. Bedeutungsdimensionen sowie den jeweiligen Formalisierungsmethoden, zusammengestellt.