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

doi:10.3724/SP.J.1087.2011.02253

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

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

齐军,张月菊,王涛

华南师范大学计算机学院，广州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

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

摘要/Abstract

摘要： 针对现阶段工作流集成研究中功能匹配查准率和查全率低的问题，给出了基于软件功能形式化语义的匹配机制的实现。在前、后条件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

中图分类号:

TP311.521

齐军张月菊王涛. 工作流集成中基于代数表达式的语义匹配机制[J]. 计算机应用, 2011, 31(08): 2253-2257.

Jun QI Yue-ju ZHANG Tao WANG. Semantic matching mechanism based on algebraic expression in workflow integration[J]. Journal of Computer Applications, 2011, 31(08): 2253-2257.

参考文献

[1] PAPAZOGLOU M P, van den HEUVEL W J. Service oriented architectures: Approaches, technologies and research issues [J]. The International Journal on Very Large Data Bases, 2007, 16(3): 389-415.

[2] 张静，王海洋，崔立真.基于Pi演算的跨组织工作流建模研究[J].计算机研究与发展，2007，44(7)：1243-1251.

[3] XU LIDA, LIU HUIMIN, WANG SONG, et al. Modelling and analysis techniques for cross-organizational workflow systems [J]. Systems Research and Behavioral Science, 2009, 26(3): 367-389.

[4] LIN QIANG, GE JIDONG, HU HAO, et al. An approach to model cross-organizational processes using object Petri net [C]// SCW 2007: 2007 IEEE International Conference on Services Computing-Workshops. Washington, DC: IEEE Computer Society, 2007: 146-152.

[5] 吴长中.工作流中的数据集成技术研究[D].长沙：国防科学技术大学，2002.

[6] KOURTESIS D, PARASKAKIS I. Combining SAWSDL, OWL-DL and UDDI for semantically enhanced Web service discovery [C]// ESWC' 08: Proceedings of the 5th European Semantic Web Conference on the Semantic Web: Research and Applications, LNCS 5021. Berlin: Springer-Verlag, 2008: 614-628.

[7] 张小娟，李华.网格环境下基于语义关联的信息检索[J].计算机应用，2009，29(6)：1517-1526.

[8] 樊晓光，褚文奎，万明.基于领域本体的软构件检索[J].计算机科学，2009,36(6)：156-158.

[9] 袁世伦，李胜利，袁平鹏，等.一种基于规则的工作流模型互操作的实现方法[J].计算机应用，2007，27(2)：400-402.

[10] ZHANG JIDONG, HUO WEIPENG. Research on the composition mechanism of semantic Web services [C]// ICCSIT 2010: Proceedings of the 3rd IEEE International Conference on Computer Science and Information Technology. Washington, DC: IEEE Computer Society, 2010: 100-103.

[11] 王淑红，袁兆山.基于排序形式化规格说明的软构件匹配[J].合肥工业大学学报，2000，23(4)：477-481.

[12] HEMER D. Semi-automated component-based development of formally verified software [C]// REFINE 2006: Proceedings of the 11th Refinement Workshop on Electronic Notes in Theoretical Computer Science. Amsterdam, Netherlands: Elsevier, 2007: 173-188.

[13] 马亮，孙家.基于规约匹配的构件检索[J].小型微型计算机系统，2002，23(10):1153-1157.

[14] 樊敏.程序作业自动测评的研究与实现[D].广州：广东工业大学，2005.

[15] 刘洋，欧阳春宜，施崇明.一类算术表达式的语法分析及规范化方法[J].赣南师范学院学报，2003(3):21-23.

[16] 刘峰，袁春风.基于MathML的数学表达式等价性的研究[J].计算机应用研究，2004，21(11)：54-56.

[17] 曹京，谭建龙，刘萍，等.布尔表达式匹配问题研究[J].计算机应用研究，2007，24(9)：70-72.

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

Semantic matching mechanism based on algebraic expression in workflow integration

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 8

编辑推荐

Metrics

[1]	袁中臣, 马宗民. 基于UMCS树的UML类图的混合相似性度量[J]. 《计算机应用》唯一官方网站, 2024, 44(3): 883-889.
[2]	赵小虎, 赵成龙. 基于多特征语义匹配的知识库问答系统[J]. 计算机应用, 2020, 40(7): 1873-1878.
[3]	鲁强, 刘兴昱. 基于迁移学习的知识图谱问答语义匹配模型[J]. 计算机应用, 2018, 38(7): 1846-1852.
[4]	蔡泽民王奕李仁发. 基于代数表达式功耗模型的差分功耗分析攻击[J]. 计算机应用, 2014, 34(2): 448-451.
[5]	王涛陈敏翼齐军. 基于Clight形式语义的代码功能描述提取[J]. 计算机应用, 2012, 32(08): 2333-2337.
[6]	李明杨凡. 基于过程相似的Web服务功能匹配[J]. 计算机应用, 2011, 31(05): 1370-1373.
[7]	邓建波张立臣邓惠敏徐碧红. 基于通信序列进程的UML序列图形式化方法[J]. 计算机应用, 2010, 30(10): 2727-2729.
[8]	张静俞辉. 一种多模态信息融合的视频检索模型[J]. 计算机应用, 2008, 28(1): 199-201,.