苏州大学学报（自然科学版）
囌州大學學報（自然科學版）
소주대학학보（자연과학판）
JOURNAL OF SUZHOU UNIVERSITY(NATURAL SCIENCE)
2012年
1期
53-58
,共6页
服务组合%BPEL%TSM模型%UPPAAL
服務組閤%BPEL%TSM模型%UPPAAL
복무조합%BPEL%TSM모형%UPPAAL
如何将现有的Web服务进行组合、实现服务的增值是目前服务计算领域的一个研究热点.针对目前服务组合研究中缺乏对时间属性分析的不足,提出了一种基于时间服务模型(TSM)的Web服务组合模型检测方法.该方法首先将BPEL描述的Web服务行为文档建模为TSM,并转化为UPPAAL规约,然后用分支时序逻辑CTL表示服务组合的性质,最后采用模型检测工具UPPAAL验证服务组合的性质,并结合实例分析了该方法的可行性.
如何將現有的Web服務進行組閤、實現服務的增值是目前服務計算領域的一箇研究熱點.針對目前服務組閤研究中缺乏對時間屬性分析的不足,提齣瞭一種基于時間服務模型(TSM)的Web服務組閤模型檢測方法.該方法首先將BPEL描述的Web服務行為文檔建模為TSM,併轉化為UPPAAL規約,然後用分支時序邏輯CTL錶示服務組閤的性質,最後採用模型檢測工具UPPAAL驗證服務組閤的性質,併結閤實例分析瞭該方法的可行性.
여하장현유적Web복무진행조합、실현복무적증치시목전복무계산영역적일개연구열점.침대목전복무조합연구중결핍대시간속성분석적불족,제출료일충기우시간복무모형(TSM)적Web복무조합모형검측방법.해방법수선장BPEL묘술적Web복무행위문당건모위TSM,병전화위UPPAAL규약,연후용분지시서라집CTL표시복무조합적성질,최후채용모형검측공구UPPAAL험증복무조합적성질,병결합실례분석료해방법적가행성.
