支持Web服务组合与验证的形式化模型

doi:10.11772/j.issn.1001-9081.2015.06.1773

计算机应用 ›› 2015, Vol. 35 ›› Issue (6): 1773-1779.DOI: 10.11772/j.issn.1001-9081.2015.06.1773

支持Web服务组合与验证的形式化模型

侯金奎, 王磊

潍坊学院计算机工程学院, 山东潍坊 261061

收稿日期:2015-01-12 修回日期:2015-04-03 发布日期:2015-06-12
通讯作者: 侯金奎(1976-),男,山东潍坊人,副教授,博士,CCF会员,主要研究方向:软件工程、服务计算、形式化方法;jkhou@163.com
作者简介:王磊(1982-),男,山东淄博人,讲师,博士,CCF会员,主要研究方向:服务计算、软件工程、图形图像处理。
基金资助:
山东省科技发展计划项目(2011YD01042, 2011YD01043);山东省优秀中青年科学家科研奖励基金资助项目(BS2011DX039);山东省高等学校优秀中青年骨干教师国际合作培养计划项目(2013)。

Formal model supporting Web service composition and verification

HOU Jinkui, WANG Lei

School of Computer Engineering, Weifang University, Weifang Shandong 261061, China

Received:2015-01-12 Revised:2015-04-03 Published:2015-06-12

摘要/Abstract

摘要：

针对Web服务的组合与验证问题,在范畴理论描述框架的基础上,引入进程代数描述服务组件的外部行为,为Web服务系统的架构描述建立了一种形式化的语义模型。Web服务作为范畴理论中的对象节点,服务间的交互和组合关系作为态射,从而以范畴图表的形式来描述服务网络。在形式化定义服务接口、Web服务、服务组合等概念的基础上,进一步分析讨论了服务组合和交互过程中的语义特性,给出了Web服务可替代性和服务请求可满足性的形式化定义。实例研究表明,该框架增强了Web服务架构的语义描述能力。

关键词: Web服务, 服务组合, 形式化模型, 范畴理论, 进程代数

Abstract:

To solve the problems of Web service composition and verification, a formal model was proposed based on the framework of category theory. Process Algebra was introduced into the framework to describe the external behavior of service component, establishing a formal semantic model for the architecture of Web service system. The service network was described with category diagrams, in which Web services were used as categorical objects, and the interactive and composition relationships between services were used as morphisms. On the basis of the formal definitions of service interface, Web service and service composition, a further analysis and discussion about the semantics of service composition and interaction was undertaken. The concepts on Web service substitutability and service request satisfiability were formally defined. The application research shows that the proposed framework enhances semantic description capabilities of Web service architecture.

Key words: Web service, service composition, formal model, category theory, process algebra

中图分类号:

TP311

侯金奎, 王磊. 支持Web服务组合与验证的形式化模型[J]. 计算机应用, 2015, 35(6): 1773-1779.

HOU Jinkui, WANG Lei. Formal model supporting Web service composition and verification[J]. Journal of Computer Applications, 2015, 35(6): 1773-1779.

参考文献

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

支持Web服务组合与验证的形式化模型

Formal model supporting Web service composition and verification

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

[1]	赵秋云, 魏乐, 舒红平. 面向制造任务的云制造虚拟车间构造方法[J]. 计算机应用, 2021, 41(7): 2003-2011.
[2]	刘惠剑, 刘峻松, 王佳伟, 薛岗. 基于过程划分技术的服务组合拆分方法[J]. 计算机应用, 2020, 40(3): 799-805.
[3]	毛昕怡, 钮俊, 丁雪儿, 张开乐. 基于模型检测的微服务组合平台QoS验证[J]. 计算机应用, 2020, 40(11): 3267-3272.
[4]	赵士操, 肖永浩, 段博文, 李于锋. HSWAP:适用于高性能计算环境的数值模拟工作流管理平台[J]. 计算机应用, 2019, 39(6): 1569-1576.
[5]	郭荣佐, 冯朝胜, 秦志光. 物联网智能物流系统容错服务组合建模与分析[J]. 计算机应用, 2019, 39(2): 589-597.
[6]	刘明聪, 王娜. 支持中国墙策略的云组合服务信息流控制模型[J]. 计算机应用, 2018, 38(2): 310-315.
[7]	王思臣, 涂辉, 张以文. 基于不确定服务质量感知的云服务组合方法[J]. 计算机应用, 2018, 38(10): 2753-2758.
[8]	史兵, 段锁林, 李菊, 王朋, 朱益飞. 基于无线传感器网络的室内移动灭火机器人系统设计[J]. 计算机应用, 2018, 38(1): 284-289.
[9]	邓昀, 李朝庆, 程小辉. 基于物联网的智能家居远程无线监控系统设计[J]. 计算机应用, 2017, 37(1): 159-165.
[10]	谢琪, 崔梦天. 面向用户群体的Web服务推荐[J]. 计算机应用, 2016, 36(6): 1579-1582.
[11]	贺正求, 张叶琳, 许俊奎, 孙丹辉. Web服务访问控制策略研究[J]. 计算机应用, 2015, 35(8): 2184-2188.
[12]	倪志伟, 方清华, 李蓉蓉, 李一鸣. 改进蚁群算法在基于服务质量的Web服务组合优化中的应用[J]. 计算机应用, 2015, 35(8): 2238-2243.
[13]	田强夏永滢付晓东李昌志王威. 基于成本效益系数的Web服务组合可靠性优化方法[J]. 计算机应用, 2014, 34(3): 683-689.
[14]	赵秋云魏乐舒红平. 基于业务流程的制造云服务组合模型[J]. 计算机应用, 2014, 34(11): 3100-3103.
[15]	张璇刘聪王黎霞赵倩杨帅. 基于协同过滤的可信Web服务推荐方法[J]. 计算机应用, 2014, 34(1): 213-217.