Weinell, E: Rahmenwerk für operationale Spezifikationssprach

Ausdrucksmittel zur Verhaltensspezifikation definieren zu müssen, um den erwünschten Abstraktionsgrad zu wahren. Die Abbildung dieser speziellen Ausdrucksmittel, entweder auf Quellcode einer Programmiersprache oder einen Interpreter, gestaltet sich jedoch häufig komplexer als im statischen Fall.Im Rahmen der vorliegenden Arbeit wird ein Ansatz vorgestellt, um die Realisierung verhaltensorientierter Spezifikationssprachen zu unterstützen. Zentraler Aspekt ist hierbei eine sogenannte Kernsprache, die als kompakte Beschreibungsform über dem Abstraktionsniveau klassischer Programmiersprachen bereitgestellt wird. Konzeptionell basiert diese Sprache auf den im softwaretechnischen Umfeld langjährig erprobten Graphgrammatiken. Insbesondere wird eine leichte Anpassbarkeit und Erweiterbarkeit sichergestellt. Zudem wird ein breites Spektrum an möglichen Datenstrukturen unterstützt, die Graphgrammatiken auf komplexen Graphmodellen nutzbar machen. Die der Kernsprache zugeordnete Ausführungsmaschine lässt sich leicht an fallspezifische Gegebenheiten, wie etwa der zugrundeliegenden Datenzugriffsschicht, anpassen. Als Abstraktionsebene kommt hierbei ein Nicht-Standard-Datenbanksystem für graphbasierte Daten zum Einsatz, das sich zum Adaptieren bestehender Plattformtechnologien nutzen lässt. Auch wird hierbei die technische Erweiterbarkeit der Kernsprache direkt berücksichtigt: So lassen sich Spracherweiterungen auf die Kernsprache zurückführen, um die bestehende technische Infrastruktur nutzen zu können. Um die Werkzeugunterstützung von Spezifikationssprachen schneller entwickeln zu können, ist eine leichte Nutzbarkeit der Kernsprache zu gewährleisten. Hierzu wird eine Möglichkeit angeboten, durch automatisierte Transformationen eine verhaltensorientierte Spezifikationssprache in die bereitgestellte Kernsprache zu übersetzen. Dieser Übersetzungsformalismus berücksichtigt Spezifika der Kernsprache, um seine kompakte und intuitive Nutzung zu fördern.Die vorliegende Arbeit begegnet der Notwendigkeit, verhaltensorientierte Spezifikationen durch spezifische Ausdrucksmittel rasch - und sei es zunächst für eine prototypische Erprobung - nutzbar zu machen. Hierfür bietet sich die vorgeschlagene Kernsprache an, da sie auf vergleichbarem Abstraktionsniveau angesiedelt ist, wie die hiermit zu realisierenden Spezifikationssprachen. Prototypische Entwicklungs- und Ausführungswerkzeuge erleichtern ihre Nutzung. Als Ergebnis entsteht somit ein Werkzeugsatz, der die Realisierung und Erprobung komplexer operationaler Spezifikationssprachen wirksam unterstützt.