EPK-Validierung zur Modellierungszeit in der bflow* Toolbox

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.
  • Vollständige Referenz
  • BibTeX
Gruhn, V., Laue, R., Kern, H. & Kühne, S., (2008). EPK-Validierung zur Modellierungszeit in der bflow* Toolbox. In: Loos, P., Nüttgens, M., Turowski, K. & Werth, D. (Hrsg.), Modellierung betrieblicher Informationssysteme (MobIS 2008). Bonn: Gesellschaft für Informatik e.V.. (S. 181-194).
@inproceedings{mci/Gruhn2008,
author = {Gruhn, Volker AND Laue, Ralf AND Kern, Heiko AND Kühne, Stefan},
title = {EPK-Validierung zur Modellierungszeit in der bflow* Toolbox},
booktitle = {Modellierung betrieblicher Informationssysteme (MobIS 2008)},
year = {2008},
editor = {Loos, Peter AND Nüttgens, Markus AND Turowski, Klaus AND Werth, Dirk} ,
pages = { 181-194 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
gi-proc-141-012.pdf250.9Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-235-2
ISSN: 1617-5468
Datum: 2008
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige