特定描述语言图转换成彩色Petri网的规则

2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA) Pub Date : 2018-05-01 DOI:10.1109/WAINA.2018.00058

Hana Mejdi, O. Kallel, S. Hasnaoui

{"title":"特定描述语言图转换成彩色Petri网的规则","authors":"Hana Mejdi, O. Kallel, S. Hasnaoui","doi":"10.1109/WAINA.2018.00058","DOIUrl":null,"url":null,"abstract":"The specification and description language is widely used at the design stage to describe the behavior of reactive and distributed systems. The language is intended for the specification of complex, eventdriven, real time and interactive applications. This paper represents a method for validation of a specification and description language diagrams. The method consists of translating the diagram into coloured Petri nets. It is composed of three main stages: explaining the rules, applying them and finally verifying and discussing the results.","PeriodicalId":296466,"journal":{"name":"2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Rules to Transform Specific Description Language Diagram Into Coloured Petri Nets\",\"authors\":\"Hana Mejdi, O. Kallel, S. Hasnaoui\",\"doi\":\"10.1109/WAINA.2018.00058\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The specification and description language is widely used at the design stage to describe the behavior of reactive and distributed systems. The language is intended for the specification of complex, eventdriven, real time and interactive applications. This paper represents a method for validation of a specification and description language diagrams. The method consists of translating the diagram into coloured Petri nets. It is composed of three main stages: explaining the rules, applying them and finally verifying and discussing the results.\",\"PeriodicalId\":296466,\"journal\":{\"name\":\"2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA)\",\"volume\":\"33 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WAINA.2018.00058\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WAINA.2018.00058","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

规范和描述语言在设计阶段被广泛用于描述响应式和分布式系统的行为。该语言旨在规范复杂的、事件驱动的、实时的和交互式的应用程序。本文提出了一种验证规范和描述语言图的方法。该方法包括将图转换成彩色Petri网。它由三个主要阶段组成:解释规则，应用规则，最后验证和讨论结果。

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

查看原文本刊更多论文

Rules to Transform Specific Description Language Diagram Into Coloured Petri Nets

The specification and description language is widely used at the design stage to describe the behavior of reactive and distributed systems. The language is intended for the specification of complex, eventdriven, real time and interactive applications. This paper represents a method for validation of a specification and description language diagrams. The method consists of translating the diagram into coloured Petri nets. It is composed of three main stages: explaining the rules, applying them and finally verifying and discussing the results.

求助全文

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

来源期刊

2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA)

自引率

0.00%

发文量