Page 188 - 《软件学报》2020年第10期

3164 Journal of Software 软件学报 Vol.31, No.10, October 2020

适配器组合执行是正确的,以避免出现时序异常.面向 Web 服务流程组合与通过传统业务过程组合建立协同业
务过程的最大区别是服务使用者通常没有修改第三方服务的权限,也不能要求服务提供者按照自己的需求修
改提供的服务.因此,针对 Web 服务流程自动组合通常利用适配器来实现,而针对业务过程组合主要是由可信第
三方在设计阶段修改业务过程的内部结构来实现 [36] .

7 总 结

在考虑活动同步及异步交互的情况下,本文基于完整简单路径提出一种协同业务过程正确性修正方法.该
方法将部分正确的协同业务过程中所有的完整简单路径合并以构建核,通过协调映射来生成修正业务过程,将
修正业务过程并发组合建立修正协同业务过程.该方法一方面可确保修正协同业务过程符合其典型特征(如自
治、分布等);另一方面,修正协同业务过程只含有修正前协同业务过程中所有完整简单路径对应的轨迹,可避免
有效性确认,提高了修正效率.
未来工作主要针对以下 3 个方面的问题开展研究.
(1) 本文定义正确性关注控制流,而数据流也是影响业务过程协作的一个重要因素.因此,下一步将提出同
时考虑控制流和数据流的协同业务过程正确性修正方法;
(2) 弱合理可归于一般意义上的正确性 [17] ,而参与组织期望系统功能或特性可能多种多样.如何在考虑用
户需求层面对协同业务过程进行修正是值得深入研究的课题;
(3) 本文方法在修正中需要首先生成协同业务过程完整简单路径,然后合成核,最后通过对核进行协调映
射生成每个修正业务过程.在实际应用中,由于受限于协同业务过程的状态空间,本文方法也面临状态空间爆炸
的问题.然而,本文主要关注修正方法的有效性(即修正协同业务过程符合实际特征及修正前后完整简单轨迹保
持一致)和效率(即修正耗费时间较短)问题.如何避免修正中出现的状态空间爆炸问题将在未来工作中着重加
以讨论.

References:
[1] Lu YH, Ming Z, Zhang L. Collaboration patterns of business process. Computer Integrated Manufacturer Systems, 2011,17(8):
1570–1579 (in Chinese with English abstract).
[2] Sill A. Cloud, data, and business process standards for manufacturing. IEEE Cloud Computing, 2016,3(4):74–80.
[3] Yousfi A, Freitas AD, Dey A, et al. The use of ubiquitous computing for business process improvement. IEEE Trans. on Services
Computing, 2016,9(4):621–632.
[4] Li Y, Luo ZL, Yin JW, et al. Enterprise pattern: integrating the business process into a unified enterprise model of modern service
company. Enterprise Information Systems, 2017,11(1):1–21.
[5] Yu WY, Yan CG, Ding ZJ, et al. Modeling and verification of online shopping business processes by considering malicious
behavior patterns. IEEE Trans. on Automation Science and Engineering, 2016,13(2):647–662.
[6] Mo Q, Dai F, Zhu R, et al. An approach to extract public process from private process for building business collaboration. Journal
of Computer Research and Development, 2017,54(9):1892–1908 (in Chinese with Engliash abstract).
[7] Aalst W, Lohmann N, Massuthe P, et al. From public views to private view correctness by design for services. In: Proc. of the 4th
Int’l Workshop on Web Service and Formal Methods. LNCS 4937, Berlin: Springer-Verlag, 2007. 139–153.
[8] Aalst W, Weske M. The P2P Approach to Interorganizational Workflows. Berlin: Springer-Verlag, 2013.
[9] Aalst W. Modeling and analyzing interorganizational workflows. In: Proc of the 1st Int’l Conf. on Application of Concurrency to
System Design. Los Alamitos: IEEE Computer Society, 1998. 262–272.
[10] Zeng QT, Lu FM, Liu C, et al. Modeling and verification for cross-department collaborative business processes using extended
Petri nets. IEEE Trans. on Systems, Man, and Cybernetics: Systems, 2015,45(2):349–362.
[11] Lohmann N. Compliance by design for artifact-centric business processes. Information Systems, 2013,38(4):606–618.
[12] Lohmann N. Compliance by design for artifact-centric business processes. In: Proc of the 9th Int’l Conf. on Business Process
Management. Berlin: Springer-Verlag, 2011. 99–115.