{"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}
引用次数: 0
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
