面向应用的Web服务组合设计和验证框架

doi:10.3778/j.issn.1002-8331.2008.34.041

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (34): 132-136.DOI: 10.3778/j.issn.1002-8331.2008.34.041

• 数据库、信号与信息处理 • 上一篇下一篇

面向应用的Web服务组合设计和验证框架

辜希武,李瑞轩,卢正鼎

华中科技大学计算机学院应用系，武汉 430074

收稿日期:2008-05-20 修回日期:2008-06-23 出版日期:2008-12-01 发布日期:2008-12-01
通讯作者: 辜希武

Application oriented framework for Web services composition design and verification

GU Xi-wu,LI Rui-xuan,LU Zheng-ding

College of Computer Science and Technology，Huazhong University of Science and Technology，Wuhan 430074，China

Received:2008-05-20 Revised:2008-06-23 Online:2008-12-01 Published:2008-12-01
Contact: GU Xi-wu

摘要/Abstract

摘要： 针对Web服务组合设计规范缺乏形式化的语义和验证方法的问题，提出了一个自顶向下的Web服务设计和验证的框架-iFrame4WS。在iFrame4WS中，将Web服务组合的设计方案划分为描述层、抽象层和执行层，并通过抽象层的形式化模型和形式化验证来检查Web服务组合的正确性。

关键词: Web服务, Web服务组合, 形式化模型

Abstract: To deal with the issue that Web services composition design specifications lack of formal semantics and formal verification methods，the paper outlines a top-down framework-iFrame4WS for Web services composition design and verification.In iFrame4WS，the process of Web services composition is divided into description level，abstract level and execution level.The formal model and verification approach are defined in abstract level so as to ensure the correctness of Web services composition.

Key words: Web services, Web services composition, formal model

辜希武,李瑞轩,卢正鼎. 面向应用的Web服务组合设计和验证框架[J]. 计算机工程与应用, 2008, 44(34): 132-136.

GU Xi-wu,LI Rui-xuan,LU Zheng-ding. Application oriented framework for Web services composition design and verification[J]. Computer Engineering and Applications, 2008, 44(34): 132-136.

[1]	尤国华，刘媛，高东. 异构系统中的Web服务器软件框架研究[J]. 计算机工程与应用, 2020, 56(11): 33-38.
[2]	邓丽平1，段利国2，杨丽凤2. 面向行为的可信Web服务选择方法[J]. 计算机工程与应用, 2019, 55(4): 112-118.
[3]	何利文，侯小宇，唐澄澄，周睿，张幸宁. 面向异构BIOS环境的Rootkit通用性检测方法[J]. 计算机工程与应用, 2019, 55(23): 105-112.
[4]	贾志淳，卢元，李想，邢星. 一种多参数的Web服务选择方法[J]. 计算机工程与应用, 2019, 55(21): 74-78.
[5]	张梦珂1，李兵1，3，王健2. 基于多地域的SOAP与REST服务的性能实证分析[J]. 计算机工程与应用, 2018, 54(4): 1-8.
[6]	王亮1，2，郭星1，2. 基于柯西烟花算法的大规模服务组合优化[J]. 计算机工程与应用, 2018, 54(24): 34-40.
[7]	谭朝文，宗容，席先强，武浩. 基于贝叶斯张量分解的改进QoS预测[J]. 计算机工程与应用, 2018, 54(20): 74-79.
[8]	辛园园，钮俊，谢志军，张开乐，毛昕怡. 微服务体系结构实现框架综述[J]. 计算机工程与应用, 2018, 54(19): 10-17.
[9]	汪潇洒1，付晓东1，刘骊1，岳昆2，刘利军1. 随机QoS感知的Web服务组合概率分析[J]. 计算机工程与应用, 2017, 53(14): 70-75.
[10]	刘迪1，2，朱立谷1，2，张雷1，2，冯东煜1，2. 基于强挂起弱预测机制的负载均衡模型研究[J]. 计算机工程与应用, 2017, 53(10): 90-95.
[11]	贾志淳1，邢星1，2. 多Web服务组合兼容性的自动化验证[J]. 计算机工程与应用, 2016, 52(7): 67-73.
[12]	马亮，钱雪忠. 基于可信计算的Web服务调用关键路径研究[J]. 计算机工程与应用, 2016, 52(3): 230-235.
[13]	张驰，褚楚，唐颖军，陈升. 基于行为投影的Web服务组合行为兼容性研究[J]. 计算机工程与应用, 2016, 52(20): 46-51.
[14]	唐妮1，2，熊庆宇1，2，王喜宾1，2，高旻1，2，文俊浩1，2，曾骏1，2. 基于位置聚类和张量分解的Web服务推荐算法[J]. 计算机工程与应用, 2016, 52(15): 65-72.
[15]	夏永滢1，田强1，付晓东1，2，王威1，李昌志1. 一种QoS感知的Web服务群体评价方法[J]. 计算机工程与应用, 2015, 51(15): 62-67.

面向应用的Web服务组合设计和验证框架

Application oriented framework for Web services composition design and verification

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics