Thema des vorliegenden Buches ist die Analyse von Softwareprozess-Modellen. Solche Modelle bilden die Grundlage prozessgesteuerter Softwareenwicklungs-Umgebungen (PSEU). Diese unterstützen die Durchführung insbesondere großer und räumlich verteilter Softwareprojekte, indem sie die Arbeit vieler Softwareentwickler geeignet koordinieren.

Der Korrektheit eines Softwareprozess-Modells kommt ein hohes Maß an Bedeutung zu. Werden Fehler (d.h. Inkonsistenzen zwischen dem erwünschten Prozess und seinem Modell) erst zur Laufzeit eines konkreten, räumlich weit verteilten Projekts entdeckt, ist ihre Korrektur häufig mit großen Schwierigkeiten verbunden. Daher sollten geeignete Editier-, Analyse- und Simulations-Werkzeuge zur Verfügung stehen, um ein Modell schon vor seinem Einsatz in einem konkreten Projekt umfassend auf Fehler untersuchen zu können.

Dieses Buch basiert auf einer Diplomarbeit am Lehrstuhl für Softwaretechnologie der Universität Dortmund. Zunächst wird die Theorie zur Analyse von Softwareprozes-Modellen erarbeitet. Danach wird aufgezeigt, wie diese in die Entwicklung eines Analyse-Werkzeugs (hier im Rahmen des Merlin-Projekts der Universität Dortmund) münden kann.