Verifying Business Process Model Using an Approach Based on Anti-patterns
Business process model plays an important role in model-driven development. When dealing with complex business process models, sometimes it is not easy to determine whether a process model contains any errors. The concepts such as cancellation and ORjoins occur naturally in business scenarios but the presence of these features in process models poses new challenges for verification. We take on the challenge of finding new verification techniques for business process models with cancellation regions and OR-joins. The proposed approach relies on antipatterns matching. This paper verificate business process models by detecting errors illustrated by anti-patterns in the model. First we define some anti-patterns which frequently occur in business process models. We present these techniques in the context of business process modeling language YAWL that provides direct support for all the 20 controlflow patterns reported in . We have implemented a diagnostic tool based on anti-pattern detecting.
Model-driven development Business process model Verification YAWL Anti-pattern
Zhaogang Han Li Zhang
Department of Computer Science and Engineering University of BUAA Beijing, China
国际会议
重庆
英文
444-448
2011-01-21（万方平台首次上网日期，不代表论文的发表时间）