计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
1期
246-249
,共4页
张亚红%张琳琳%赵楷%陈佳丽%冯在文
張亞紅%張琳琳%趙楷%陳佳麗%馮在文
장아홍%장림림%조해%진가려%풍재문
运行时验证%行为匹配%用户偏好%Web服务选择
運行時驗證%行為匹配%用戶偏好%Web服務選擇
운행시험증%행위필배%용호편호%Web복무선택
Runtime verification%Behavior matching%User preference%Web service selection
为了确保用户选择的Web服务的运行时行为与用户需求之间的一致性,提出了一种基于运行时验证的服务选择方法.首先基于自动机原理,对Web服务进行运行时验证.其次,定义了3种程度的行为匹配关系,基于运行时验证结果,量化Web服务运行时行为与用户需求之间的匹配程度,并使用AHP理论计算用户偏好.方法综合考虑行为匹配程度和用户偏好对服务选择的影响,提出服务选择策略.最后通过实验分析和比较说明了该方法的合理性.
為瞭確保用戶選擇的Web服務的運行時行為與用戶需求之間的一緻性,提齣瞭一種基于運行時驗證的服務選擇方法.首先基于自動機原理,對Web服務進行運行時驗證.其次,定義瞭3種程度的行為匹配關繫,基于運行時驗證結果,量化Web服務運行時行為與用戶需求之間的匹配程度,併使用AHP理論計算用戶偏好.方法綜閤攷慮行為匹配程度和用戶偏好對服務選擇的影響,提齣服務選擇策略.最後通過實驗分析和比較說明瞭該方法的閤理性.
위료학보용호선택적Web복무적운행시행위여용호수구지간적일치성,제출료일충기우운행시험증적복무선택방법.수선기우자동궤원리,대Web복무진행운행시험증.기차,정의료3충정도적행위필배관계,기우운행시험증결과,양화Web복무운행시행위여용호수구지간적필배정도,병사용AHP이론계산용호편호.방법종합고필행위필배정도화용호편호대복무선택적영향,제출복무선택책략.최후통과실험분석화비교설명료해방법적합이성.
