[1] DENG S, HUANG L, WU B, et al. QoS optimal automatic composition of semantic Web services [J]. Chinese Journal of Computers, 2013, 36(5): 1015-1029.(邓水光, 黄龙涛, 吴斌, 等.一种QoS最优的语义Web服务自动组合方法[J].计算机学报, 2013, 36(5):1015-1029.) [2] GUINARD D, TRIFA V, KAMOUSKOS S, et al. Interacting with the SOA-based Internet of things: discovery, query, selection, and on-demand provisioning of Web services [J]. IEEE Transactions on Services Computing, 2010, 3(3): 223-235. [3] BARTALOS P, BIELIKOVA M. Automatic dynamic Web service composition: a survey and problem formalization [J]. Computing and Informatics, 2012, 30(4): 793-827. [4] CHARIF Y, SABOURET N. An overview of semantic Web services composition approaches [J]. Electronic Notes in Theoretical Computer Science, 2006, 146(1): 33-41. [5] SHENG Q Z, MAAMAR Z, YAO L, et al. Behavior modeling and automated verification of Web services [J]. Information Sciences, 2014, 258(2): 416-433. [6] BARR M, WELLS C. Category theory for computing science [M]. Upper Saddle River: Prentice-Hall, 1990: 23-36. [7] HOU J. Research on formal architectural semantics and transformational consistency supporting model driven development [D]. Jinan: Shandong University, 2008.(侯金奎.支持模型驱动开发的体系结构形式化语义与转换一致性研究 [D].济南:山东大学, 2008.) [8] Easy-Go Inc. Website of Tours4Fun [EB/OL]. [2015-01-09]. http://www.tours4fun.com/. [9] CHEN Z, WANG J, DONG W, et al. An interface model for service-oriented software architecture [J]. Journal of Software, 2006, 17(6): 1459-1469. (陈振邦, 王戟, 董威, 等.面向服务软件体系结构的接口模型[J].软件学报, 2006, 17(6):1459-1469.) [10] HOU K, BAI X, LU H, et al. Web service test data generation using interface semantic contract [J]. Journal of Software, 2013, 24(9): 2020-2041. (侯可佳, 白晓颖, 陆皓, 等.基于接口语义契约的Web服务测试数据生成[J].软件学报, 2013, 24(9):2020-2041.) [11] BERNARDO M, CIANCARINI P, DONATIELLO L. Architecting families of software systems with process algebras[J]. ACM Transactions on Software Engineering and Methodology, 2002, 11(4): 386-426. [12] MARTIN D, BURSTEIN M, HOBBS J, et al. OWL-S: semantic markup for Web services [EB/OL]. [2014-11-02]. http://www.w3.org/Submission/OWL-S/. [13] SHI Z, CHANG L. Reasoning about semantic Web services with an approach based on dynamic description logics [J]. Chinese Journal of Computers, 2008, 31(9): 1599-1611. (史忠植, 常亮. 基于动态描述逻辑的语义Web服务推理[J].计算机学报, 2008, 31(9):1599-1611.) [14] NI Y, FAN Y. Model transformation and formal verification for semantic Web services composition [J]. Advances in Engineering Software, 2010, 41(6): 879-885. [15] ZHANG G, RONG M, ZHU X, et al. Specification and verification of Web service composition based on XYZ/ADL[J]. Acta Electron Sincia, 2011, 39(3A): 86-93.(张广泉, 戎玫, 朱雪阳, 等.基于XYZ/ADL的Web服务组合描述与验证[J].电子学报, 2011, 39(3A):86-93.) [16] SRINIVAS Y V, JULLIG R. Specware: Formal support for composing software [C]//Mathematics of Program Construction, LNCS 947. Berlin: Springer, 1995: 399-422. |