VDM Rohe, D: Konsistenz von Software-Modellen

Die Komplexität von Software nimmt aufgrund steigender Anforderungen sowie der immer stärkeren Integration in vorhandene Systeme zu. Während der Entwicklung werden zur Beherrschung der Komplexität Modelle auf unterschiedlichen Abstraktionsebenen eingesetzt. Technologien wie Plattformen und Frameworks verringern den Entwicklungsaufwand sowie Managemententscheidungen. Diese Technologien werden in den Anforderungen festgeschrieben. Ein möglicher Einsatz einer vorhandenen Technologie ist die Verwendung von Komponentenmodellen. Damit die Architektur des Systems die Konformitätsbedingungen des Komponentenmodells erfüllt, müssen Konsistenzprüfungen auf Konformität zum Komponentenmodell eingesetzt werden. In diesem Buch wird ein Konzept zur Prüfung von Modellen auf Konformität zu Komponentenmodellen entwickelt. Dieses Konzept legt sich nicht auf einen speziellen Modelltyp fest, sondern erlaubt die Prüfung unterschiedlicher Modelle. Ebenso legt das Konzept kein spezielles Komponentenmodell fest, sondern ist sehr allgemein gehalten. Damit kann die Konformität zu verschiedenen Komponentenmodelle geprüft werden.