Verifikation im Vorgehensmodell anhand eines Beispiels

"Verifikation im Vorgehensmodell" ist der Name einer Kooperation im Rahmen der DFG-Forschergruppe "Petrinetz-Technologie". In dieser Kooperation wird untersucht, an welchen Stellen im Software-Entwicklungs-Prozeß formale Verifikation eingesetzt werden kann und welche Methoden und Techniken dafür geeignet sind insbesondere im Hinblick auf den Einsatz in Verbindung mit Petrinetzen. Im Papier stellen wir grob die verschiedenen Tätigkeiten der Software-Entwicklung anhand eines Beispiels dar und legen Begriffe für die Tätigkeiten und ihre Ergebnisse fest. Dann zeigen wir, an welchen Stellen sich Verifikation anbietet. Wir konzentrieren uns hier auf die frühen Phasen der Software-Entwicklung, weil einerseits Petrinetze für diese Phasen besonders gut geeignet erscheinen und andererseits Verifikation in den frühen Phasen am gewinnbringendsten eingesetzt werden kann. Wir stellen damit eine "Landkarte" für die weiteren Arbeiten in der Kooperation "Verifikation im Vorgehensmodell" bereit.