EPK-Validierung zur Modellierungszeit in der bflow* Toolbox
作者： Heiko Kern , Stefan Kühne , Ralf Laue , Volker Gruhn
DOI:
关键词:
摘要: Dieser Beitrag stellt den Prototyp eines EPK-Modellierungswerkzeugs vor, der Verfahren zur Suche in Graphen nutzt, um Fehler EPK-Modellen zu identifizieren. Dieses Werkzeug hat gegenuber bekannten Ansatzen zwei Vorzuge: Zum einen ist es nicht notwendig, (oft sehr grosen) Zustandsraum aller moglichen Ablaufe einem Modell berechnen. Zweiten kann unser Ansatz auch auf noch vollstandig fertiggestellte Modelle angewendet werden. Der Modellierer wird sofort Modellierungszeit uber mogliche Probleme sowie deren Ursachen informiert und erhalt unmittelbare Vorschlage Beseitigung Probleme.
参考文章(12)
Markus Nüttgens, Frank J. Rump, Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK) predictive models in software engineering. pp. 64- 77 ,(2002)
Ralf Laue, Volker Gruhn, Validierung syntaktischer und anderer EPK-Eigenschaften mit PROLOG. EPK. pp. 69- 84 ,(2006)
Ekkart Kindler, On the Semantics of EPCs: A Framework for Resolving the Vicious Circle business process management. pp. 82- 97 ,(2004) , 10.1007/978-3-540-25970-1_6
Javier Esparza, Manuel Silva, Circuits, handles, bridges and nets applications and theory of petri nets. pp. 210- 242 ,(1991) , 10.1007/3-540-53863-1_27
Ahmed Awad, Frank Puhlmann, Structural Detection of Deadlocks in Business Process Models Business Information Systems. pp. 239- 250 ,(2008) , 10.1007/978-3-540-79396-0_21
J.E Robbins, D.F Redmiles, Cognitive support, UML adherence, and XMI interchange in Argo/UML Information & Software Technology. ,vol. 42, pp. 79- 89 ,(2000) , 10.1016/S0950-5849(99)00083-X
Daniel C. McFarlane, Comparison of four primary methods for coordinating the interruption of people in human-computer interaction Human-Computer Interaction. ,vol. 17, pp. 63- 139 ,(2002) , 10.1207/S15327051HCI1701_2
Wasim Sadiq, Maria E. Orlowska, Analyzing process models using graph reduction techniques Information Systems. ,vol. 25, pp. 117- 134 ,(2000) , 10.1016/S0306-4379(00)00012-0
W.M.P. van der Aalst, Formalization and verification of event-driven process chains Information & Software Technology. ,vol. 41, pp. 639- 650 ,(1999) , 10.1016/S0950-5849(99)00016-6
W. M. P. VAN DER AALST, The application of Petri-nets to workflow management Journal of Circuits, Systems, and Computers. ,vol. 8, pp. 21- 66 ,(1998) , 10.1142/S0218126698000043