高技术通讯
高技術通訊
고기술통신
HIGH TECHNOLOGY LETTERS
2011年
6期
587-591
,共5页
Web服务%服务组合%信任%马尔可夫链
Web服務%服務組閤%信任%馬爾可伕鏈
Web복무%복무조합%신임%마이가부련
基于马尔可夫链建立了服务组合的形式化模型--马尔可夫链模型,此模型可以在已知组合服务定义规格的情况下由组合服务的定义规格转换得到,也可以在未知组合服务定义规格的情况下由组合服务的执行历史信息得到.不同于多数服务组合形式化模型仅有用于验证组合服务正确性的单一功能,组合服务的马尔可夫链模型具有多种用途,例如可以用来评估组合服务执行的可信性,可以用来获得组合服务的响应时间、花费等执行代价,最为重要的是马尔可夫链模型的多数应用算法是多项式时间复杂性的有效算法,而其它形式化模型的验证等问题多数是NP-hard问题.
基于馬爾可伕鏈建立瞭服務組閤的形式化模型--馬爾可伕鏈模型,此模型可以在已知組閤服務定義規格的情況下由組閤服務的定義規格轉換得到,也可以在未知組閤服務定義規格的情況下由組閤服務的執行歷史信息得到.不同于多數服務組閤形式化模型僅有用于驗證組閤服務正確性的單一功能,組閤服務的馬爾可伕鏈模型具有多種用途,例如可以用來評估組閤服務執行的可信性,可以用來穫得組閤服務的響應時間、花費等執行代價,最為重要的是馬爾可伕鏈模型的多數應用算法是多項式時間複雜性的有效算法,而其它形式化模型的驗證等問題多數是NP-hard問題.
기우마이가부련건립료복무조합적형식화모형--마이가부련모형,차모형가이재이지조합복무정의규격적정황하유조합복무적정의규격전환득도,야가이재미지조합복무정의규격적정황하유조합복무적집행역사신식득도.불동우다수복무조합형식화모형부유용우험증조합복무정학성적단일공능,조합복무적마이가부련모형구유다충용도,례여가이용래평고조합복무집행적가신성,가이용래획득조합복무적향응시간、화비등집행대개,최위중요적시마이가부련모형적다수응용산법시다항식시간복잡성적유효산법,이기타형식화모형적험증등문제다수시NP-hard문제.
