Das V-Modell® XT ist der deutsche Standard für die Durchführung von IT-Projekten des Bundes.1 Es legt die zeitlichen Abläufe in einem Projekt mit Hilfe sogenannter Projektdurchführungsstrategien fest. Der vorliegende Bericht stellt diese Beschreibungstechnik vor und zeigt, wie sie zur modularen Spezifikation von Projektabläufen verwendet werden kann. Weiterhin enthält er eine formale Spezifikation der abstrakten Syntax und der Semantik von Projektdurchführungsstrategien sowie der damit verbundenen Konzepte für Version 1.3 des V-Modell XT. Die Formalisierung geschieht über eine Abbildung der Projektdurchführungsstrategien auf Petri-Netze und die Ableitung von konsistenten Petri-Spuren oder Prozessnetzen. Eine konsistente Abbildung von Projektmeilensteinplänen auf diese Petri-Spuren definiert dann schließlich, wann ein Projektplan konsistent zum Vorgehensmodell ist. Damit legt der Bericht insbesondere eine klare Grundlage für die Implementierung entsprechender Werkzeuge.     «

Das V-Modell® XT ist der deutsche Standard für die Durchführung von IT-Projekten des Bundes.1 Es legt die zeitlichen Abläufe in einem Projekt mit Hilfe sogenannter Projektdurchführungsstrategien fest. Der vorliegende Bericht stellt diese Beschreibungstechnik vor und zeigt, wie sie zur modularen Spezifikation von Projektabläufen verwendet werden kann. Weiterhin enthält er eine formale Spezifikation der abstrakten Syntax und der Semantik von Projektdurchführungsstrategien sowie der damit verbunden...     »