Yu Zhao, Yushun Fan, Xinxin Bai, Y. Wang, Hong Cai, Wei Ding
{"title":"基于图转换的UML图的形式化验证","authors":"Yu Zhao, Yushun Fan, Xinxin Bai, Y. Wang, Hong Cai, Wei Ding","doi":"10.1109/CEC-EAST.2004.70","DOIUrl":null,"url":null,"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","PeriodicalId":433885,"journal":{"name":"IEEE International Conference on E-Commerce Technology for Dynamic E-Business","volume":"143 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"28","resultStr":"{\"title\":\"Towards formal verification of UML diagrams based on graph transformation\",\"authors\":\"Yu Zhao, Yushun Fan, Xinxin Bai, Y. Wang, Hong Cai, Wei Ding\",\"doi\":\"10.1109/CEC-EAST.2004.70\",\"DOIUrl\":null,\"url\":null,\"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\",\"PeriodicalId\":433885,\"journal\":{\"name\":\"IEEE International Conference on E-Commerce Technology for Dynamic E-Business\",\"volume\":\"143 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-09-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"28\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE International Conference on E-Commerce Technology for Dynamic E-Business\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CEC-EAST.2004.70\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE International Conference on E-Commerce Technology for Dynamic E-Business","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CEC-EAST.2004.70","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Towards formal verification of UML diagrams based on graph transformation
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
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
