%0 Journal Article
%T 基于多元Pi演算的Web服务形式化描述模型及其验证*
%A 胡静
%A 冯志勇
%J 计算机应用研究
%D 2011
%I 
%X Web服务组合在运行时多发生由于类型不匹配而产生的错误，为了有效地避免这种错误，在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性，通过操作语义说明Web服务发生组合时的类型良好性；给出Web服务可替换性定义，并在此定义基础上说明如何进行Web服务组合的功能验证。提出的类型化Web服务形式化描述模型，准确说明了Web服务组合运行时的类型良好性，以及Web服务组合的功能验证方法。最后通过例子说明，提出的定义和判断方法的有效性。
%K Web服务
%K Web服务组合功能验证
%K 类型化的形式化描述模型
%K 多元Pi-演算
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=F32C7DEF351C88CC9673B9E90C323656&yid=9377ED8094509821&vid=D3E34374A0D77D7F&iid=5D311CA918CA9A03&sid=65BB113878CA8F40&eid=F20D7EAB2CFFC1DD&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=10