定义及验证UML Statechart图中的数据流语义

定义及验证UML Statechart图中的数据流语义

陆公正 ¹，吴澜波 ₂，张广泉 ³

Definition and verification of semantics of data flow in UML Statecharts

LU Gong-zheng ¹，WU Lan-bo ²，ZHANG Guang-quan ³

计算机工程与应用 . 2009, (24): 56 -59 . DOI: 10.3778/j.issn.1002-8331.2009.24.018