A Noisy Channel Model for NVeb Service

摘要：

In this paper, we propose a language I-BPEL to model web services in the environment with channel noise and system instabilities. Each channel is assigned an interval value to indicate the value of noise. We introduce an operational semantics which attached with interval values to indicate the quality of the web service. Based on the syntax and semantics, we define the notion of simulation and investigate some important properties of simulation.

关键词： web service compensation fault handling operational semantics noisy channel interval value

作者: Jie Zhou Yixiang Chen

作者单位: School of Mathematics and Physics, Shanghai Normal University, Shanghai 200234. China Shanghai Key L Shanghai Key Laboratory of Trustworthy Computing,East China Normal University,Shanghai 200062. China

会议类型: 国际会议

会议名称: The 2nd International Conference on Software Engineering and Data Mining(IEEE 第二届国际软件工程和数据挖掘学术大会 SEDM 2010)

会议地点: 成都

会议语种:英文

页码: 357-361

在线出版日期: 2010-06-23（万方平台首次上网日期，不代表论文的发表时间）