Zur kategoriellen Beschreibung von Schichtenarchitekturen

Abstract

Es wird ein kategorieller Modellierungsansatz für Schichtenarchitekturen vorgestellt. Das Modell gliedert sich in ein graphbasiertes statisches Modell, das die Konfiguration der Komponenten und Konnektoren beschreibt, und ein dynamisches Modell, in dem die Berechnung von Aufrufen zur Laufzeit untersucht wird. Das Verhalten einer Komponente wird als Morphismus in einer lextensiven Kategorie beschrieben. Untersuchungen zu Terminierungsfragen und Verhaltensähnlichkeit sowie ein formaler Ansatz für Modelltransformationen schließen sich an.