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   

  1. 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服务编排中信息对齐交互建模方法研究

黎升洪   

  1. 江西财经大学 信息管理学院,南昌 330013
  • 通讯作者: 黎升洪

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: