.
Towards Formal Verification of UML Diagrams Based on Graph Transformation
Yu Zhao1*, Yushun Fan1, Xinxin Bai1, Yuan Wang1, Hong Cai2, Wei Ding2
1 CIM Research Center, Department of Automation, Tsinghua University, Beijing China 100084
2 IBM China Research Lab, 4F, Haohai Building, 5th Shangdi Street, Beijing China 100085
*Email: zhaoyu00@mails.tsinghua.edu.cn
..
.. |