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