[1] ERL T. Service-Oriented Architecture:Analysis and Design for Services and Microservices[M]. Upper Saddle River:Prentice Hall Press,2016:59-107. [2] 丁志军, 周泽霞. Web服务组合测试综述[J]. 软件学报,2018, 29(2):299-319. (DING Z J,ZHOU Z X. Survey on Web service composition testing[J]. Journal of Software, 2018, 29(2):299-319.) [3] PELTZ C. Web services orchestration and choreography[J]. Computer,2003,36(10):46-52. [4] SOI S,DANIEL F,CASATI F. Conceptual design of sound,custom composition languages[M]//BOUGUETTAYA A,SHENG Q Z,DANIEL F,et al. Web Services Foundations. New York:Springer,2014:53-79. [5] BERARDI D,DE GIACOMO G,MECELLA M,et al. Automatic composition of process-based Web services:a challenge[C]//Proceedings of the 14th World Wide Web Conference. New York:ACM,2005:1-20. [6] BERARDI D,DE GIACOMO G,MECELLA M. Basis for automatic service composition[EB/OL].[2019-05-06]. http://www.dis.uniroma1.it/degiacomo/presentations/WWW05tutorial.pdf. [7] BARKER A,BESANA P,ROBERTSON D,et al. The benefits of service choreography for data-intensive computing[C]//Proceedings of the 7th International Workshop on Challenges of Large Applications in Distributed Environments. New York:ACM,2009:1-10. [8] NANDA M G,CHANDRA S,SARKAR V. Decentralizing execution of composite Web services[C]//Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming,Systems,Languages,and Applications. New York:ACM,2004:170-187. [9] BINDER W,CONSTANTINESCU I,FALTINGS B. Decentralized orchestration of composite Web services[C]//Proceedings of the 2006 IEEE International Conference on Web Services. Piscataway:IEEE,2006:869-876. [10] ATLURI V,CHUN S A,MUKKAMALA R,et al. A decentralized execution model for inter-organizational workflows[J]. Distributed and Parallel Databases,2007,22(1):55-83. [11] POLYVYANYY A. Structuring process models[D]. Potsdam:University of Potsdam,2012:3-145. [12] 张涛, 马建峰, 习宁, 等. 面向服务移动社交网络中基于信任的分布式服务组合方法[J]. 电子学报,2016,44(2):258-267. (ZHANG T,MA J F,XI N,et al. Trust-based decentralized service composition approach in service-oriented mobile social networks[J]. Acta Electronica Sinica,2016,44(2):258-267.) [13] 房俊, 韩燕波. 一种适用于跨安全管理域的分布式服务调用方法[J]. 小型微型计算机系统,2014,35(9):1956-1960. (FANG J,HAN Y B. A distributed service invocation approach for cross-organizational security domain[J]. Journal of Chinese Computer Systems,2014,35(9):1956-1960.) [14] WANG X. Decentralized cloud service composition formalization using the bargaining game model[C]//Proceedings of the 4th International Conference on Systems and Informatics. Piscataway:IEEE,2017:665-670. [15] RAPTI E,KARAGEORGOS A,GEROGIANNIS V C. Decentralised service composition using potential fields in internet of things applications[J]. Procedia Computer Science,2015,52:700-706. [16] BRAHMI Z,FEDDAOUI I. Decentralized orchestration of BPEL processes based on shared space[C]//Proceedings of the 6th International Conference on Information Systems and Economic Intelligence. Piscataway:IEEE,2015:60-65. [17] 王雷, 齐美石. 面向分布式业务执行的BPEL流程解析方法[J]. 计算机系统应用,2011,20(12):118-122. (WANG L,QI M S. A BPEL process parse method for decentralizing execution[J]. Computer Systems and Applications, 2011, 20(12):118-122.) [18] XUE G,LIU J,WU L,et al. A graph based technique of process partitioning[J]. Journal of Web Engineering,2018,17(1/2):121-140. [19] SPIVAK D I. Category Theory for the Sciences[M]. Cambridge:MIT Press,2014:203-315. [20] SADIQ W,ORLOWSKA M E. Analyzing process models using graph reduction techniques[J]. Information Systems,2000,25(2):117-134. [21] VAN DER AALST W M P,HIRNSCHALL A,VERBEEK H M W. An alternative way to analyze workflow graphs[C]//Proceedings of the 2002 International Conference on Advanced Information Systems Engineering, LNCS 2348. Berlin:Springer, 2002:535-552. [22] TAENTZER G,PRANGE U,EHRIG K,et al. Fundamentals of algebraic graph transformation[M]. Berlin:Springer, 2006:5-20. [23] JOHNSON R,PEARSON D,PINGALI K. The program structure tree:Computing control regions in linear time[C]//Proceedings of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation. New York:ACM,1994:171-185. [24] Flask. Homepage of Flask[EB/OL].[2019-11-11]. https://flask.palletsprojects.com/en/1.1.x/. [25] Flask-RESTful. Homepage of Flask-RESTful[EB/OL].[2019-11-11]. https://flask-restful.readthedocs.io/en/latest/. [26] Apapche Software Foundation. Apache JMeterTM[EB/OL].[2019-11-11]. https://jmeter.apache.org/. |