[1] |
TAO F , LAILI Y , XU L , et al. FC-PACO-RM: a parallel method for service composition optimal-selection in cloud manufacturing system[J]. IEEE Tran on Industrial Informatics, 2013, 9(4): 2023-2033.
|
[2] |
AMIN J , ELANKOVAN S , ZALINDA O . Cloud computing service composition: a systematic literature review[J]. Expert System with Applications, 2014, 41(8): 3809-3824.
|
[3] |
吴健, 吴朝晖, 李莹 等. 基于本体论和词汇语义相似度的Web服务发现[J]. 计算机学报, 2005, 28(4): 595-602. WU J , WU Z H , LI Y , et al. Web service discovery based on ontology and similarity of words[J]. Chinese Journal of Computers, 2005, 28(4): 595-602.
|
[4] |
JUAN C V , MANUEL L , ALBERTO B . Toward the use of petri nets for the formalization of OWL-S choreographies[J]. Knowledge and Information Systems, 2012, 32(3): 629-665.
|
[5] |
常亮, 史忠植, 陈立民 , 等. 一类扩展的动态描述逻辑[J]. 软件学报, 2010, 21(1): 1-13. CHANG L , SHI Z Z , CHEN L M , et al. Family of extended dynamic description logics[J]. Journal of Software, 2010, 21(1): 1-13.
|
[6] |
廖军, 谭浩, 刘锦德 . 基于Pi-演算的Web服务组合的描述和验证[J]. 计算机学报, 2005, 28(4): 635-643. LIAO J , TAN H , LIU J D . Describing and verifying Web service using Pi-calculus[J]. Chinese Journal of Computers, 2005, 28(4): 635-643.
|
[7] |
HE K , WANG J , LIANG P . Semantic interoperability aggregation in service requirements refinement[J]. Journal of Computer Science and Technology, 2010, 25(6): 1103-1117.
|
[8] |
印莹, 张斌, 张锡哲 . 面向组合服务动态自适应的事务级主动伺机服务替换算法[J]. 计算机学报, 2010, 33(11): 2147-2162. YIN Y , ZHANG B , ZHANG X Z . An active and opportunistic service replacement algorithm orienting transactional composite service dynamic adaptation[J]. Chinese Journal of Computers, 2010, 33(11): 2147-2162.
|
[9] |
王海艳, 李思瑞 . 基于组合上下文的服务替换方法[J]. 通信学报, 2014, 35(9): 57-67. WANG H Y , LI S R . Service substitution method based on composition context[J]. Journal on Communications, 2014, 35(9): 57-67.
|
[10] |
KUANG L , XIA Y , DENG S , et al. Analyzing behavioral substitution of Web services based on p-Calculus[C]// 2010 IEEE International Conference on Web Services. Florida, USA, c2010: 441-448.
|
[11] |
BOUROUZ S , ZEGHIB N . Verifying Web services substitutability using open colored nets reduction techniques[C]// The 5th International Conference on Modeling, Simulation and Applied Optimization. Hammamet, Tunisia, c2013: 1-5.
|
[12] |
刘方方, 史玉良, 张亮 等. 基于进程代数的Web服务合成的替换分析[J]. 计算机学报, 2007, 30(11): 2033-2039. LIU F F , SHI Y L , ZHANG L , et al. Substitution analysis of web service composition via process algebra[J]. Chinese Journal of Computers, 2007, 30(11): 2033-2039.
|
[13] |
REN H , LIU J . Service substitutability analysis based n behavior automata[J]. Innovations in Systems and Software Engineering, 2012, 8(4): 301-308.
|
[14] |
YIN Y , YIN J , LI Y , et al. Verifying consistency of web services behavior using type theory[C]// 2008 IEEE Aisa-Pacific Services Computing Conference. Yilan, China, c2008: 1560-1566.
|
[15] |
YIN Y , DENG S . Analysing and determining substitutabil ty of different granularity Web services[J]. International Journal of Computer Mathematics, 2013, 90(11): 2201-2220.
|
[16] |
殷昱煜, 李莹, 邓水光 , 等. Web服务行为一致性与相容性判定[J]. 电子学报, 2009, 37(3): 433-439. YIN Y Y , LI Y , DENG S G , et al. Determining on consistency and compatibility of Web services behavior[J]. Acta Electronica Sinica, 2009, 37(3): 433-439.
|
[17] |
ANTONIO V , VASCO T , V, ANTONIO R . Typing the behavior of software components using session types[J]. Fundamenta Information, 2006, 73(4): 583-598.
|
[18] |
PIERRE-MALO D , NOBUKO Y , ANDI B , et al. Parameterised multiparty session types[J]. Logic Method in Computer Science, 2012, 8(4:6): 1-46.
|
[19] |
DAPOIGNY R , BARLATIER P . Towards a conceptual structure based on type theory[C]// The Int’l Conference on Computational Science. Krakow, Poland, c2008: 1-8.
|