Drei Ansätze zur Formalisierung informeller Beschreibungen von Software-Entwicklungsprozessen

Informelle Dokumente sind typisch für die Beschreibung von Software-Entwicklungsprozessen. Software-Projekte müssen jedoch formaler beschrieben werden, um bessere Kommunikation und Kontrolle zu erzielen. Die resultierenden Prozeßmodelle können auf Vollständigkeit, Konsistenz und Eindeutigkeit überprüft werden. Die Formalisierung einer informellen Beschreibung unter Benutzung der Prozeßmodellierungssprache MVP-L wird gezeigt. Das Beispiel, ein Cleanroom-Prozeß, ist einem industriellen Handbuch entnommen. Drei Ansätze werden zur Formalisierung dieses Beispiels angewendet (phasen-, ebenen- und konzeptbasierte Modellierung). Konzeptbasierte Modellierung scheint ein geeigneter Kandidat zu sein