InopSys - Zusammenfassung
 

DFG-Forschergruppe

InopSys - Interoperabilität von Kalkülen zur Systemmodellierung

 

Zusammenfassung

Homepage

Kontakt:
Bernhard Möller

Zusammenfassung

Nahezu alle neueren praktischen Beschreibungssprachen für das Software Engineering vertreten die Auffassung, daß komplexe informationsverarbeitende Systeme am verständlichsten in unterschiedlichen, komplementären Sichten beschrieben werden. Dazu dient eine Reihe grundlegend unterschiedlicher Modelle für die relevanten Aspekte, wie Daten, Zustandsübergänge, Interaktion, Komposition, rekursive Definitionen auf allen Ebenen sowie bei heutigen Systemen die Dynamik und Mobilität in sich konfigurierenden Netzen. Hinzu kommt das Thema der schrittweisen Entwicklung solcher Systeme.

Für nahezu alle diese Aspekte hat die Informatik logische und algebraische und somit auf streng formalen Systemen von Ableitungsregeln basierende Theorien und Kalküle entwickelt. Allerdings sind diese jeweils nur auf einen oder wenige Aspekte ausgerichtet. Was bisher völlig fehlt, ist eine Zusammenführung der unterschiedlichen formalen Modelle in ein interoperables Baukastensystem, so daß sie folgerichtig ineinandergreifen und damit die unterschiedlichen Aspekte und Schichten realer Systeme abzubilden erlauben.

Zur Beseitigung dieses Defizits werden durch die Forschergruppe folgende Gesamtziele angestrebt:

  • Darstellung, Anpassung und Integration der vorhandenen Kalküle zur Systemmodellierung in einen Gesamtrahmen, der die Teilkalküle integriert und interoperabel zueinander in Beziehung setzt.
  • Logische Absicherung des Rahmens durch Aufbau eines semantischen Kernkalküls, der eine kohärente und konsistente Semantik der Teilkalküle garantiert.
  • Werkzeugunterstützung durch ein Beweissystem zur strengen Überprüfung der Kalkülregeln und zur Behandlung komplexerer Beispiele.
    • Dabei wird noch nicht die direkte Umsetzung des Interoperabilitätsrahmens in eines der gängigen, in der Praxis gebräuchlichen Beschreibungsmittel angestrebt. Vielmehr soll sich das Projekt auf die theoretischen Grundlagen konzentrieren und Studien zur Realisierung in Form darauf aufbauender Diplom- oder Doktorarbeiten anregen.

    Last updated 28.11.00