Thema des vorliegenden Buches ist die Analyse von Softwareprozess-Modellen. Solche Modelle bilden die Grundlage prozessgesteuerter Softwareenwicklungs-Umgebungen (PSEU). Diese unterstutzen die Durchfuhrung insbesondere grosser und raumlich verteilter Softwareprojekte, indem sie die Arbeit vieler Softwareentwickler geeignet koordinieren. Der Korrektheit eines Softwareprozess-Modells kommt ein hohes Mass an Bedeutung zu. Werden Fehler (d.h. Inkonsistenzen zwischen dem erwunschten Prozess und seinem Modell) erst zur Laufzeit eines konkreten, raumlich weit verteilten Projekts entdeckt, ist ihre Korrektur haufig mit grossen Schwierigkeiten verbunden. Daher sollten geeignete Editier-, Analyse- und Simulations-Werkzeuge zur Verfugung stehen, um ein Modell schon vor seinem Einsatz in einem konkreten Projekt umfassend auf Fehler untersuchen zu konnen. Dieses Buch basiert auf einer Diplomarbeit am Lehrstuhl fur Softwaretechnologie der Universitat Dortmund. Zunachst 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 Universitat Dortmund) munden kann.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.