For the most recent entries see the Petri Nets Newsletter.

Towards Formal Verification of UML Diagrams Based on Graph Transformation.

Zhao, Yu; Fan, Yushun; Bai, Xinxin; Wang, Yuan; Cai, Hong; Ding, Wei

In: Proceedings of E-Commerce Technology for Dynamic E-Business, IEEE International Conference on (CEC-East'04), September 13 - 15, 2004, Beijing, China, pages 180-187. IEEE Press, September 2004.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography