电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2011年
11期
2568-2575
,共8页
时间感知Web服务%时间服务协议%时间服务交互%模型检测%失配检测
時間感知Web服務%時間服務協議%時間服務交互%模型檢測%失配檢測
시간감지Web복무%시간복무협의%시간복무교호%모형검측%실배검측
针对现有Web服务组合过程中存在时间感知力弱、服务利用率低、组合可靠性差等问题,通过将定量时间属性引入Web服务交互适配框架中,研究时间感知Web服务交互行为的形式化建模与交互行为失配的自动检测问题.提出了用于表达单个时间感知Web服务交互行为的时间服务协议(TSP)模型和用于表达多个时间感知Web服务并发组合的时间服务协议网络(TSPN)模型;将时间感知Web服务交互失配检测问题转化为TSP模型之间的兼容性判定问题,定义了从时间感知Web服务描述至TSP模型和从TSP模型至UPPAAL规约的映射规则,给出了TSP模型兼容性性质的CTL公式表示,基于模型检测工具UPPAAL实现时间感知Web服务交互失配的自动化检测,其检测结果作为下一步是否需要构造适配器的判断依据;最后通过实例分析进一步阐述了上述方法的可行性和有效性.
針對現有Web服務組閤過程中存在時間感知力弱、服務利用率低、組閤可靠性差等問題,通過將定量時間屬性引入Web服務交互適配框架中,研究時間感知Web服務交互行為的形式化建模與交互行為失配的自動檢測問題.提齣瞭用于錶達單箇時間感知Web服務交互行為的時間服務協議(TSP)模型和用于錶達多箇時間感知Web服務併髮組閤的時間服務協議網絡(TSPN)模型;將時間感知Web服務交互失配檢測問題轉化為TSP模型之間的兼容性判定問題,定義瞭從時間感知Web服務描述至TSP模型和從TSP模型至UPPAAL規約的映射規則,給齣瞭TSP模型兼容性性質的CTL公式錶示,基于模型檢測工具UPPAAL實現時間感知Web服務交互失配的自動化檢測,其檢測結果作為下一步是否需要構造適配器的判斷依據;最後通過實例分析進一步闡述瞭上述方法的可行性和有效性.
침대현유Web복무조합과정중존재시간감지력약、복무이용솔저、조합가고성차등문제,통과장정량시간속성인입Web복무교호괄배광가중,연구시간감지Web복무교호행위적형식화건모여교호행위실배적자동검측문제.제출료용우표체단개시간감지Web복무교호행위적시간복무협의(TSP)모형화용우표체다개시간감지Web복무병발조합적시간복무협의망락(TSPN)모형;장시간감지Web복무교호실배검측문제전화위TSP모형지간적겸용성판정문제,정의료종시간감지Web복무묘술지TSP모형화종TSP모형지UPPAAL규약적영사규칙,급출료TSP모형겸용성성질적CTL공식표시,기우모형검측공구UPPAAL실현시간감지Web복무교호실배적자동화검측,기검측결과작위하일보시부수요구조괄배기적판단의거;최후통과실례분석진일보천술료상술방법적가행성화유효성.
