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

• 作者: 张月菊 王涛 齐军
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 工作流集成 形式语义 语义匹配 代数表达式 功能匹配
• 年，卷（期）: 2011,（8）
• 所属期刊栏目: 典型应用
• 页码范围: 2253-2257
• 分类号: TP311.521
• 字数: 6941字
• 语种: 中文
• DOI: 10.3724/SP.J.1087.2011.02253

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王涛	华南师范大学计算机学院	30	106	6.0	8.0
2	齐军	华南师范大学计算机学院	2	1	1.0	1.0
3	张月菊	华南师范大学计算机学院	2	4	1.0	2.0