可信服务组合的马尔可夫链模型及其应用

摘要：

基于马尔可夫链建立了服务组合的形式化模型--马尔可夫链模型,此模型可以在已知组合服务定义规格的情况下由组合服务的定义规格转换得到,也可以在未知组合服务定义规格的情况下由组合服务的执行历史信息得到.不同于多数服务组合形式化模型仅有用于验证组合服务正确性的单一功能,组合服务的马尔可夫链模型具有多种用途,例如可以用来评估组合服务执行的可信性,可以用来获得组合服务的响应时间、花费等执行代价,最为重要的是马尔可夫链模型的多数应用算法是多项式时间复杂性的有效算法,而其它形式化模型的验证等问题多数是NP-hard问题.

关键词：Web服务、服务组合、信任、马尔可夫链

所属期刊栏目：21

分类号：TP3;TN9

资助基金：973计划2007CB311100;北京工业大学青年基金X1007011200801

在线出版日期：2011-11-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：587-591