Determination of Structure Soundness for Service Processes Based on Petri Net

doi:10.3969/j.issn.1006-2475.2018.10.024

Abstract

Abstract: Determination of structure soundness is an important research issue in the domain of service composition. The existing research focuses qualitative analysis of structure soundness and cannot accurately evaluate the structure quality of service processes. To address such problem, a hierarchy evaluation method for structure soundness based on Petri net is proposed. The four-level divided principle of structure soundness for service processes is put forward and its determining algorithm is also presented. Finally, application instances with the background of online-trade service processes are given to show how to judge the different level of structure soundness and the effectiveness of the proposed method.

Key words: Web service, soundness, Petri net, service composition, service net

CLC Number:

TP311

GAO Qiang1, HU Qiang2. Determination of Structure Soundness for Service Processes Based on Petri Net[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2018.10.024.

References

［1］姜毅,王伟军,曹丽,等. 基于开源软件的私有云计算平台构建［J］. 电信科学, 2017,29(1):68-75.
［2］林日昶,陈碧欢,彭鑫,等. 支持风险偏好的Web服务动态组合方法［J］. 中国科学:信息科学, 2014,44(1):130-141.
［3］ PAIK H, LEMOS A L, BARUKH M C, et al. Web service composition: Overview［M］// Web Service Implementation and Composition Techniques. Springer International Publishing, 2017:149-158.
［4］ JULA A, SUNDARARAJAN E, OTHMAN Z. Cloud computing service composition: A systematic literature review［J］. Expert Systems with Applications, 2014,41(8):3809-3824.
［5］ LU Y, XU X. A semantic Web-based framework for service composition in a cloud manufacturing environment［J］. Journal of Manufacturing Systems, 2017,42:69-81.
［6］朱李楠,王万良,沈国江. 基于改进差分进化算法的云制造资源优化组合方法［J］. 计算机集成制造系统, 2017,23(1):203-214.
［7］ YE Z, BOUGUETTAYA A, ZHOU X. Economic model-driven cloud service composition［J］. ACM Transactions on Internet Technology, 2014,14(3):205-219.
［8］李婷,何伟,崔立真,等. 基于用户偏好的个性化流程自主构建方法［J］. 计算机集成制造, 2013,19(8):1906-1912.
［9］ CLEMPNER J. Verifying soundness of business processes: A decision process Petri nets approach［J］. Expert Systems with Applications, 2014,41(11):5030-5040.
［10］DU Y, LI X, XIONG P C. A Petri net approach to mediation-aided composition of Web services［J］. IEEE Transactions on Automation Science and Engineering, 2012,9(2):429-435.
［11］MARTENS A. Analyzing Web service based business processes［M］// Fundamental Approaches to Software Engineering. Springer, 2005:19-33.
［12］FAHLAND D, FAVRE C, JOBSTMANN B, et al. Instantaneous soundness checking of industrial business process models［M］// Business Process Management. Springer, 2009:278-293.
［13］余阳,汤庸,潘茂林,等. 时态工作流过程模型及其合理性验证［J］. 软件学报, 2010,21(6):1233-1253.
［14］胡强,杜军威,杜玉越. Web服务流程的结构范式及其判定算法［J］. 计算机学报, 2015,38(1):178-190.
［15］宋晓彤. 云服务的健壮性测试研究［D］. 哈尔滨：哈尔滨工业大学, 2014.
［16］HU Q, DU Y, YU S X. Service net algebra based on logic Petri nets［J］. Information Sciences, 2014,268:271-289.
［17］胡强. 面向服务簇的服务流程构建［J］. 计算机应用, 2014,34(6):1783-1787.
［18］孙健,陶晓峰. 基于Petri网的Web服务BPEL4WS建模与分析［J］. 计算机工程, 2004,30(22):14-16.
［19］方贤文,陶小燕,刘祥伟. 基于微分Petri网的业务流程模块适配方法［J］. 电子学报, 2017,45(4):777-781.

[1]	LIU Fu, YU Jin-song-di, WEI Dan-dan, . REST Web Service System for Image Data Based on Beidou Grid [J]. Computer and Modernization, 2023, 0(11): 108-112.
[2]	YANG Liu-qing, WANG Chong. Personalized Recommendation Method of Web Service Resources Based on Maximum Entropy [J]. Computer and Modernization, 2023, 0(09): 32-37.
[3]	XIAO Hang, LI Peng, MA Hui-ping, ZHU Feng, . RFID System Security Analysis Model Based on Stochastic Petri Net [J]. Computer and Modernization, 2023, 0(09): 105-114.
[4]	LIU Feng, ZOU Chen-song, CUI Wei. Web Service Composition Based on K-medoids Point Optimization Algorithm in Big Data Environment [J]. Computer and Modernization, 2020, 0(12): 20-24.
[5]	LI Hai-hao, WU Ya-feng, WANG Xiao-qiang. Application of Timed Petri Net in Penetration Testing [J]. Computer and Modernization, 2020, 0(10): 110-115.
[6]	LIU Feng1, LI Shu-zhi2, ZOU Chen-song1. Context-based Semantic Web Service Selection in Internet of Things Environment [J]. Computer and Modernization, 2019, 0(06): 38-.
[7]	LI Kai, GUO Fu-liang, ZHOU Gang. Model Construction for Commanding Process in Ship  Damage Control Based on T-Petri Nets [J]. Computer and Modernization, 2017, 0(12): 103-107.
[8]	DENG Ping. DDoS Attack Detection System Based on Web Service Application Layer under Cloud Environment [J]. Computer and Modernization, 2016, 0(6): 107-112,116.
[9]	MA Changli1, HU Naijun2, GUO Zhizhuo3. Design and Application of Marine Power Generation Device #br# Test Data Monitoring and Management System [J]. Computer and Modernization, 2016, 0(5): 95-99.
[10]	HU Ju-dong1, LU Tao2, LIAO Jun1. Pharmacy Experiment Teaching System Based on Idea of M-learning [J]. Computer and Modernization, 2015, 0(5): 81-84+89.
[11]	CHU Fu-ying, WEI Wen-xue. Database Middleware Based on Web Services and Hibernate [J]. Computer and Modernization, 2015, 0(10): 40-44.
[12]	QI Fang-min. Petri Nets Node Refinement and Its Application [J]. Computer and Modernization, 2014, 0(7): 125-128+132.
[13]	]ZHOU Yi-fan1, ZOU Cheng-wu2, WANG Ming-wen2. Training Cloud Computing Service Based on Ontology [J]. Computer and Modernization, 2014, 0(5): 61-64.
[14]	HU Shuang1, LU Tao2, HU Jianhua1. Integrated Development of SAS and .NET System Based on Web Services [J]. Computer and Modernization, 2014, 0(4): 126-129.
[15]	TANG Qingsong. Application of Path Storage Method in Generating Tree Structure [J]. Computer and Modernization, 2014, 0(4): 178-181.