翻译UML活动图到彩色Petri网与题词

2016 13th International Joint Conference on Computer Science and Software Engineering (JCSSE) Pub Date : 2016-07-01 DOI:10.1109/JCSSE.2016.7748883

Nattira Maneerat, W. Vatanawood

{"title":"翻译UML活动图到彩色Petri网与题词","authors":"Nattira Maneerat, W. Vatanawood","doi":"10.1109/JCSSE.2016.7748883","DOIUrl":null,"url":null,"abstract":"UML activity diagram is widely used to describe the behavior of the software system. Unfortunately, there is still no practical tool to verify the UML diagrams automatically. This paper proposes an alternative to translate UML activity diagram into a colored petri nets with inscription. The model translation rules are proposed to guide the automatic translation of the activity diagram with atomic action into a CPN model. Moreover, the relevant basic arc inscriptions are generated without manual elaboration. The resulting CPN with inscription is correctly verified as expected.","PeriodicalId":321571,"journal":{"name":"2016 13th International Joint Conference on Computer Science and Software Engineering (JCSSE)","volume":"27 2 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Translation UML activity diagram into colored Petri net with inscription\",\"authors\":\"Nattira Maneerat, W. Vatanawood\",\"doi\":\"10.1109/JCSSE.2016.7748883\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"UML activity diagram is widely used to describe the behavior of the software system. Unfortunately, there is still no practical tool to verify the UML diagrams automatically. This paper proposes an alternative to translate UML activity diagram into a colored petri nets with inscription. The model translation rules are proposed to guide the automatic translation of the activity diagram with atomic action into a CPN model. Moreover, the relevant basic arc inscriptions are generated without manual elaboration. The resulting CPN with inscription is correctly verified as expected.\",\"PeriodicalId\":321571,\"journal\":{\"name\":\"2016 13th International Joint Conference on Computer Science and Software Engineering (JCSSE)\",\"volume\":\"27 2 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-07-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2016 13th International Joint Conference on Computer Science and Software Engineering (JCSSE)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/JCSSE.2016.7748883\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 13th International Joint Conference on Computer Science and Software Engineering (JCSSE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/JCSSE.2016.7748883","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

UML活动图被广泛用于描述软件系统的行为。不幸的是，仍然没有实用的工具来自动验证UML图。本文提出了一种将UML活动图转换为带有铭文的彩色petri网的替代方法。提出了模型转换规则，用于指导原子动作的活动图自动转换为CPN模型。此外，相关的基本弧文是在没有人工雕琢的情况下生成的。结果的带有铭文的CPN按预期正确验证。

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

查看原文本刊更多论文

Translation UML activity diagram into colored Petri net with inscription

UML activity diagram is widely used to describe the behavior of the software system. Unfortunately, there is still no practical tool to verify the UML diagrams automatically. This paper proposes an alternative to translate UML activity diagram into a colored petri nets with inscription. The model translation rules are proposed to guide the automatic translation of the activity diagram with atomic action into a CPN model. Moreover, the relevant basic arc inscriptions are generated without manual elaboration. The resulting CPN with inscription is correctly verified as expected.

求助全文

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

来源期刊

2016 13th International Joint Conference on Computer Science and Software Engineering (JCSSE)

自引率

0.00%

发文量