Towards Formal Verification of UML Diagrams Based on Graph Transformation

Authors:
Yu Zhao;Yushun Fan;Xinxin Bai;Yuan Wang;Hong Cai;Wei Ding
Affiliations:
Tsinghua University, Beijing China;Tsinghua University, Beijing China;Tsinghua University, Beijing China;Tsinghua University, Beijing China;IBM China Research Lab, Beijing China;IBM China Research Lab, Beijing China
Venue:
CEC-EAST '04 Proceedings of the E-Commerce Technology for Dynamic E-Business, IEEE International Conference
Year:
2004

Citing 0
Cited 2

Specifying behavioral semantics of UML diagrams through graph transformations

Journal of Systems and Software
Graph transformation based reduction analysis of PID

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

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.