计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (34): 1-3.DOI: 10.3778/j.issn.1002-8331.2010.34.001
黄 骞,高 勇,邬 伦
HUANG Qian,GAO Yong,WU Lun
摘要: 针对GIService服务发现,提出了基于一阶逻辑的GIService服务描述与匹配方法。使用一阶逻辑工具描述服务接口、运行条件和程序逻辑等GIService特征,提出基于描述逻辑与霍尔规则相似度计算的GIService服务匹配方法。实验案例证明,基于一阶逻辑的GIService服务发现可以全面表达GIService特征,得到更加准确的服务匹配结果。
中图分类号: