[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. |