%0 Journal Article
%T 基于行为描述的Web服务组合兼容性检查
%A 张驰
%J 计算机应用研究
%D 2009
%I 
%X 定义了服务的基调视图和行为视图，设计了将Web服务行为转换为π演算进程表达的建模方法，并给出了实现服务视图向π演算进程自动转换的算法；最后借助π演算的操作语义和形式化推理技术实现了对Web服务组合时的兼容性进行检查。
%K Web服务
%K 接口
%K 行为视图
%K 兼容性
%K π演算
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=89EA3CF61EA0688FCBA51AB5D87F6E52&yid=DE12191FBD62783C&vid=96C778EE049EE47D&iid=DF92D298D3FF1E6E&sid=A468CCBF2C61F724&eid=14C914A90372293F&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=7