摘要

结合产生式系统中冲突消解和约束满足问题的方法,提出了一种新的基于约束条件的服务能力匹配方法。该方法把服务的约束条件分成两大类,一类是状态关系条件,一类是数值关系条件,根据这两类约束条件分别提出了相应的语义匹配方法,给出了实现原型的软件系统结构和例子,说明了该方法的有效性。