A Noisy Channel Model for Web 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.