Definition and verification of semantics of data flow in UML Statecharts
LU Gong-zheng 1,WU Lan-bo 2,ZHANG Guang-quan 3
Computer Engineering and Applications . 2009, (24): 56 -59 .  DOI: 10.3778/j.issn.1002-8331.2009.24.018