计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2011年
8期
2253-2257
,共5页
工作流集成%形式语义%语义匹配%代数表达式%功能匹配
工作流集成%形式語義%語義匹配%代數錶達式%功能匹配
공작류집성%형식어의%어의필배%대수표체식%공능필배
针对现阶段工作流集成研究中功能匹配查准率和查全率低的问题,给出了基于软件功能形式化语义的匹配机制的实现.在前、后条件pre/post的完全匹配模式下,以高级程序设计语言中的代数表达式为基础,提出了匹配原则,并给出了具体的算法,并且用实例进行分析说明.该算法适用于工作流集成中的功能匹配,同时基于严格的形式化方法,便于分析和验证.该算法局限于初等代数性的前提.
針對現階段工作流集成研究中功能匹配查準率和查全率低的問題,給齣瞭基于軟件功能形式化語義的匹配機製的實現.在前、後條件pre/post的完全匹配模式下,以高級程序設計語言中的代數錶達式為基礎,提齣瞭匹配原則,併給齣瞭具體的算法,併且用實例進行分析說明.該算法適用于工作流集成中的功能匹配,同時基于嚴格的形式化方法,便于分析和驗證.該算法跼限于初等代數性的前提.
침대현계단공작류집성연구중공능필배사준솔화사전솔저적문제,급출료기우연건공능형식화어의적필배궤제적실현.재전、후조건pre/post적완전필배모식하,이고급정서설계어언중적대수표체식위기출,제출료필배원칙,병급출료구체적산법,병차용실례진행분석설명.해산법괄용우공작류집성중적공능필배,동시기우엄격적형식화방법,편우분석화험증.해산법국한우초등대수성적전제.