Specification of behavioral anti-patterns for the verification of block-structured Collaborative Business Processes

详细信息    查看全文

• 作者：J. Roa ; ^a ; ^{jorgemarceloroa@gmail.com" class="auth_mail" title="E-mail the corresponding author} ; ^{jroa@frsf.utn.edu.ar" class="auth_mail" title="E-mail the corresponding author} ; O. Chiotti^b ; ^{chiotti@santafe-conicet.gov.ar" class="auth_mail" title="E-mail the corresponding author} ; P. Villarreal^a ; ^{pvillarr@frsf.utn.edu.ar" class="auth_mail" title="E-mail the corresponding author}
• 关键词：Anti-patterns ; Collaborative Business Processes ; Verification ; Formal methods ; Control flow ; Behavior ; Cross-organizational collaborations
• 刊名：Information and Software Technology
• 出版年：2016
• 出版时间：July 2016
• 年：2016
• 卷：75
• 期：Complete
• 页码：148-170
• 全文大小：4199 K

文摘

Context: The verification of the control flow of a Collaborative Business Process (CBP) is important when developing cross-organizational systems, since the control flow defines the behavior of the cross-organizational collaboration. Behavioral anti-patterns have been proposed to improve the performance of formal verification methods. However, a systematic approach for the discovery and specification of behavioral anti-patterns of CBPs has not been proposed so far.

ara0002">Objective: The aim of this work is an approach to systematically discover and specify the behavioral anti-patterns of block-structured CBP models.

ara0003">Method:The approach proposes using the metamodel of a CBP language to discover all possible combinations of constructs leading to a problem in the behavior of block-structured CBPs. Each combination is called minimal CBP. The set of all minimal CBPs with behavioral problems defines the unsoundness profile of a CBP language, from which is possible specifying the behavioral anti-patterns of such language.

ara0004">Results: The approach for specification of behavioral anti-patterns was applied to the UP-ColBPIP language. Twelve behavioral anti-patterns were defined, including support to complex control flow such as advanced synchronization, cancellation and exception management, and multiple instances. Anti-patterns were evaluated on a repository of block-structured CBP models and compared with a formal verification method. Results show that the verification based on anti-patterns is as accurate as the formal method, but it clearly improves the performance of the latter.

ara0005">Conclusion: By using the proposed approach, it is possible to systematically specify behavioral anti-patterns for block-structured CBP languages. During the discovery of anti-patterns different formalisms can be used. With this approach, the specification of anti-patterns provides the exact combination of elements that can cause a problem, making error correction and result interpretation easier. Although the proposed approach was defined for the context of CBPs, it could be applied to the context of intra-organizational processes.