{"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}
引用次数: 0
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
