-- 发布时间：4/24/2007 10:07:00 PM
-- 服务能力"匹配度"的探讨
看到论坛上很多对服务的能力匹配有些问题,我也没有很好的解释清楚,因此,就这个问题今天写个文档系统地把个人观点,一点意见写下,抛砖引玉,争取和各位做一个讨论.
源自文章: Semantic Matching of Web Services Capabilities , 感兴趣的读者可在google上搜一下就可以下载得到.
为了阅读方便,我也对原文做了点翻译,比较难理解的地方我就加点注释,供探讨之用.附作者邮箱: yong_li@yahoo.com.cn
下面是对服务请求和服务广告之间输出能力的匹配算法(姑且叫做算法一):
算法一:
OutputMatch(outputsRequest , outputsAdvertisement) {
globalDegreeMatch = Exact
forall outR in outputsRequest do {
degreeMatch = maxDegreeMatch(outR,outA)
if (degreeMatch = fail) return fail
if (degreeMatch<globalDegreeMatch)
globalDegreeMatch = degreeMatch
retur sort(recordMatch)
}
}
根据上面的匹配算法,对服务之间的匹配度进行了一个定义,如下:
算法2
degreeOfMatch(outR,outA)
if outA=outR then return exact
if outR subclassOf outA then return exact
if outA subsumes outR then return plugIn
if outR subsumes outA then return subsumes
otherwise fail
匹配度被认为是本体树中的最小距离。我们根据算法2所示规则区分4种匹配度，其中outR是请求的一个输出，outA对应广告的一个输出。度数指派的合理性如下面描述。
Exact 如果outR = outA，则outR和outA是相等的，该匹配标记为精确。第二个语句更加复杂，如果 outR subclassOf outA，该结果仍然是exact，这基于这样一个假设：提供者广告outA，将outA委托提供给outA的直接子类。这如文章中图5中给出的本体片段所示，提供者广告car，可以把其能力委托提供给它的直接子类sedan,station wagon和SUV.
注释:第二种情况可以这样理解:outR是outA的子类, outA把责任委托给了其子类,因此能在outA 中找到一个输出匹配到outR,根据前面的匹配算法1,因此其匹配是精确的.]
Plug in 如果outA包含outR（一般来说父类包含了子类，但是这里指除了这种关系，并不是直接的父子包含关系）, 而outA是一个集合，该集合包含了outR，或者换句话说，outA能塞紧outR位置。例如服务提供了vehicles，它能被其他服务使用来指望替代station wagons。在这种情况下，该规则承认存在outR和outA的一种微弱关系，在上面精确的例子中：我们能期望广告了一个输出为vehicle的服务提供多种类型的car，但是我们不能期望它总是提供SUV类型的车子。（比上面的直接子类关系要弱）
Subsumes 如果outR包含outA,则提供者没有完全满足该请求。请求者可以使用提供来完成它的目标，但是可能需要修改它的计划或执行其他的请求来完成它的任务。
注释: 简单来说:outR包含了outA,就是服务请求需要提供多个输出值,而输出为outA的广告服务只能提供其中的一部分输出值,所以它只能满足服务请求的部分请求.
Fail 当在广告和请求之间确认没有包含关系时就发生失败。
