[发明专利]云制造环境中基于资源约束的服务选取方法

权利要求书

1.一种云制造环境中基于资源约束的服务选取方法，其特征在于，包括以下步骤：

1)形式化资源为元数据模型：

描述资源元数据模型，云制造平台提供虚拟资源维护功能，要求企业用户提供如下信息：资源基本信息、提供商信息、填加资源属性、填加资源总数、资源单位、资源价格信息；

虚拟资源搜索用于协助对资源的维护：用户选择资源类型，填写关键字，点击搜索，搜索资源，系统根据用户输入的关键字，进行切词，搜索标签或名称含有关键字的资源，按照使用次数进行倒序排序，返回给用户，根据资源信息在平台的存放情况不同，分为普通资源、常用资源、外部资源，针对每一种资源的搜索方式有所区别，普通资源搜索是直接在资源池中搜索，而外部资源搜索必须调用每一个企业提供的Web服务进行搜索，然后将结果综合，返回给用户，常用资源搜索则取自于常用资源池；

2)形式化资源约束模型，资源模型采用关系表达式和逻辑表达式的形式描述成XML格式，其中包括了表达式本身、表达式中变量的出处信息；

3)注册资源元数据模型和资源约束模型，经过步骤1)、步骤2)，分别形成RMeta.xml和RConstraint.xml两个文件，并部署到服务平台目录XXXResource中，XXX为企业账户，该目录存放该企业的资源元数据模型和约束模型；

4)资源服务有效性检测：基于资源元数据模型和资源约束模型的描述，在服务运行阶段，采用算法进行服务有效性检测，算法步骤如下：

定义资源约束：若服务S_j在执行前必须满足约束P(S_i.R)＝TRUE，则称服务S_j依据约束P依赖于服务S_i产生的资源R，简称为服务的资源约束，记作P(S_i.D)→S_j。若不存在服务S_i，D为公共资源，即服务S_i依据约束P依赖于公共数据D；

定义有效资源集：对资源约束P(S_i.D)→S_j，如果服务S_j执行之前服务S_i的资源S_i.D已经注册到服务平台，称S_i.D为有效资源集合，记为Available(S_i.D)＝TRUE，有效资源集清楚地区分了资源的特征和值之间的关系，即只有资源集被服务执行产生后，才能用于后序服务的资源约束满足性的判断，才能生效；

检测服务的资源约束满足性算法SrvAvailable，输入：服务S以及S需满足的资源约束集P，输出：P是否得到满足，即TRUE或者FALSE，算法思路：对资源约束集P中的所有关系表达式或逻辑表达式的值进行检测，同时考虑表达式中的资源均为有效资源，若全部为真，则认定该服务S的资源约束已得到满足，否则，不满足；

服务动态组合时的有效性检测算法PostSrvAvailable，算法PostSrvAvailable适用于服务的时序组合(即服务工作流)情况，主动检测约束的满足性可提前预知待组合服务的有效性。算法输入：某服务S_i的后序节点集合及其对应的约束集的超集，输出：所有约束集的资源约束满足性，算法思路：根据对工作流模型图进行深度优先搜索，通过引入资源约束模型，逐路径检测后序服务节点对应的资源约束的满足性(算法SrvAvailable)，检测到结果为FALSE的关系表达式或逻辑表达式，表明此路径存在不满足资源约束的服务节点；

5)资源选取：包括直接选取和服务工作流的动态选取与组合，无论哪种情形，均根据步骤4)形成的检测算法选取服务。

2.根据权利要求1所述的云制造环境中基于资源约束的服务选取方法，其特征在于，步骤1)中所述的具体搜索过程如下：

A定义一个共同的搜索接口，在定义三个接口分别用来：用户输入关键字或资源类别进行搜索、获取资源剩余数量、返回资源详细信息；

B对于普通资源、常用资源、外部资源这三类资源，分别定义三个类实现A中共同搜索接口，根据资源类型实现搜索功能；

C定义三个针对具体搜索类的工厂类，创建对应的搜索类对象；

D搜索大资源池，方法如下：对用户的输入进行分词，最原始的分词采用空格为分隔符。如果用户输入词组或者长词组，则使用一种中文分词工具包进行分词，将用户选择的类别信息、分词所得的关键字作为条件，查询名称、标签中含有这些关键字的资源，将这些得到的资源按照一定的规则计算与用户输入条件的相似度，然后根据相似度进行排序，并返回结果；

E搜索常用资源池，除搜索对象是常用资源池外，方法同D；

F搜索外部资源，从共同搜索接口继承，执行其他节点提供的搜索服务。对每一个提供外部资源的个体均使用相同的方法，以UML做参数，实例化外部搜索接口，调用其中的搜索函数进行搜索，取得搜索结果；

G将搜索结果整合，并按照相似度进行排序，返回。