Domänenspezifische Modellierung für die Definition von Gesetzen und Ordnungen

by Bernhard Rumpe, Judith Michael, Software Engineering, RWTH Aachen

English Abstract

Domain-specific languages can be defined for various purposes and domains, e.g., for defining law and generating related IT systems. A discrepancy in the interpretation of the law between taxpayers and the tax authorities on the basis of administrative pronouncements is regularly the subject of tax court decisions. The translation of legal texts into program code bears an additional risk of deviation or distance from the legal regulation intended by the legislator. Within the scope of our study [RMK+21] for the German National E-Government Center NEGZ, we examined to what extent this gap can be closed by means of DSLs that are particularly easy to read and the automated evaluation of the statements formulated with the DSL. The study provides further details with application examples from tax law, but an analogous procedure is also feasible for legal texts from different domains, e.g. social, environmental or criminal law. For other examples for legal DSLs, e.g., for contracts, see [DHH+20]. The original (German) article appeared in the GI Radar of the German Informatics Society [MRSW22].

Dieser Beitrag [MRSW22] ist als
NEGZ Studie publiziert und wurde erstellt von Dr. Judith Michael, Prof. Dr. Bernhard Rumpe (RWTH Aachen) Janos Standt und Uli Weber mgm technology partners gmbh. Weiterer Partner der Studie war das Bayerische Landesamt für Steuern.

Domänenspezifische Modellierung für die Definition von Gesetzen und Ordnungen

Ein Auseinanderfallen der Gesetzesinterpretation zwischen Steuerpflichtigen und der Finanzverwaltung auf Basis von Verwaltungsverlautbarungen ist regelmäßig Gegenstand von Finanzgerichtsentscheidungen. Die Übersetzung von Gesetzestexten in Programmcode birgt hier noch ein zusätzliches Risiko einer Abweichung bzw. Entfernung von der durch den Gesetzgeber gewollten Gesetzesregelung. Oder wie es der Präsident des Bundesfinanzhofs a.D. Rudolf Mellinghoff ausdrückt: “Es darf nicht passieren, dass Programmierer Herrschaft über das Gesetz übernehmen” Link. Ganz analoge Probleme existieren bei Ordnungen, Normen, Standards und insbesondere bei Verträgen, wie sich am Beispiel der eher restriktiven Anwendung der DSGVO in Deutschland im Vergleich zum Europäischen Ausland leicht erkennen lässt Link.

Im Rahmen der Studie “Digitalisierung der Gesetzgebung zur Steigerung der Digitalen Souveränität des Staates”, Berichte des NEGZ Nr. 19 im Auftrag des Nationalen E-Government Kompetenzzentrums wurde untersucht, inwiefern sich diese Lücke durch besonders gut lesbare Domänen-spezifische Sprachen (eng. Domain Specific Languages, DSLs) und die automatisierte Auswertung der mit der DSL formulierten Aussagen schließen lässt.

Eine DSL ist eine formale Sprache (im Gegensatz zur natürlichen Sprache), die für ein bestimmtes Problemfeld, die sogenannte Domäne, entworfen und entwickelt wird Link. Je nach Anwendungsdomäne können DSLs sehr nahe an natürlichen Sprachen, mehr mathematisch, oder auch näher an Programmiersprachen orientiert sein. Sie sind jedoch in jedem Fall präzise in ihrer syntaktischen Struktur, besitzen eine unzweideutige und daher unmissverständliche Bedeutung und nutzen eine klare Terminologie.

Insbesondere bei der Finanzverwaltung ist die die Prozess-Automatisierung und Digitalisierung relativ weit vorangeschritten, z.B. durch vollautomatische Verwaltungsakte im steuerlichen Veranlagungsverfahren Link sowie durch die digitale Erstellung und Abgabe von Steuererklärungen im Rahmen des Verfahrens „Elektronische Steuererklärung” ELSTER. Daher eignet sich gerade das Rechtsgebiet des Steuerrechts für eine genauere Betrachtung.

ELSTER verwendet DSLs in der Praxis. Im Verfahren ELSTER werden bereits heute von der deutschen Finanzverwaltung detaillierte Fachmodelle des deutschen Steuerrechts erstellt, mit denen die Plausibilisierung der Daten einer Steuererklärung und die Berechnung der Steuer modellbasiert erfolgt. Die verwendete domänenspezifische Sprache ist dabei konkret auf die Plausibilisierung und Berechnung der Steuerdaten zugeschnitten und ist sowohl menschenlesbar als auch maschinell verarbeitbar. Die Körperschaftsteuer als eine der umfangreichsten Steuerarten enthält dabei über 2.500 Felder und über 2.800 Validierungs- und Berechnungsregeln.

Was sind nun mögliche Teile solch einer Steuer DSL? Wichtig sind hier Domänenspezifische Begriffe (z.B. Fristen mit temporalen Aspekten, Bescheide oder Rechnungen), in Text ausgedrückte Berechnungsvorschriften, logische Konstrukte wie z.B. Wenn-Dann-Beziehungen, Vorgänge im Sinne von Prozessen und Prozessschritten und Referenzen auf andere Komponenten oder Begriffe. Zudem gibt es Charakteristika hinsichtlich des Aufbaus von Gesetzestexten in Paragraphen, Absätze, Nummern und Sätzen. Will man also die natürliche Sprache aus Steuergesetzen in formaler Sprache (Modellen) abbilden, so sind diese unterschiedlichen Teile darzustellen. Hierfür ist die Bildung interdisziplinärer Arbeitsgruppen zur Entwicklung von DSLs zur Abbildung von Gesetzestexten auf Basis einer ebenfalls zu erstellenden Terminologie im Sinne einer Begriffsbildung notwendig.

Unserer Ansicht nach ist es wichtig, möglichst frühzeitig anzusetzen und Modelle selbst bereits im Rahmen des Gesetzgebungsprozesses zu erstellen und zu verwenden. So können diese ggf. gemeinsam mit einer aus Modellen generierten natürlichsprachlichen Fassung der Gesetze beschlossen werden. Werden DSLs und Berechnungsmodelle als Standards und Normen definiert, die sowohl in der zuständigen Behörde, als auch in der unternehmensinternen Software direkt zur Ausführung kommen können, so führt dies zu einer effizienteren IT und besseren Zusammenarbeit der IT einzelner Verwaltungen und Unternehmen, da Gesetz und IT-Technische Umsetzung so immer automatisch konsistent sind. In diesem Zusammenhang sind jedoch zunächst auch verfassungsrechtliche Fragen zu klären, wie z.B. ob ein Gesetz abgebildet in Modellen einer DSL verabschiedet werden darf.

Welche Vorteile hätte die Nutzung von DSLs für die unterschiedlichen Nutzergruppen? Wenn wir die Nutzung von DSLs im Zusammenhang mit den im Gutachten im Auftrag des Normenkontrollrats Link skizzierten Schwächen im bisherigen Gesetzgebungsprozess betrachten, so ergeben sich Vorteile für den Gesetzgeber (Parteien und Parlamentarier), die Ministerialbürokratie und Verwaltungsbehörden, von Gesetzen betroffene Nutzergruppen als auch die Bürgerinnen und Bürger.

Vorteile für den Gesetzgeber (Parteien und Parlamentarier): Der vorgestellte Ansatz führt zu einer Erhöhung der Handlungsfähigkeit in Krisensituationen, da die Umsetzung von Änderungen in Gesetzen rasch in IT-Systemen realisiert werden kann. Unterschiedliche Varianten bzw. Versionen von Gesetzesänderungen können einfacher verglichen werden. Man kann bereits bei der Willensbildung die Auswirkungen der Gesetzesänderungen z.B. mit statistischen Daten simulieren Link. So könnte man die Auswirkungen für bestimmte Zielgruppen z.B. für alleinerziehende Erwerbstätige oder KMUs bis zu einer bestimmten Grenze berechnen. Dies ermöglicht es der Politik die Auswirkungen von Gesetzesänderungen besser abschätzen und Simulationen durchführen zu können. So wird ein systematischer Vergleich von Lösungsalternativen ermöglicht.

Vorteile für die Ministerialbürokratie und Verwaltungsbehörden: Die Digitaltauglichkeit von Gesetzen kann früher automatisiert analysiert werden. Diese Überprüfungen können vor der tatsächlichen Beschlussfassung erfolgen und bei weiterführenden Änderungen einfach immer wieder durchgeführt werden. Eine (Semi-)Automatisierte Rechtskonsistenzprüfung wird ermöglicht, da die Modelle mit anderen, bereits bestehenden Modellen von Gesetzestexten abgeglichen werden können. Zudem kann durch die Nutzung der Modelle und dafür entwickelte Analysetools die Auswirkungen von Gesetzen anhand der real erhobenen Werte analysiert und mit den geplanten Werten verglichen werden.

Vorteile für betroffene Nutzergruppen: Im Gesetzgebungsprozess müssen kommunale Verbände eingebunden werden, wenn ein Gesetz Städte und Gemeinden betrifft. Wenn die definierten Modelle diesen Stellen zur Verfügung gestellt werden, um selbst die Auswirkungen analysieren zu können, ist so eine einfachere Einbindung und Interpretation der Auswirkungen möglich. Hierfür sind aber noch genauere Betrachtungen kommunaler Strukturen notwendig.

Vorteile für Bürgerinnen und Bürger: Wenn Gesetze in Form von Modellen verabschiedet werden, sind diese für alle frei verfügbar. Mit geeigneten Apps hätte jeder so die Möglichkeit für sich selbst die Auswirkungen von Gesetzesänderungen zu simulieren. Auf diese Weise wird zum einen die Nachvollziehbarkeit von Gesetzesänderungen als auch die digitale Souveränität der Bürgerinnen und Bürger erhöht.

In der genannten NEGZ Studie sind noch weitere Details mit Anwendungsbeispielen aus dem Steuerrecht aufgeführt, ein analoges Vorgehen ist jedoch entsprechend auch für Gesetzestexte aus unterschiedlichen Domänen, z.B. Soziales, Umwelt oder Strafrecht, durchführbar. Konkrete Projekte, in denen praktisch einsetzbare Werkzeuge entstehen, sind aktuell jedoch noch ausständig.

Related publications:

Further links:

• Essays, Comments, Definitions around Modeling
• Publications
• Topic sorted list of most interesting publications
• Books
• Website of the SE