作　　者： ; ; ;

机构地区： 华南师范大学计算机学院

出　　处： 《计算机应用》 2011年第8期2253-2257,共5页

摘　　要： 针对现阶段工作流集成研究中功能匹配查准率和查全率低的问题,给出了基于软件功能形式化语义的匹配机制的实现。在前、后条件pre/post的完全匹配模式下,以高级程序设计语言中的代数表达式为基础,提出了匹配原则,并给出了具体的算法,并且用实例进行分析说明。该算法适用于工作流集成中的功能匹配,同时基于严格的形式化方法,便于分析和验证。该算法局限于初等代数性的前提。 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.

关 键 词： 工作流集成 形式语义 语义匹配 代数表达式 功能匹配

领　　域： [自动化与计算机技术] [自动化与计算机技术]