%A 狄浩军,戎玫,张广泉,朱稷涵 %T 数据和时间感知的Web服务组合模型检测 %0 Journal Article %D 2011 %J 计算机科学 %R %P 123-126 %V 38 %N 11 %U {https://www.jsjkx.com/CN/abstract/article_17700.shtml} %8 2018-12-01 %X 为了验证Web服务组合中的数据属性和时间属性,提出了一种基于数据和时间感知的服务模型DTSM的Web服务组合模型检测方法。首先将I3PEL描述的Web服务组合转换为含有数据流信息和时间信息的形式化模型,然后将该模型映射至UPPAAL规约,最后应用模型检测工具UPPAAL实现了Web服务组合的正确性验证。