%0 Journal Article
%T 基于xyz/adl的异步web服务组合描述与验证
%A 石慧娟
%A 戎玫
%A 张广泉
%A 朱稷涵？
%J 计算机科学
%D 2011
%X 以web服务组合为研究对象，重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证。首先，从软件体系结构角度分析web服务组合，采用基于时序逻辑的xyz/adl描述web服务的交互行为和时间属性;然后，提出一种符合模型检测工具uppaai规约的时间异步通信模型tacm;最后，实现了xyz/re通信命令到tacm的映射，利用uppaa工验证了服务组合系统异步通信行为的正确性。
%K web服务组合
%K xyz/adl
%K 异步通信
%K 时间属性
%K 模型检测
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=111232&flag=1