Fan, Yushun; Zhao, Yu; Bai, Xinxin Bai; Wang, Yuan; Cai, Hong Cai; Ding, Wei: Towards Formal Verification of UML Diagrams Based on Graph Transformation, in: Proceedings of the IEEE International Conference on E-Commerce Technology for Dynamic E-Business (CEC-East’04), IEEE Computer Society, 2004.

In this paper, a meta-level and highly automated technique that could formally transform UML diagrams for verification is presented. Firstly, the meta-model hierarchical structure of UML is reviewed and the relationships among different UML diagrams are analyzed from different views. An approach fo...

THEMES: Fan, Yushun | Zhao, Yu | Bai, Xinxin Bai | Wang, Yuan | Cai, Hong Cai | Ding, Wei
YEAR: 2004
Login Login
User: Anonymous

LABEL: Case Study | e-Commerce | Graph Transformation | Petrinet | UML
LANGUAGE: English
ORGANIZATIONS: CEC East | Cims ERC | IBM Research Center | IEEE | University - Tsinghua University Beijing
PEOPLE: Bai, Xinxin | Cai, Hong | Ding, Wei | Fan, Yushun | Wang, Yuan | Zhao, Yu
PLACES: Beijing | China
TIME: 2004
 
Comments/attachments: Close
 
Title
.
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
..

..