协同业务过程的相容性检测及修正-计算机科学与探索.pdfVIP

ISSN 1673-9418 CODEN JKYTA8 E-mail: fcst@vip. 163.com Journal of Frontiers of Computer Science and Technology 1673-9418/2017/ 11(12)- 1907-15 Tel: +86-10 doi: 10.3778/j.issn. 1673-9418.1703075 协同业务过程的相容性检测及修正* 1 1,2+ 1 1,2 1,2 1 郑 明 ，莫 启 ，周小煊 ，李 彤 ，谢仲文 ，向文坤 1. 云南大学 软件学院，昆明 650500 2. 云南省软件工程重点实验室，昆明 650500 Compatibility Detection and Correction of Collaborative Business Process 1 1,2+ 1 1,2 1,2 1 ZHENG Ming , MO Qi , ZHOU Xiaoxuan , LI Tong , XIE Zhongwen , XIANG Wenkun 1. School of Software, Yunnan University, Kunming 650500, China 2. Key Laboratory in Software Engineering of Yunnan Province, Kunming 650500, China + Corresponding author: E-mail: moqiyueyang@ 163.com ZHENG Ming ，MO Qi ，ZHOU Xiaoxuan, et al. Compatibility detection and correction of collaborative busi- ness process. Journal of Frontiers of Computer Science and Technology, 2017, 11(12) ：1907-1921. Abstract: With the development of economic globalization, the business operations in enterprises have switched from in-company solo business process to inter-enterprise cooperative business process. Thus, the research on the compatibility and correction of cooperative business process is necessary to make sure that the cooperative business 索 process can operate correctly. This paper comes up with a method about compatibility detection and correction for 探 interorganization cooperative business process therefor, based on the theory of Petri nets