一种UML2的交互的形式化语义
古思山,蔡树彬,李师贤
A Formal Semantics for Interactions in UML2
GU Sishan1+, CAI Shubin2, LI Shixian1
计算机科学与探索 . 2012, (7): 631 -643 .  DOI: 10.3778/j.issn.1673-9418.2012.07.007