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

Markov chain model for trustworthy service compositions and its applications

作　　者：王勇[1] 代桂平[2] 侯亚荣[1] 

机构地区：[1]北京工业大学计算机学院,北京100124 [2]北京工业大学电控学院,北京100124

出　　处：《高技术通讯》2011年第6期587-591,共5页Chinese High Technology Letters

基　　金：973计划（2007CB311100）和北京工业大学青年基金（X1007011200801）资助项目

摘　　要：基于马尔可夫链建立了服务组合的形式化模型——马尔可夫链模型，此模型可以在已知组合服务定义规格的情况下由组合服务的定义规格转换得到，也可以在未知组合服务定义规格的情况下由组合服务的执行历史信息得到。不同于多数服务组合形式化模型仅有用于验证组合服务正确性的单一功能，组合服务的马尔可夫链模型具有多种用途，例如可以用来评估组合服务执行的可信性，可以用来获得组合服务的响应时间、花费等执行代价，最为重要的是马尔可夫链模型的多数应用算法是多项式时间复杂性的有效算法，而其它形式化模型的验证等问题多数是NP．hard问题。A tormalized model tor service compositions is established based on the Markov chain. It is called the Markov chain model. The model can be established by translating the definition specifications to the Markov chain when the definition specifications of composite services are given, or by analyzing the executing history data when the definition specifications of composite services are unknown. Different from most of other formalized models with the only function of verifying composite services＇ correctness, the Markov chain model for composite services have many uses, such as evaluating the trustiness of executing composite services, gettir,g composite services executing costs, for example, response time, expenses, etc. The most important one is that most of application algorithms for the Markov chain model can effectively solve the polynomial complexity, while other formalized models＇ majority of problems, such as the verification problem, are NP-hard problems.

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

分 类 号：TP391.41[自动化与计算机技术—计算机应用技术]