%0 Journal Article
%T 数据和时间感知的web服务组合模型检测
%A 狄浩军
%A 戎玫
%A 张广泉
%A 朱稷涵？
%J 计算机科学
%D 2011
%X 为了验证web服务组合中的数据属性和时间属性，提出了一种基于数据和时间感知的服务模型dtsm的web服务组合模型检测方法。首先将i3pel描述的web服务组合转换为含有数据流信息和时间信息的形式化模型，然后将该模型映射至uppaal规约，最后应用模型检测工具uppaal实现了web服务组合的正确性验证。
%K web服务组合
%K 数据属性
%K 时间属性
%K bpel
%K 模型检测
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=111128&flag=1