Zur kategoriellen Beschreibung von Schichtenarchitekturen
Loading...
Date
2005-12-22T13:07:18Z
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
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.
Description
Table of contents
Keywords
Software-Architekturen, Kategorientheorie, Schichtenarchitekturen