嵌入式系统中UML模型一致性检验方法的研究

2010 International Conference on Future Information Technology and Management Engineering Pub Date : 2010-12-03 DOI:10.1109/FITME.2010.5654698

Weijie Gu, Jishui Wang, Erying Shi, Yuexia Qian

{"title":"嵌入式系统中UML模型一致性检验方法的研究","authors":"Weijie Gu, Jishui Wang, Erying Shi, Yuexia Qian","doi":"10.1109/FITME.2010.5654698","DOIUrl":null,"url":null,"abstract":"To solve the problem of consistency checking of UML model in embedded system, the model consistency was analyzed. The executable UML was put forward which was an enhanced subset of UML. The state-event table was used to express the system model from model's transformation. And the model's consistency checking was come true by dynamic emulation. Finally, a case was presented to verify the feasibility of this method.","PeriodicalId":421597,"journal":{"name":"2010 International Conference on Future Information Technology and Management Engineering","volume":"17 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Research on consistency checking method of UML model in embedded system\",\"authors\":\"Weijie Gu, Jishui Wang, Erying Shi, Yuexia Qian\",\"doi\":\"10.1109/FITME.2010.5654698\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"To solve the problem of consistency checking of UML model in embedded system, the model consistency was analyzed. The executable UML was put forward which was an enhanced subset of UML. The state-event table was used to express the system model from model's transformation. And the model's consistency checking was come true by dynamic emulation. Finally, a case was presented to verify the feasibility of this method.\",\"PeriodicalId\":421597,\"journal\":{\"name\":\"2010 International Conference on Future Information Technology and Management Engineering\",\"volume\":\"17 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-12-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 International Conference on Future Information Technology and Management Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/FITME.2010.5654698\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 International Conference on Future Information Technology and Management Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FITME.2010.5654698","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

为解决嵌入式系统中UML模型的一致性检查问题，对模型一致性进行了分析。提出了可执行UML，它是UML的一个增强子集。通过模型的转换，用状态-事件表来表达系统模型。并通过动态仿真验证了模型的一致性。最后通过实例验证了该方法的可行性。

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

查看原文本刊更多论文

Research on consistency checking method of UML model in embedded system

To solve the problem of consistency checking of UML model in embedded system, the model consistency was analyzed. The executable UML was put forward which was an enhanced subset of UML. The state-event table was used to express the system model from model's transformation. And the model's consistency checking was come true by dynamic emulation. Finally, a case was presented to verify the feasibility of this method.

求助全文

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

来源期刊

2010 International Conference on Future Information Technology and Management Engineering

自引率

0.00%

发文量