Application oriented framework for Web services composition design and verification

doi:10.3778/j.issn.1002-8331.2008.34.041

Computer Engineering and Applications ›› 2008, Vol. 44 ›› Issue (34): 132-136.DOI: 10.3778/j.issn.1002-8331.2008.34.041

• 数据库、信号与信息处理 • Previous Articles Next Articles

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

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

辜希武,李瑞轩,卢正鼎

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

通讯作者: 辜希武

Abstract

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

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

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.

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

[1]	DENG Liping1, DUAN Liguo2, YANG Lifeng2. Trust and Behavioral Method Based Web Services Selection [J]. Computer Engineering and Applications, 2019, 55(4): 112-118.
[2]	HE Liwen, HOU Xiaoyu, TANG Chengcheng, ZHOU Rui, ZHANG Xingning. Rootkit Universality Detection Method for Heterogeneous BIOS Environments [J]. Computer Engineering and Applications, 2019, 55(23): 105-112.
[3]	WANG Liang1，2, GUO Xing1，2. Large-scale service portfolio optimization based on Cauchy fireworks algorithm [J]. Computer Engineering and Applications, 2018, 54(24): 34-40.
[4]	TAN Zhaowen, ZONG Rong, XI Xianqiang, WU Hao. QoS prediction based on Bayesian tensor decomposition [J]. Computer Engineering and Applications, 2018, 54(20): 74-79.
[5]	TANG Ni1，2, XIONG Qingyu1，2, WANG Xibin1，2, GAO Min1，2, WEN Junhao1，2, ZENG Jun1，2. Web service recommendation based on location clustering and tensor decomposition [J]. Computer Engineering and Applications, 2016, 52(15): 65-72.
[6]	XIONG Jing1, YU Gang2，4, XU Zhongwei3，4. Research on software safety test driven by fault model [J]. Computer Engineering and Applications, 2014, 50(12): 232-236.
[7]	CHEN Xinghao1，2, LI Taoshen1. Research on algorithm for Web service discovery based on ontology [J]. Computer Engineering and Applications, 2012, 48(5): 121-123.
[8]	XI Shengfeng. Efficient policy for evaluating credibility of service based on classification [J]. Computer Engineering and Applications, 2011, 47(27): 38-40.
[9]	XI Xuefeng1，2，BAN Jianmin2，FU Baochuan2. Research on three-dimensional simulation system for supporting engineering of foundation pit [J]. Computer Engineering and Applications, 2011, 47(12): 213-216.
[10]	LIU Yi1，XUE Hongchao2，XIA Yunni2. Model-driven approach for dependability prediction of WS-CDL based service composition [J]. Computer Engineering and Applications, 2011, 47(11): 60-66.
[11]	CAI Mei-ling^1，2，CHEN Ji-feng^1，2. Enhance fault-tolerant ability of Web services composition under multi-object genetic algorithm [J]. Computer Engineering and Applications, 2010, 46(32): 1-5.
[12]	WANG Ying¹，ZHANG Yong-sheng¹，ZHANG Yong-qiang²，LI Jing¹，SUN Cui-cui¹. Trust enhanced comprehensive evaluation model for Web services [J]. Computer Engineering and Applications, 2010, 46(29): 89-92.
[13]	LI Ji-min^1，2，LIU Zhen-peng²，LIU Zhi-tian²，HAN Lei². Research on multi-constraint Web service composition [J]. Computer Engineering and Applications, 2010, 46(24): 110-114.
[14]	MA Yu-min¹，ZHANG Yue-rong²，QIAO Fei1，FAN Liu-qun¹. Study of networked data collection system [J]. Computer Engineering and Applications, 2010, 46(20): 53-55.
[15]	LI Sheng-hong. Modeling interaction based information alignment of Web choreography [J]. Computer Engineering and Applications, 2010, 46(2): 11-13.

Application oriented framework for Web services composition design and verification

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics