网络化制造环境下服务匹配跟合成问题研究探究 谭伟 范玉顺.pdfVIP

网络化制造环境下服务匹配与合成问题研究 谭伟 范玉顺 (清华大学自动化系 北京 100084) 摘要：针对网络化制造环境下制造服务的集成需要，提出了基于语义的制造服务匹配、合成及运行框 架，该框架关注网络化制造过程的建模、运行、监控、改进等问题。指出服务的匹配与合成算法是网络化 制造服务集成运行框架的关键问题。给出了制造服务的形式化定义，基于语义信息，从功能，输入输出参 数，服务质量等方面综合考虑，建立了完整的匹配算法框架；服务合成算法基于服务匹配算法，通过建立 服务合成的最短路径模型解决服务合成的优化问题。给出了服务匹配与合成算法的应用示例，最后提出了 进一步的研究方向。 关键词：网络化制造；服务匹配；服务合成；语义网 中图分类号：TP391 TH164 0 引言 网络化制造是在网络经济环境下产生的一种新的制造模式[1]，其重要特征是以因特网为支撑，突破地 域限制，整合分散的设计、加工、运输等制造相关资源（包括设备、软件、智力资源等），实现企业间协作 和优势互补。Web服务（Web Service）是实现制造资源封装和共享的重要使能技术，制造资源可以以制造 服务的形式提供。 建立网络化制造服务流程需要解决两个问题。一是为实现某个功能，需要从大量的制造服务中挑选符 合要求的，即服务的匹配。Web service 的 UDDI 和 WSDL 协议提供了关于服务的信息，但由于缺乏语义信 息而不能被计算机理解，实用性较差。二是需要将多个制造服务按照一定逻辑组成制造流程，即服务的合 成。使用传统的流程建模方式，工作流程中的每个活动都分别从大量的制造服务中选择，然后进行连接。 面对大量可用的制造服务，合成的工作量很大，而且从大量服务中进行人工挑选具有较大的主观性。为解 决制造服务的匹配与合成问题，本文引入了制造服务的语义网，通过为制造服务添加语义标记，服务的匹 配与合成可由计算机程序自动完成；该解决方案的优点在于高效性（可以迅速从大量的制造服务中找到可 行方案）和有效性（统一的匹配与合成标准，克服了人工对过程建模的主观性）。 目前基于语义网的Web服务匹配与合成方面的研究主要集中在以下几个方面。一是基于业务规则或输入 输出关系推理的抽象流程建模，这实际上是对用户的流程需求的建模。如文献[2]把电子政务过程的规则分 为语义规则、空间规则、时间规则和序列规则等；然后根据用户的目标和偏好，从业务过程的结果开始， “逆推”出一个业务流程。二是抽象的业务对象与具体的服务（如web服务）的匹配。一般基于语义网的具 体实现,如描述逻辑[3]、DAML+OIL(DARPA Markup Language + Ontology Interchange Language)[4,5,6]等，从 服务的某些特性（如服务的功能描述、输入输出数据）出发研究服务匹配问题。文献[7]将服务匹配级别分 为Exact，Plug-in，Subsumption，Container，Part-of， Disjoint等，并使用Criteria Table来描述服 基金项目：国家自然科学基金资助项目（编号，国家863 计划CIMS主题资助项目（编号：2003AA414032）。 作者简介：谭伟（1980－），男（汉族），湖南衡阳人，清华大学自动化系博士研究生，主要从事业务过程管理、工作流、 Petri 网等方面的研究。E －mail ：tanwei@ 。 务匹配时用户的具体需求。文献[8]对服务匹配问题做了较为全面的研究。三是服务合成方面。业界已制定 了一些基于web服务的流程描述语言，如WSFL（Web Service Flow Language），BPEL4WS(Business Process Execution Language for Web Services)等[9]。学术研究方面，文献[8]对服务合成的考虑仅限于相继的两 个活动。文献[10]的工作基于服务本体描述语言OWL-S（Ontology Web Language for Services ）和 BPEL4J(Business Process Execution Language for Java)工作流引擎，将服务合成转化为约束满足问题， 并最终转化为整数规划问题，使用Lindo为工具来求解。 目前的研究较少地从整个流程的角度来考虑制造服务的合成