A Formal Semantics for Interactions in UML2
GU Sishan1+, CAI Shubin2, LI Shixian1
Journal of Frontiers of Computer Science and Technology . 2012, (7): 631 -643 .  DOI: 10.3778/j.issn.1673-9418.2012.07.007