Analyse von Softwareprozess-Modellen

Thema des vorliegenden Buches ist die Analyse von Softwareprozess-Modellen. Solche Modelle bilden die Grundlage prozessgesteuerter Soft¿wareenwicklungs-Umgebungen (PSEU). Diese unterst¿tzen die Durchf¿hrung insbesondere gro¿r und r¿lich verteilter Software¿projekte, 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¿lich weit verteilten Projekts entdeckt, ist ihre Korrektur h¿ig mit gro¿n 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 Software¿technologie der Universit¿Dortmund. Zun¿st wird die Theorie zur Analyse von Softwareprozes-Modellen erarbeitet. Danach wird auf¿gezeigt, wie diese in die Entwicklung eines Analyse-Werkzeugs (hier im Rahmen des Merlin-Projekts der Universit¿Dortmund) m¿nden kann.