Konferenzbeitrag
EPK-Validierung zur Modellierungszeit in der bflow* Toolbox
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Zusatzinformation
Datum
2008
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
Dieser Beitrag stellt den Prototyp eines EPK-Modellierungswerkzeugs vor, der Verfahren zur Suche in Graphen nutzt, um Fehler in EPK-Modellen zu identifizieren. Dieses Werkzeug hat gegenüber bekannten Ansätzen zwei Vorzüge: Zum einen ist es nicht notwendig, den (oft sehr großen) Zustandsraum aller möglichen Abläufe in einem Modell zu berechnen. Zum Zweiten kann unser Ansatz auch auf noch nicht vollständig fertiggestellte Modelle angewendet werden. Der Modellierer wird sofort zur Modellierungszeit über mögliche Probleme sowie deren Ursachen informiert und erhält unmittelbare Vorschläge zur Beseitigung der Probleme.