Title :
Towards formal verification of UML diagrams based on graph transformation
Author :
Zhao, Yu ; Fan, Yushun ; Bai, Xinxin ; Wang, Yuan ; Cai, Hong ; Ding, Wei
Author_Institution :
Dept. of Autom., Tsinghua Univ., Beijing
Abstract :
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
Keywords :
Petri nets; Unified Modeling Language; diagrams; formal specification; formal verification; graph grammars; Petri-nets; UML diagram formal verification; UML statechart diagrams; dynamic consistency property; graph transformation; meta-model hierarchical structure; Algebra; Automation; Buildings; Computer integrated manufacturing; Formal verification; Mathematical model; Mathematics; Process design; System analysis and design; Unified modeling language;
Conference_Titel :
E-Commerce Technology for Dynamic E-Business, 2004. IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7695-2206-8
DOI :
10.1109/CEC-EAST.2004.70
