计算机应用 ›› 2011, Vol. 31 ›› Issue (08): 2253-2257.DOI: 10.3724/SP.J.1087.2011.02253

• 典型应用 • 上一篇    下一篇

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

齐军,张月菊,王涛   

  1. 华南师范大学 计算机学院,广州510631
  • 收稿日期:2011-01-27 修回日期:2011-03-16 发布日期:2011-08-01 出版日期:2011-08-01
  • 通讯作者: 齐军
  • 作者简介:齐军(1987-),男,河南息县人,硕士研究生,主要研究方向:软件工程、形式化方法;张月菊(1980-),女,河北晋州人,硕士,主要研究方向:软件工程、工作流;王涛(1975-),男,广西合浦人,副教授,博士,主要研究方向:软件工程、形式化方法、信息系统安全。

Semantic matching mechanism based on algebraic expression in workflow integration

Jun QI,Yue-ju ZHANG,Tao WANG   

  1. School of Computer Science, South China Normal University, Guangzhou Guangdong 510631, China
  • Received:2011-01-27 Revised:2011-03-16 Online:2011-08-01 Published:2011-08-01
  • Contact: Jun QI

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

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

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

中图分类号: