定义 7-1 (可执行性 (Executability))：给定一个过程 α, 一个 TBox Τ，一个初始状态 I 0
基于16个网页-相关网页
transition executability analysis 转换可执行分析
应用推荐
模块上移
模块下移
不移动