计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2011年
11期
123-126,136
,共5页
狄浩军%戎玫%张广泉%朱稷涵
狄浩軍%戎玫%張廣泉%硃稷涵
적호군%융매%장엄천%주직함
Web服务组合%数据属性%时间属性%BPEL%模型检测
Web服務組閤%數據屬性%時間屬性%BPEL%模型檢測
Web복무조합%수거속성%시간속성%BPEL%모형검측
为了验证Web服务组合中的数据属性和时间属性,提出了一种基于数据和时间感知的服务模型DTSM的Web服务组合模型检测方法.首先将BPEL描述的Web服务组合转换为含有数据流信息和时间信息的形式化模型,然后将该模型映射至UPPAAL规约,最后应用模型检测工具UPPAAL实现了Web服务组合的正确性验证.
為瞭驗證Web服務組閤中的數據屬性和時間屬性,提齣瞭一種基于數據和時間感知的服務模型DTSM的Web服務組閤模型檢測方法.首先將BPEL描述的Web服務組閤轉換為含有數據流信息和時間信息的形式化模型,然後將該模型映射至UPPAAL規約,最後應用模型檢測工具UPPAAL實現瞭Web服務組閤的正確性驗證.
위료험증Web복무조합중적수거속성화시간속성,제출료일충기우수거화시간감지적복무모형DTSM적Web복무조합모형검측방법.수선장BPEL묘술적Web복무조합전환위함유수거류신식화시간신식적형식화모형,연후장해모형영사지UPPAAL규약,최후응용모형검측공구UPPAAL실현료Web복무조합적정학성험증.
