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

摘要

本发明公开了一种云制造环境中基于资源约束的服务选取方法，首先要对企业资源形式化，并以元数据形式存储为XML格式，形成资源元数据模型；将资源约束形式化，并以关系表达式、逻辑表达式的形式描述成XML格式，形成资源约束模型；把资源元数据模型、资源约束模型注册到云制造服务平台上，作为资源池配置的一项，工作流运行时，即开始了企业的管理、企业间的交互，此时工作流引擎通过读取工作流模型，即可获取资源约束模板，并结合运行时企业注册的资源元数据，对所有资源约束进行满足性检测；检测结果可用于资源服务的有效性识别，作为服务选取的直接依据。本发明可提高企业应用集成的效率，并具有很高的灵活性。

主权项

一种云制造环境中基于资源约束的服务选取方法，其特征在于，包括以下步骤：1)形式化资源为元数据模型：描述资源元数据模型，云制造平台提供虚拟资源维护功能，要求企业用户提供如下信息：资源基本信息、提供商信息、填加资源属性、填加资源总数、资源单位、资源价格信息；虚拟资源搜索用于协助对资源的维护：用户选择资源类型，填写关键字，点击搜索，搜索资源，系统根据用户输入的关键字，进行切词，搜索标签或名称含有关键字的资源，按照使用次数进行倒序排序，返回给用户，根据资源信息在平台的存放情况不同，分为普通资源、常用资源、外部资源，针对每一种资源的搜索方式有所区别，普通资源搜索是直接在资源池中搜索，而外部资源搜索必须调用每一个企业提供的Web服务进行搜索，然后将结果综合，返回给用户，常用资源搜索则取自于常用资源池；2)形式化资源约束模型，资源模型采用关系表达式和逻辑表达式的形式描述成XML格式，其中包括了表达式本身、表达式中变量的出处信息；3)注册资源元数据模型和资源约束模型，经过步骤1)、步骤2)，分别形成RMeta.xml和RConstraint.xml两个文件，并部署到服务平台目录XXXResource中，XXX为企业账户，该目录存放该企业的资源元数据模型和约束模型；4)资源服务有效性检测：基于资源元数据模型和资源约束模型的描述，在服务运行阶段，采用算法进行服务有效性检测，算法步骤如下：定义资源约束：若服务Sj在执行前必须满足约束P(Si.R)＝TRUE，则称服务Sj依据约束P依赖于服务Si产生的资源R，简称为服务的资源约束，记作P(Si.D)→Sj。若不存在服务Si，D为公共资源，即服务Si依据约束P依赖于公共数据D；定义有效资源集：对资源约束P(Si.D)→Sj，如果服务Sj执行之前服务Si的资源Si.D已经注册到服务平台，称Si.D为有效资源集合，记为Available(Si.D)＝TRUE，有效资源集清楚地区分了资源的特征和值之间的关系，即只有资源集被服务执行产生后，才能用于后序服务的资源约束满足性的判断，才能生效；检测服务的资源约束满足性算法SrvAvailable，输入：服务S以及S需满足的资源约束集P，输出：P是否得到满足，即TRUE或者FALSE，算法思路：对资源约束集P中的所有关系表达式或逻辑表达式的值进行检测，同时考虑表达式中的资源均为有效资源，若全部为真，则认定该服务S的资源约束已得到满足，否则，不满足；服务动态组合时的有效性检测算法PostSrvAvailable，算法PostSrvAvailable适用于服务的 时序组合(即服务工作流)情况，主动检测约束的满足性可提前预知待组合服务的有效性。算法输入：某服务Si的后序节点集合及其对应的约束集的超集，输出：所有约束集的资源约束满足性，算法思路：根据对工作流模型图进行深度优先搜索，通过引入资源约束模型，逐路径检测后序服务节点对应的资源约束的满足性(算法SrvAvailable)，检测到结果为FALSE的关系表达式或逻辑表达式，表明此路径存在不满足资源约束的服务节点；5)资源选取：包括直接选取和服务工作流的动态选取与组合，无论哪种情形，均根据步骤4)形成的检测算法选取服务。