用自由选择Petri网表示序列图的模型驱动方法

2008 12th International IEEE Enterprise Distributed Object Computing Conference Pub Date : 2008-09-15 DOI:10.1109/EDOC.2008.42

M. A. Ameedeen, B. Bordbar

{"title":"用自由选择Petri网表示序列图的模型驱动方法","authors":"M. A. Ameedeen, B. Bordbar","doi":"10.1109/EDOC.2008.42","DOIUrl":null,"url":null,"abstract":"Model driven development (MDD) aims to promote the role of modeling in software engineering. Enterprise systems and architectures are often modeled via multiple representations. For example UML models are widely used by the designers to capture various viewpoint of the system; while formal models using languages such as CSP, Z and Petri nets are suitable for the analysis. Model transformation techniques developed as a part of MDD can be applied to generate one model from another model automatically. This allows benefiting from the tools and techniques developed and used in multiple languages. This paper presents a method of applying MDD model transformation from UML 2.0 sequence diagrams to Petri nets. The paper shows that the model transformation results in free choice Petri nets. As a result, the low complexity of analysis and the synthesis techniques can be applied to the models of enterprise systems which are captured in UML sequence diagrams.","PeriodicalId":210496,"journal":{"name":"2008 12th International IEEE Enterprise Distributed Object Computing Conference","volume":"24 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"35","resultStr":"{\"title\":\"A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets\",\"authors\":\"M. A. Ameedeen, B. Bordbar\",\"doi\":\"10.1109/EDOC.2008.42\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Model driven development (MDD) aims to promote the role of modeling in software engineering. Enterprise systems and architectures are often modeled via multiple representations. For example UML models are widely used by the designers to capture various viewpoint of the system; while formal models using languages such as CSP, Z and Petri nets are suitable for the analysis. Model transformation techniques developed as a part of MDD can be applied to generate one model from another model automatically. This allows benefiting from the tools and techniques developed and used in multiple languages. This paper presents a method of applying MDD model transformation from UML 2.0 sequence diagrams to Petri nets. The paper shows that the model transformation results in free choice Petri nets. As a result, the low complexity of analysis and the synthesis techniques can be applied to the models of enterprise systems which are captured in UML sequence diagrams.\",\"PeriodicalId\":210496,\"journal\":{\"name\":\"2008 12th International IEEE Enterprise Distributed Object Computing Conference\",\"volume\":\"24 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-09-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"35\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 12th International IEEE Enterprise Distributed Object Computing Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/EDOC.2008.42\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 12th International IEEE Enterprise Distributed Object Computing Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EDOC.2008.42","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 35

摘要

模型驱动开发(MDD)旨在提升建模在软件工程中的作用。企业系统和体系结构通常通过多种表示进行建模。例如，设计人员广泛使用UML模型来捕捉系统的各种观点;而使用CSP、Z和Petri网等语言的正式模型则适合于分析。作为MDD的一部分开发的模型转换技术可以应用于从另一个模型自动生成一个模型。这样就可以从以多种语言开发和使用的工具和技术中获益。本文提出了一种应用UML 2.0序列图到Petri网的MDD模型转换的方法。本文证明了模型转换的结果是自由选择Petri网。因此，分析和综合技术的低复杂性可以应用于在UML序列图中捕获的企业系统模型。

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

查看原文本刊更多论文

A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets

Model driven development (MDD) aims to promote the role of modeling in software engineering. Enterprise systems and architectures are often modeled via multiple representations. For example UML models are widely used by the designers to capture various viewpoint of the system; while formal models using languages such as CSP, Z and Petri nets are suitable for the analysis. Model transformation techniques developed as a part of MDD can be applied to generate one model from another model automatically. This allows benefiting from the tools and techniques developed and used in multiple languages. This paper presents a method of applying MDD model transformation from UML 2.0 sequence diagrams to Petri nets. The paper shows that the model transformation results in free choice Petri nets. As a result, the low complexity of analysis and the synthesis techniques can be applied to the models of enterprise systems which are captured in UML sequence diagrams.

求助全文

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

来源期刊

2008 12th International IEEE Enterprise Distributed Object Computing Conference

自引率

0.00%

发文量