Page 172 - 《软件学报》2021年第5期
P. 172
1396 Journal of Software 软件学报 Vol.32, No.5, May 2021
叉树转换为多叉树).这 20 个人工案例的设计思路主要可以分为两种:(1) 对一些经典案例进行修改,例如
Courier Protocol、AccidentColoured 和 Coloured Reader Writer 等,具体为编号(1)~编号(8)的案例;(2) 4 种行为关
系随机叠加组合获得的一系列模型,并从中挑选具有代表性的案例,具体为编号(9)~编号(20)的案例.可以发现,
将其转化为过程树后,可以很容易地观察到它的整体行为结构.
Table 3 Group ED experimental case
表 3 ED 组实验案例
编号 (a) 实验模型 (b) 行为等价的过程树
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
