No label defined (Q4537846)

Kurzfassung: Wie im Bereich der Datenbanksysteme und mehr noch in dem der Programmiersprachen hat sich auch im Bereich der Spezifikationssprachen das objektorientierte Paradigma etabliert. Allerdings hat die Objektorientierung nicht den erhofften Fortschritt in Bezug auf die Wiederverwendbarkeit von Software bzw. Spezifikationen mit sich gebracht und den reinen objektorientierten Sprachen fehlt außerdem ein über Objektklassen hinausgehendes Strukturierungskonzept. Gegenstand der vorliegenden Abhandlung sind Konzepte zur Strukturierung und Wiederverwendung objektorientierter Spezifikationen. Speziell wird die Spezifikationssprache TROLL syntaktisch und semantisch um zwei entsprechende Arten von Modulkonzepten erweitert. Der Kontext, in dem TROLL eingesetzt wird, ist die Spezifikation von Informationssystemen auf einer hohen, implementierungsunabhängigen Abstraktionsebene. Die entsprechende Phase im Softwareentwurfsprozess wird als Spezifikationsphase und im Datenbankumfeld auch als konzeptioneller Entwurf bezeichnet. Da es in der Literatur etliche Sprachvorschläge in diesem Bereich gibt, stellen wir eine Reihe von semiformalen und formalen objektorientierten Spezifikationssprachen vor und ordnen TROLL darin ein. Des Weiteren wird ein Überblick über bestehende Ansätze zur Strukturierung und zur Wiederverwendung in den Bereichen Programmierung, Spezifikation und formale Grundlagen gegeben und darauf aufbauend Anforderungen an solche Konzepte für die Sprache TROLL aufgestellt. Zur Strukturierung von Spezifikationen dienen einfache und komplexe Subsysteme, und zur Wiederverwendung von Spezifikationsteilen werden Sprachkonstrukte zur Erstellung generischer Spezifikationen, zur Instanziierung formaler Parameter sowie zur Einbindung von Modulen in aktuelle Spezifikationen zur Verfügung gestellt. Alle Sprachkonstrukte werden mit einer formalen Syntax und Semantik versehen. Die formale Grundlage der Sprachdefinition bilden erweiterte Datensignaturen und die über Ereignisstrukturen interpretierte verteilte temporale Logik DTL sowie Modulsignaturen und die ebenfalls über Ereignisstrukturen interpretierte modulare verteilte temporale Logik MDTL.