工作流集成中基于代数表达式的语义匹配机制.docVIP

工作流集成中基于代数表达式的语义匹配机制 　　收稿日期:2011-02-14;修回日期:2011-03-16。 　　作者简介:齐军（1987-），男，河南息县人，硕士研究生，主要研究方向：软件工程、形式化方法； 张月菊（1980-），女，河北晋州人，硕士，主要研究方向：软件工程、工作流； 王涛（1975-），男，广西合浦人，副教授，博士，主要研究方向：软件工程、形式化方法、信息系统安全。 　　文章编号:1001-9081（2011）08-02253-05doi:10.3724/SP.J.1087.2011.02253 　　（华南师范大学 计算机学院，广州510631） 　　（qi_jun2005@126.com） 　　摘 要:针对现阶段工作流集成研究中功能匹配查准率和查全率低的问题，给出了基于软件功能形式化语义的匹配机制的实现。在前、后条件pre/post的完全匹配模式下，以高级程序设计语言中的代数表达式为基础，提出了匹配原则，并给出了具体的算法，并且用实例进行分析说明。该算法适用于工作流集成中的功能匹配，同时基于严格的形式化方法，便于分析和验证。该算法局限于初等代数性的前提。 　　关键词:工作流集成；形式语义；语义匹配；代数表达式；功能匹配 　　中图分类号: TP311.521文献标志码:A 　　Semantic matching mechanism based on algebraic expression in workflow integration 　　QI Jun, ZHANG Yue-ju, WANG Tao 　　（School of Computer Science, South China Normal University, Guangzhou Guangdong 510631, China） 　　Abstract: Concerning the problems of low precision ratio and low recall ratio of function match in the research of workflow integration, the authors implemented the matching mechanism based on formal semantic of extract pre/post match pattern, and proposed matching principles on the basis of algebraic expressions in high level programming languages. The specific algorithm was raised up and also an example was given to analyze and illustrate the algorithm. The proposed algorithm is suitable for function matching in workflow integration and it is founded on strict formal method, so that it can be analyzed and verified conveniently with mathematical methods. The limitation is that it is based on elementary algebraic expression. 　　Key words: workflow integration; formal semantic; semantic match; algebraic expression; function match 　　0 引言 　　跨组织工作流之间的集成技术是工作流技术的一个重要研究领域，近十年来Web服务发现技术应用于工作流集成的研究，极大地促进了工作流集成技术的发展。但仍存在着以下问题。 　　1）功能查找不全、匹配率较低。对于工作流集成中的功能集成，计算机如何自动发现功能是否匹配，是实现功能自动集成的一个关键技术。目前，Web服务发现技术中的语法级服务发现技术的查准率和查全率不高。 　　2）可行性不高。服务发现技术中的语义级服务描述基于本体，使用逻辑演绎和推理进行匹配，虽然提高了查准率和查全率，但仍然存在一些不足［1］：缺乏灵活有效的服务匹配算法；服务发现效率低下等。 　　因此，本文将研究的重点放在功能匹配上，对以初等代数表达式为基础的功能以集合论和一阶谓词逻辑为基础进行形式化描述，关注其前条件和后条件，并对其进行数学推理，以判定功能