Modulare Regelprogrammierung - Bocionek, Siegfried

. .

Résumé :
..

Sommaire:
1 Einleitung.- 1.1 Motivation.- 1.2 Zielsetzung.- 1.3 Zusammenfassender ?berblick ?ber die Arbeit.- 2 Regelbasierte Programmierung.- 2.1 Grundlagen der Regelprogrammierung.- 2.1.1 Definitionen und Beispiele.- 2.1.2 Funktionsweise von Regelsystemen.- 2.2 Hauptprobleme und existierende L?sungsans?tze.- 2.2.1 Un?bersichtlichkeit.- 2.2.2 Langsame Laufzeit.- 2.3 Folgerungen.- 3 Das Modulkonzept f?r Regelprogramme.- 3.1 Anforderungen an das Modulkonzept.- 3.2 Architektur von Regelsystemen.- 3.2.1 Organisation des Faktenwissens.- 3.2.2 Kommunikation zwischen Regelmoduln.- 3.2.3 M?gliche Modulklassen.- 3.2.4 Festlegung der Regelsystemarchitektur f?r das Modulkonzept.- 3.3 Typisierung von Fakten.- 3.3.1 ?berpr?fbare Schnittstellen durch typisierte Faktenmuster.- 3.3.2 Einschr?nkung von Modulschnittstellen.- 3.4 Definition eines Regelmoduls.- 3.5 Verkn?pfung von Regelmoduln durch ?bergangsgraphen.- 3.6 Ausdrucksm?chtigkeit von ?bergangsgraphen.- 3.6.1 Parallelismen zwischen Regelmoduln.- 3.6.2 Aktivierung und Ergebnis?bergabe eines Regelmoduls.- 3.6.3 Verzweigungen in Regelmodulgraphen.- 3.6.4 Iterationen in einem Regelmodul.- 3.6.5 Rekursionen in einem Regelmodul.- 4 Systemunterst?tzung beim Regelprogrammieren.- 4.1 M?glichkeiten der Systemunterst?tzung.- 4.1.1 Problemstellung und Anforderungen.- 4.1.2 Existierende Ans?tze.- 4.2 Unterst?tzung durch syntaxgesteuerte Editoren.- 4.2.1 Aufbau syntaxgest?tzter Editoren.- 4.2.2 Vorteile der Editoren.- 4.3 ?bersetzung in Regelform.- 4.3.1 ?bersetzung von Regeltabellen in Sachregeln.- 4.3.2 Generierung der ?bergangsregeln aus den Kontrollgraphen.- 4.4 Generische Regelmoduln.- 4.4.1 Metamoduln.- 4.4.2 Modul- und Ablaufschemata.- 4.5 Ablaufumgebung und Testhilfsmittel.- 4.5.1 Laufzeit?berwachung.- 4.5.2 Trace- und Debug-Einrichtungen.- 4.5.3 Testbettgeneratoren und -treiber.- 5 Parallel arbeitende Regelmoduln.- 5.1 Ziele und Anforderungen.- 5.2 Entwurfsaspekte bei parallelen Regelmoduln.- 5.2.1 Funktions- und Datenobjektmoduln.- 5.2.2 Die globale Faktenbasis.- 5.2.3 Regelmodulprozesse und Kommunikation.- 5.2.4 Die Systemarchitektur f?r parallele Regelmoduln.- 5.3 Implementierungsvorschl?ge f?r parallele Regelmoduln.- 5.3.1 Der proze?orientierte Ansatz.- 5.3.2 Der objektorientierte Ansatz.- 5.3.3 Bewertung der Ans?tze.- 6 Schlu?bemerkungen.- 6.1 Zusammenfassung.- 6.2 Implementierungen.- 6.3 Ausblick.- 7 Literaturverzeichnis.- Al Vollst?ndige Syntax der verwendeten Regelsprache.- A2 Syntax und Ordnung der Faktentypen.- A3 Die Standardregeln jedes Regelmoduls.- A5 Glossar.- A6 Stichwortverzeichnis.