Modeling interaction based information alignment of Web choreography

doi:10.3778/j.issn.1002-8331.2010.02.004

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (2): 11-13.DOI: 10.3778/j.issn.1002-8331.2010.02.004

• 博士论坛 • Previous Articles Next Articles

Modeling interaction based information alignment of Web choreography

LI Sheng-hong

School of Information & Technology，Jiangxi University of Finance & Economics，Nanchang 330013，China

Received:2009-09-23 Revised:2009-10-27 Online:2010-01-11 Published:2010-01-11
Contact: LI Sheng-hong

Web服务编排中信息对齐交互建模方法研究

黎升洪

江西财经大学信息管理学院，南昌 330013

通讯作者: 黎升洪

Abstract

Abstract: A Process Algebra for Web Service（PA4WS） is proposed to model asynchronous Interaction Based Information Alignment（IBIA） in WS-CDL of Web service choreography.PA4WS equips the operator of WorkUnit of WS-CDL，which is convenient to describe asynchronous interaction by setting guard-condition and repeat-condition and IBIA.

Key words: Web services, process algebra, choreography of Web services, formal modeling

摘要： 针对Web服务编排标准WS-CDL中信息对齐交互模式的异步特性，提出了一种基于进程代数的Web服务编排方法（PA4WS），该方法新增WS-CDL工作单元描述算子，通过设置工作单元算子的卫式条件和循环条件来描述异步交互，进而完成对信息对齐交互的建模。

关键词: Web服务, 进程代数, Web编排, 形式化建模

CLC Number:

TP311

LI Sheng-hong. Modeling interaction based information alignment of Web choreography[J]. Computer Engineering and Applications, 2010, 46(2): 11-13.

黎升洪. Web服务编排中信息对齐交互建模方法研究[J]. 计算机工程与应用, 2010, 46(2): 11-13.

[1]	CHAI Lei, WANG Zhixue, HE Ming. Formal Framework of Command Control Cooperative Capability Requirements System-of-Systems [J]. Computer Engineering and Applications, 2020, 56(5): 49-56.
[2]	DENG Liping1, DUAN Liguo2, YANG Lifeng2. Trust and Behavioral Method Based Web Services Selection [J]. Computer Engineering and Applications, 2019, 55(4): 112-118.
[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]	MA Yanfang1，2, CHEN Liang3. Approximate measure model of software based on partial interaction [J]. Computer Engineering and Applications, 2014, 50(24): 32-37.
[7]	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.
[8]	MA Yanfang1，2, CHEN Liang3. Model of software approximate correctness under ε-bisimulation [J]. Computer Engineering and Applications, 2013, 49(11): 15-19.
[9]	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.
[10]	XI Shengfeng. Efficient policy for evaluating credibility of service based on classification [J]. Computer Engineering and Applications, 2011, 47(27): 38-40.
[11]	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.
[12]	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.
[13]	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.
[14]	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.
[15]	YANG Yi，WANG Li-ming. Research on multi-Agent interaction protocols based on RASA [J]. Computer Engineering and Applications, 2010, 46(28): 232-235.

Modeling interaction based information alignment of Web choreography

Web服务编排中信息对齐交互建模方法研究

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics