Vorgehensmodelle unterstützen eine systematische Entwicklung, indem sie zu erbringende Entwicklungsergebnisse, synonym -produkte, und auszuführende Aktivitäten angeben. In dieser Arbeit wird eine mathematisch fundierte Grundlage für durchgängige Vorgehensmodelle zur Entwicklung verteilter Informationssysteme geschaffen. In einem Produktmodell werden die verschiedenen Arten von Entwicklungsprodukten integriert, die im Rahmen der Unternehmens- und der Anforderungsspezifikation sowie des Softwareentwurfs zu erbringen sind. Zur Definition des Produktmodells werden bewährte mathematische Modellierungstechniken aufgegriffen, angepasst und zu einem Ansatz vervollständigt, der von der Spezifikation fachlicher Datentypen und von Geschäftsprozessen bis hin zum Feinentwurf von Softwarekomponenten reicht. Damit leistet die Arbeit einen Beitrag, die Lücke zwischen mathematischen Techniken und umfassenden, bisher vielfach informell beschriebenen Vorgehensmodellen der Informatik zu schließen.    «

Vorgehensmodelle unterstützen eine systematische Entwicklung, indem sie zu erbringende Entwicklungsergebnisse, synonym -produkte, und auszuführende Aktivitäten angeben. In dieser Arbeit wird eine mathematisch fundierte Grundlage für durchgängige Vorgehensmodelle zur Entwicklung verteilter Informationssysteme geschaffen. In einem Produktmodell werden die verschiedenen Arten von Entwicklungsprodukten integriert, die im Rahmen der Unternehmens- und der Anforderungsspezifikation sowie des Softwareen...    »