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

doi:10.3778/j.issn.1002-8331.2010.02.004

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (2): 11-13.DOI: 10.3778/j.issn.1002-8331.2010.02.004

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

黎升洪

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

收稿日期:2009-09-23 修回日期:2009-10-27 出版日期:2010-01-11 发布日期:2010-01-11
通讯作者: 黎升洪

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

摘要/Abstract

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

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

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

中图分类号:

TP311

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

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

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

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

Modeling interaction based information alignment of Web choreography

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics