Business process modeling with continuous validation

被引：16

作者：

Kuehne, Stefan ^{[1
]}

Kern, Heiko ^{[1
]}

Gruhn, Volker ^{[2
]}

Laue, Ralf ^{[2
]}

机构：

[1] Univ Leipzig, D-04103 Leipzig, Germany

[2] Univ Leipzig, D-04109 Leipzig, Germany

来源：

JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE | 2010年 / 22卷 / 6-7期

关键词：

continuous validation; business process modeling; model validation; bflow Toolbox; VERIFICATION; REDUCTION;

D O I：

10.1002/smr.517

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

In this article, we present the prototype of a modeling tool that applies graph-based rules for identifying problems in business process models. The advantage of our approach is twofold. First, it is unnecessary to compute the complete state space of the model to find errors. Second, our technique can even be applied to incomplete business process models. Thus, the modeler can be supported by direct feedback during the model construction. This feedback not only reports problems, but also identifies their reasons and gives suggestions for improvement. Copyright (C) 2010 John Wiley & Sons, Ltd.

引用

页码：547 / 566

页数：20

共 34 条

[1] [Anonymous], P 2 GI WORKSH EV DRI
[2] *BUS PROC MAN IN, 2004, BUS PROC MOD NOT
[3] Cuntz N., 2005, EPK 2005, P7
[4] DESEL J, 2004, LECT NOTES COMPUTER, V3080, P82
[5] Eshuis H., 2002, SEMANTICS VERIFICATI
[6] Esparza J., 1989, APPL THEORY PETRI NE, V483, P210
[7] Gruhn V., 2007, MSVVEIS 2007, P84
[8] Finding bugs is easy
Hovemeyer, D
Pugh, W
[J]. ACM SIGPLAN NOTICES, 2004, 39 (12) : 92 - 106
[9] HVATUM L, 2007, P 12 EUR 27 C PATT L
[10] Jungo D, 2006, P 4 INT WORKSH MOD S

← 1 2 3 4 →