...切片准则 [gap=843]words：concurrent pmgranm~ing；~dtware model checking；program slicing；state space；slicing criterion ...
基于20个网页-相关网页
切片准则
Slice criterion
以上为机器翻译结果，长、整句建议使用 人工翻译 。
流程切片是根据给定的活动和活动引用的变量(称为切片准则)，分析出在整个流程中能够影响切片准则的流程片段。
Given an activity and variables referenced by this activity (called slicing criterion), one can analyze and obtain the process segment which influences the slicing criterion during process slicing.
youdao
应用推荐
模块上移
模块下移
不移动