Options
1992
Conference Paper
Titel
Entwicklungssystem zur schnellen Umsetzung von Petri-Netz Modellen in eine Software-Realisierung
Abstract
Ausgangspunkt der Entwicklung applikationsspezifischer informationsverarbeitender Systeme ist in der Regel ein Pflichtenheft, in dem das Verhalten des zu entwerfenden Systems verbal beschrieben ist. Die Vollständingkeit, Wiederspruchsfreiheit und Ablauffähigkeit des Pflichtenhefts kann aber auf der Ebene einer verbalen Verhaltensbeschreibung nicht überprüft werden. Daher wird zur Verifikation der Verhaltensbeschreibung aus den zur Verfügung stehenden Informationen zunächst ein aus informationsverarbeitenden (Teil-)Prozessen bestehendes Petri-Netz-Modell erstellt, das unter Verwendung eines speziellen Programms ablauffähig ist. Auf diese Weise wird eine schnelle Software-Realisierung des Modells erreicht.