作者的方法是使用 了标号迁移系统（LabelledTransition System，LTS）描述软件体系结构的动 态行为，以说明系统中构件之间的交互。
基于2个网页-相关网页
算法思想采用了标号迁移系统（Labelled Transition System，LTS）描述软件体系结构的动态行为，以说明系统中构件之间的交互；接着从LTS中导出反映测试者观察兴趣的抽象的...
了标号迁移系统
The label migration system has been established
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动