%0 Journal Article
%T Model Checking of Data and Time Aware Web Service Composition<br>数据和时间感知的Web服务组合模型检测
%A DI Hao-jun
%A RONG Mei
%A ZHANG Guang-quan
%A ZHU Ji-han
%A <br>狄浩军
%A 戎玫
%A 张广泉
%A 朱稷涵
%J 计算机科学
%D 2011
%I 
%X 为了验证Web服务组合中的数据属性和时间属性，提出了一种基于数据和时间感知的服务模型DTSM的Web服务组合模型检测方法。首先将I3PEL描述的Web服务组合转换为含有数据流信息和时间信息的形式化模型，然后将该模型映射至UPPAAL规约，最后应用模型检测工具UPPAAL实现了Web服务组合的正确性验证。
%K Web service composition
%K Data property
%K Time property
%K BPEL
%K Model checking<br>Web服务组合，数据属性，时间属性，BPEL，模型检测
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=17DDCED190714E790B954E9249BE2B17&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=708DD6B15D2464E8&sid=AE09EACBCD1B2A13&eid=6AA71136B67CF473&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0