Specifying behavioral semantics of UML diagrams through graph transformations

Jun Kong, Kang Zhang, Jing Dong, Dianxiang Xu. Specifying behavioral semantics of UML diagrams through graph transformations. Journal of Systems and Software, 82(2):292-306, 2009. [doi]

Abstract

Abstract is missing.