齐军
- 作品数：2 被引量：0H指数：0
- 供职机构：华南师范大学计算机学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 工作流集成中基于代数表达式的语义匹配机制
- 2011年
- 针对现阶段工作流集成研究中功能匹配查准率和查全率低的问题,给出了基于软件功能形式化语义的匹配机制的实现。在前、后条件pre/post的完全匹配模式下,以高级程序设计语言中的代数表达式为基础,提出了匹配原则,并给出了具体的算法,并且用实例进行分析说明。该算法适用于工作流集成中的功能匹配,同时基于严格的形式化方法,便于分析和验证。该算法局限于初等代数性的前提。
- 齐军张月菊王涛
- 关键词：工作流集成形式语义语义匹配
- 基于Clight形式语义的代码功能描述提取
- 2012年
- 软件代码的功能提取是功能集成的最基本前提,但软件功能提取普遍存在正确率低的问题。为此,提出基于Clight形式语义的代码功能描述提取机制,并用Clight代码功能描述算法实现。该机制严格基于Clight自然语义推理规则,忽略代码执行的中间细节,只关注执行前后的存储状态,并以此作为代码的功能描述,提高了功能提取的正确率和关键领域软件开发的成功率。
- 王涛陈敏翼齐军
- 关键词：形式语义
