设计工具支持将用例和UML 2.0序列图转换为彩色Petri网

Sixth International Workshop on Scenarios and State Machines (SCESM'07: ICSE Workshops 2007) Pub Date : 2007-05-20 DOI:10.1109/SCESM.2007.1

Joao M. Fernandes, S. Tjell, Jens Bæk Jørgensen, Óscar R. Ribeiro

{"title":"设计工具支持将用例和UML 2.0序列图转换为彩色Petri网","authors":"Joao M. Fernandes, S. Tjell, Jens Bæk Jørgensen, Óscar R. Ribeiro","doi":"10.1109/SCESM.2007.1","DOIUrl":null,"url":null,"abstract":"Using a case study on the specification of an elevator controller, this paper presents an approach that can translate given UML descriptions into a Coloured Petri Net (CPN) model. The UML descriptions must be specified in the form of Use Cases and UML 2.0 Sequence Diagrams. The CPN model constitutes one single, coherent and executable representation of all possible behaviours that are specified by the given UML artefacts. CPNs consitute a formal modelling language that enables construction and analysis of scalable, executable models of behaviour. A combined use of UML and CPN can be useful in several projects. CPN is well supported by CPN Tools and the work we present here is aimed at building a CPN Tools front-end engine that implements the proposed translation.","PeriodicalId":380882,"journal":{"name":"Sixth International Workshop on Scenarios and State Machines (SCESM'07: ICSE Workshops 2007)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"85","resultStr":"{\"title\":\"Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net\",\"authors\":\"Joao M. Fernandes, S. Tjell, Jens Bæk Jørgensen, Óscar R. Ribeiro\",\"doi\":\"10.1109/SCESM.2007.1\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Using a case study on the specification of an elevator controller, this paper presents an approach that can translate given UML descriptions into a Coloured Petri Net (CPN) model. The UML descriptions must be specified in the form of Use Cases and UML 2.0 Sequence Diagrams. The CPN model constitutes one single, coherent and executable representation of all possible behaviours that are specified by the given UML artefacts. CPNs consitute a formal modelling language that enables construction and analysis of scalable, executable models of behaviour. A combined use of UML and CPN can be useful in several projects. CPN is well supported by CPN Tools and the work we present here is aimed at building a CPN Tools front-end engine that implements the proposed translation.\",\"PeriodicalId\":380882,\"journal\":{\"name\":\"Sixth International Workshop on Scenarios and State Machines (SCESM'07: ICSE Workshops 2007)\",\"volume\":\"18 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-05-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"85\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Sixth International Workshop on Scenarios and State Machines (SCESM'07: ICSE Workshops 2007)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SCESM.2007.1\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Sixth International Workshop on Scenarios and State Machines (SCESM'07: ICSE Workshops 2007)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SCESM.2007.1","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 85

摘要

通过对电梯控制器规范的案例研究，本文提出了一种方法，可以将给定的UML描述转换为彩色Petri网(CPN)模型。UML描述必须以用例和UML 2.0序列图的形式指定。CPN模型构成了由给定UML工件指定的所有可能行为的单一的、一致的和可执行的表示。cpn构成了一种正式的建模语言，可以构建和分析可扩展的、可执行的行为模型。UML和CPN的组合使用在几个项目中都很有用。CPN工具很好地支持CPN，我们在这里介绍的工作旨在构建一个实现建议翻译的CPN工具前端引擎。

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

查看原文本刊更多论文

Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net

Using a case study on the specification of an elevator controller, this paper presents an approach that can translate given UML descriptions into a Coloured Petri Net (CPN) model. The UML descriptions must be specified in the form of Use Cases and UML 2.0 Sequence Diagrams. The CPN model constitutes one single, coherent and executable representation of all possible behaviours that are specified by the given UML artefacts. CPNs consitute a formal modelling language that enables construction and analysis of scalable, executable models of behaviour. A combined use of UML and CPN can be useful in several projects. CPN is well supported by CPN Tools and the work we present here is aimed at building a CPN Tools front-end engine that implements the proposed translation.

求助全文

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

来源期刊

Sixth International Workshop on Scenarios and State Machines (SCESM'07: ICSE Workshops 2007)

自引率

0.00%

发文量