摘要
将程序切片技术引入到过程模型中,定义过程模型中的关联关系和数据连接关系,在此基础上给出了过程模型的切片定义,并定义了过程模型的三种切片:前向切片,后向切片和双向切片,提出了前向切片、后向切片和双向切片的算法,最后通过实例分析证明了该算法的可行性和实用性。
The concept of program slicing technique is introduced into the process model in this paper. By defining correlation relationship and data connection relationship in the process mode,the definition of the process model slicing is proposes on that basis, and 3 kinds of the process model slicing are defined as well, they are forward slicing, backward slicing and bidirectional slicing. The algorithms of these 3 slicing are presented. At last, the feasibility and practicality of the algorithms are verified by the instances analysis.
出处
《计算机应用与软件》
CSCD
2010年第2期88-89,114,共3页
Computer Applications and Software
基金
北京市科技计划(y0105001040521)
关键词
过程模型
程序切片
过程模型切片
前向切片
后向切片
双向切片
Process model Program slicing Process model slicing Forward slicing Backward slicing Bidirectional slicing
