UML模型的形式化和转换方法

2022 3rd International Conference on Computing, Networks and Internet of Things (CNIOT) Pub Date : 2022-05-01 DOI:10.1109/cniot55862.2022.00041

Zhan Shi, Lei-Lei Han, Ying Qian

{"title":"UML模型的形式化和转换方法","authors":"Zhan Shi, Lei-Lei Han, Ying Qian","doi":"10.1109/cniot55862.2022.00041","DOIUrl":null,"url":null,"abstract":"The UML (Unified Modeling Language) language uses the graphical representation for a system, which has been widely used as an industrial standard in software engineering. However, many UML concepts are based on informal semantics, it is difficult to achieve accurate definitions of target models. On the basis of the existing TEGG grammar, this paper extends the TEGG to construct a formal method for UML state diagrams, and proposes productions for the transformation from UML state diagrams to TEGG graphs. Finally, a case is shown to illustrate the implementation of the proposed method.","PeriodicalId":251734,"journal":{"name":"2022 3rd International Conference on Computing, Networks and Internet of Things (CNIOT)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A Formalization and Transformation Method of UML Model\",\"authors\":\"Zhan Shi, Lei-Lei Han, Ying Qian\",\"doi\":\"10.1109/cniot55862.2022.00041\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The UML (Unified Modeling Language) language uses the graphical representation for a system, which has been widely used as an industrial standard in software engineering. However, many UML concepts are based on informal semantics, it is difficult to achieve accurate definitions of target models. On the basis of the existing TEGG grammar, this paper extends the TEGG to construct a formal method for UML state diagrams, and proposes productions for the transformation from UML state diagrams to TEGG graphs. Finally, a case is shown to illustrate the implementation of the proposed method.\",\"PeriodicalId\":251734,\"journal\":{\"name\":\"2022 3rd International Conference on Computing, Networks and Internet of Things (CNIOT)\",\"volume\":\"38 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2022 3rd International Conference on Computing, Networks and Internet of Things (CNIOT)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/cniot55862.2022.00041\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2022 3rd International Conference on Computing, Networks and Internet of Things (CNIOT)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/cniot55862.2022.00041","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

UML(统一建模语言)语言使用系统的图形表示，它已被广泛用作软件工程中的工业标准。然而，许多UML概念是基于非正式语义的，很难实现目标模型的准确定义。在现有TEGG语法的基础上，对TEGG进行了扩展，构造了UML状态图的形式化方法，并提出了从UML状态图到TEGG图转换的产物。最后，通过一个实例说明了该方法的实现。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A Formalization and Transformation Method of UML Model

The UML (Unified Modeling Language) language uses the graphical representation for a system, which has been widely used as an industrial standard in software engineering. However, many UML concepts are based on informal semantics, it is difficult to achieve accurate definitions of target models. On the basis of the existing TEGG grammar, this paper extends the TEGG to construct a formal method for UML state diagrams, and proposes productions for the transformation from UML state diagrams to TEGG graphs. Finally, a case is shown to illustrate the implementation of the proposed method.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2022 3rd International Conference on Computing, Networks and Internet of Things (CNIOT)

自引率

0.00%

发文量