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
 

Comments/attachments: Close
 
Summary
.
Abstract
.
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 for transforming and verifying UML statechart diagrams is developed based on graph transformation.
.
This approach can be used to transform UML diagrams to Petri-nets while preserving dynamic consistency properties. Finally, the approach is validated through a case study.
..