基于GROOVE的BPMN模型到Petri网模型的转换与验证

2016 International Conference on Advanced Aspects of Software Engineering (ICAASE) Pub Date : 2016-10-01 DOI:10.1109/ICAASE.2016.7843859

Said Meghzili, A. Chaoui, M. Strecker, E. Kerkouche

{"title":"基于GROOVE的BPMN模型到Petri网模型的转换与验证","authors":"Said Meghzili, A. Chaoui, M. Strecker, E. Kerkouche","doi":"10.1109/ICAASE.2016.7843859","DOIUrl":null,"url":null,"abstract":"BPMN is a language for business process modeling. It is simple and has the ability to represent the behavior of complex systems such as: synchronization, parallelism and choice. However, The semantics of the BPMN language is not formal.","PeriodicalId":407176,"journal":{"name":"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"10","resultStr":"{\"title\":\"Transformation and validation of BPMN models to Petri nets models using GROOVE\",\"authors\":\"Said Meghzili, A. Chaoui, M. Strecker, E. Kerkouche\",\"doi\":\"10.1109/ICAASE.2016.7843859\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"BPMN is a language for business process modeling. It is simple and has the ability to represent the behavior of complex systems such as: synchronization, parallelism and choice. However, The semantics of the BPMN language is not formal.\",\"PeriodicalId\":407176,\"journal\":{\"name\":\"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)\",\"volume\":\"31 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"10\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICAASE.2016.7843859\",\"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 International Conference on Advanced Aspects of Software Engineering (ICAASE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICAASE.2016.7843859","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 10

摘要

BPMN是用于业务流程建模的语言。它很简单，并且能够表示复杂系统的行为，例如:同步、并行和选择。然而，BPMN语言的语义不是形式化的。

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

查看原文本刊更多论文

Transformation and validation of BPMN models to Petri nets models using GROOVE

BPMN is a language for business process modeling. It is simple and has the ability to represent the behavior of complex systems such as: synchronization, parallelism and choice. However, The semantics of the BPMN language is not formal.

求助全文

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

来源期刊

2016 International Conference on Advanced Aspects of Software Engineering (ICAASE)

自引率

0.00%

发文量