Fachlogik umsetzen. Business Rules zwischen Konzept und IT-System. Dirk Ziegemeyer

Transkript

1 Fachlogik umsetzen Business Rules zwischen Konzept und IT-System Dirk Ziegemeyer

2 Inhaltsverzeichnis 1. Einleitung Das Problem: Fachkonzept in Prosa : Die Lösung: Fachkonzept mit Business Rules >.'..V Agile und modellgetriebene Softwareentwicklung Extreme Programming ' f Modellgetriebene Architektur Die Vorteile: besser, schneller, preiswerter.... : Abgrenzung zu Objekt-und Datenmodellen Anwendungsbereich von Business Rules Das Regelwerk Der Aufbau des Regelwerkes : Horn-Klauseln als Spräche für Fächwissen Horn-Klauseln haben einzigartige Eigenschaften Die Bildung atomarer Sätze....i...,. :., ; Prädikat...: Term Die Bildung von Horn-Klauseln.:......: Die Schreibweise von Horn-Klauseln Terme Prädikate Arithmetische Operationen Die Bedeutung von Horn-Klauseln Die Motivation von Horn-Klauseln

3 4. Horn-Klauseln mit Typen Dokumentation mit Typen Der Wertebereich von Typen Modellierung und Fehlerprüfung mit Typen Typen geben Termen eine Bedeutung Typendiagramme Integritätsregeln Kardinalität, Referentielle Integrität Determinismus impliziert Integritätsregeln Weitere Integritätsregeln Prozessregeln 55 II. Analyse und Design der Regeln Informationen modellieren Tabellen Objekt-Attribut-Wert-Tripel Vorteile von Objekt-Attribut-Wert-Tripeln Einsatzgebiet von Objekt-Attribut-Wert-Tripeln Strukturen und Listen Strukturen Listen Einsatzgebiete von Strukturen Datendarstellung umwandeln Tabellen und Objekt-Attribut-Wert-Tripel Strukturen und Objekt-Attribut-Wert-Tripel Regelwerke mit Modulen strukturieren Rechenschritte in Modulen kapseln : Die Schreibweise von Modulen 76 Inhaltsverzeichnis

4 9. Bessere Regeln durch Regelanalyse Regeln in atomare Bestandteile zerlegen Überlappungen und Widersprüche beseitigen Fehlende Regeln ergänzen Regeln zur Analyse präsentieren Regeln in Tabellen darstellen Inferenzbäume 89 lo.tests für höhere Regel-Qualität Vorteile der testgetriebenen Entwicklung Der Aufbau von Testfällen Die Arten von Tests, loadie Schreibweise der Testfälle 97 III. Die Architektur Die Architektur regelbasierter Anwendungen Aufgaben der Architektur Business Rules sind Architektur-unabhängig Technische Umsetzung von Business Rules Architekturmuster Anforderungen an die Architektur Das Model-View-Controller Architekturmuster..; Die Komponenten der Architektur Die Gesamt-Architektur mit Business Rules Datenbank-Architektur Rules-Engine-Architektur Serviceorientierte Architektur 114 IV Zusammenfassendes Beispiel Das Fachkonzept für den Kreditbetrag Vorgehensweise 119

5 13.2.Das Typsystem des Fachkonzeptes...; Die Modulstruktur des Fachkonzeptes Die Definition von Finanzinstrümenten Ableitungsregeln <:...: Ableitung der Bemessungsgrundlage Ableitung des Kreditbetrages Ableitung des Kreditäqivalenzbetrages Die technische Umsetzung mit Mercury Physische Datenstrukturen für Finanzinstrumente Ableitung des Mercury-Programmcodes Supertypen werden zu lypklassen Ableitungsregeln werden übernommen V Die Entwicklungsumgebung Anforderungen an die Regelsprache 139 lö.versionsverwaltung von Regeln Teil des Konfigurationsmanagements Paralleles und verteiltes Arbeiten Die grundlegenden Konzepte Objekte unter Versiorisverwaltung Die Versionsverwaltung von Dateien Die Versionsverwaltung der Regelbausteine Zentrales oder dezentrales Repositöry Anforderungen an ein Versionsverwaltungswerkzeug Marktübersicht der Versionsverwaltungswerkzeuge VI. Anhang 153 A. Legende 155 A.l. Typendiagramme 155 A.2. Attribut-Wert-Matrizen Inhaltsverzeichnis

6 B. Mercury-Quellcode des Beispiels 157 B.l. Installation von Mercury unter Windows 157 B.2. Mercury-Programm für den Kreditbetrag 157 B.3. Test der Berechnung 163 C. Produkte und Standards 167 C.l. Softwareprodukte 167 C.2. Standards 167 Literaturverzeichnis 169 Index