基于语义层行为结构的变换对形式化格局识别技术的再探究

Based on the Structural Transformation in Behavior and Semantic LayerDeep Layer Investigates to the Formal Plan Recognize Technique

程序的语义层是程序的词法层和语法层的抽象表达,而蕴涵在软件中的语义层构成了人脑思维与机器思维交互过程的中间变换,从程序的语义层出发,利用行为结构的高层表达进行软件理解,进而抽取设计决策,成为了软件逆向工程理论研究的热门课题,形式化格局识别技术在不同程度上表达了上述思想。基于以上分析,对格局识别技术作进一步探究,并在原有基础上提出了新的改进算法与实施技术。

The semantic layer of the program is the syntax layer and accidence layer of the abstract expressed,but semantic layer in the software constituted the person the brain thought hands over with machine thought with each other the middle transformation of the process,as a result,set out from the semantic layer of the program,make use of the behavior structure and high express the proceeding software comprehend,then the take out takes the design decision,becoming investigative and popular problem in theories in the software reverse engineering,The formal plan recognize technique to express on the different degree above thought,based on the above analysis exactly, the plan recognize technique makes to further investigates,and puts forward the new improvement calculate way and practice technique in originally foundation.