| [1]MA H, ZHOU X. Service composition optimization approach based on affection ant colony algorithm[J]. , 2012,32(12):3347-3352.(马洪江, 周相兵.满足情感蚁群的服务组合优化方法[J].计算机应用,2012,32(12):3347-3352.)
[2]LIN C-F, SHEU R-K, CHANG Y-S, et al. A relaxable service selection algorithm for QoS-based Web service composition[J]. Information and Software Technology,2011,53(12):1370-1381.
[3]LECUE F, MEHANDJIEV N. Seeking quality of Web service composition in a semantic dimension[J].IEEE Transactions on Knowledge and Data Engineering,2011,23(6):942-958.
[4]WANG X, LIU S, YU H. Interface automata based approach to Web service composition[J]. Journal of Jilin University: Engineering and Technology,2009,39(3):743-748.(王晓燕,刘淑芳,于海.基于接口自动机的服务组合方法[J].吉林大学学报:工学版,2009,39(3):743-748.)
[5]XU H, DU Y, DONG S. Compatibility and modification of Web service composition with temporal constraints[J]. Computer Integrated Manufacturing Systems, 2012,18(11):2563-2572.(徐红霞,杜彦华,董绍华.时序约束下Web服务组合的兼容性及修正研究[J].计算机集成制造系统,2012,18(11):2563-2572.)
[6]JIANG Y, TANG Y, DENG P. A service composition model based on finite state automata[J]. CAAI Transactions on Intelligent Systems, 2006,1(2):48-57.(蒋运承,汤庸,邓培民.基于有限状态自动机的服务组合模型[J].智能系统学报,2006,1(2):48-57.)
[7]de ALFARO L, HENZINGER T A. Interface automata[C]// Proceedings of the ESEC/FSE-9: Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York: ACM Press,2001:109-120.
[8]WANG J, RONG M, ZHANG G, et al. Validation of Web service composition based on probailistic model checking[J]. Computer Science, 2012,39(1):120-123.(王晶,戎玫,张广泉,等.基于概率模型检测的Web服务组合验证[J].计算机科学,2012,39(1):120-123.)
[9]HOWARD F, UCHITEL S, MAGEE J, et al. Model-based verification of Web service compositions[C]// Proceedings of the 18th IEEE International Conference on Automated Software Engineering Conference. Washington, DC: IEEE Computer Society, 2003: 152-163.
[10]MAEDCHE A. Ontology learning for the semantic Web[M]. Boston: Kluwer Academic Publishers,2002:11-30.
[11]LUO X, TAN Z, SU K, et al. A verification approach for Web service compositions based on epistemic model checking[J]. Chinese Journal of Computers, 2011,34(6):1041-1061.(骆翔宇,谭征,苏开乐,等.一种基于认知模型检测的Web服务组合验证方法[J].计算机学报,2011,34(6):1041-1061.)
[12]HORROCKS I, SATTLER U. A tableaux decision procedure for SHOIQ[J]. Journal of Automated Reasoning, 2007, 39(3): 249-276.
[13]CUI L, ZHOU X. Integration and application of semantic Web service development frameworks[J]. Science Technology and Engineering,2012,12(25):6490-6494.(崔丽, 周相兵.一种语义Web服务开发框架整合与应用[J].科学技术与工程,2012,12(25):6490-6494.) |
