DFG Projekt EXSPEC

(Ausführbare Spezifikationen als logische Programme höherer Ordnung)

Auf dem speziellen Gebiet der Kombination von Spezifikationssprachen mit Elementen Funktional-Logischer Programmiersprachen auf der Basis von Unifikation wurde in der AG Krieg-Brückner ausführlich gearbeitet.

Dr. Z. Qian leitet nun darauf aufbauend das DFG Projekt EXSPEC (Ausführbare Spezifikationen als logische Programme höherer Ordnung), in dem von Mai 94 bis April 96 Mittel für 2 stud. Hilfskräfte bewilligt wurden..

(Programm-)Spezifikationen sind Formulierungen abstrakter Anforderungen an ausführbare Programme. Im allgemeinen ist die Entwicklung von Programmen aus Spezifikationen sehr aufwendig und schwer zu automatisieren. Die logische Programmiersprache Prolog bietet ein traditionelles Programmierparadigma für direkte Formulierung und Manipulation von einfachen ausführbaren Spezifikationen..

Im Projekt EXSPEC wird untersucht, wie sich die in den letzten Jahren neu entwickelten Spezifikationsparadigmen erster und höherer Ordnung auf ihre ausführbaren Kerne mit relativ gutem operationalen Verhalten beschränken und solche Kerne zu einem logischen Programmierparadigma mit Nebenbedingungen ("Constraints") vereinigen lassen. Der Ansatz unterstützt "Rapid prototyping" von Spezifikationen und kann die Entwurfsphase von Programmen mit formalen Methoden deutlich verkürzen.