Vorgehensmodelle und ihre Formalisierung

Die Entwicklung von Vorgehensmodellen sollte einfach sein und die Modelle sollen in sich konsistent sein. Ublicherweise werden Vorgehensmodelle jedoch in naturlicher Sprache erstellt. Dies verlangsamt die Entwicklung und erfordert sorgfaltige Prufungen. Spezielle Sprachen, mit denen Vorgehensmodelle beschrieben und getestet werden konnen, unterstutzen die Autoren der Vorgehensmodelle. Dieser Bericht beschreibt Erfahrungen mit dem Einsatz einer speziellen Sprache, MVP-L, fur die Formalisierung von vier Vorgehensmodellen. Es wird diskutiert, welche Verbesserungen an den Modellen bei einer formalen Entwicklung hatten erzielt werden konnen.