Transforming Business Patterns to Colored Petri Nets using Graph Grammars

被引：0

作者：

Mahdi, Karima ^{[1
]}

Elmansouri, Raida ^{[2
]}

Chaoui, Allaoua ^{[2
]}

机构：

[1] Ecole Normale Super ENS, Constantine, Algeria

[2] Univ Mentouri, Dept Comp Sci, MISC Lab, Constantine, Algeria

来源：

2012 22ND INTERNATIONAL CONFERENCE ON COMPUTER THEORY AND APPLICATIONS (ICCTA) | 2012年

关键词：

Business Patterns; Colored Petri Nets; Meta-Models; Graph Transformation; WORKFLOW MANAGEMENT;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this paper we propose a graph transformation based approach and a tool for transforming business patterns to Colored Petri nets for which efficient analysis techniques exist. First, we specify business patterns and Colored Petri nets Meta-Models in UML Class Diagram formalism with the Meta-Modelling tool Atom3, then we generate visual modelling tools according to the proposed Meta-Models. Finally, we define a graph grammar which transforms Business Patterns models to Colored Petri Nets model for analysis purposes. The approach is illustrated with examples.

引用

页码：72 / 78

页数：7

共 50 条

[21] Evaluation of Fault Tolerance in Cloud Computing using Colored Petri Nets [J].

Effatparvar, Mehdi ;

Madani, Seyedeh Solmaz .

INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2016, 7 (07) :340-346

[22] Modeling workflow processes with colored Petri nets [J].

Liu, DS ;

Wang, JM ;

Chan, SCF ;

Sun, JG ;

Zhang, L .

COMPUTERS IN INDUSTRY, 2002, 49 (03) :267-281

[23] Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets [J].

Abel Gómez ;

Ricardo J. Rodríguez ;

María-Emilia Cambronero ;

Valentín Valero .

Software & Systems Modeling, 2019, 18 :2973-3003

[24] Using colored Petri nets to model and analyze workflow with separation of duty constraints [J].

Lu, Yahui ;

Zhang, Li ;

Sun, Jiaguang .

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2009, 40 (1-2) :179-192

[25] Composability Verification of Real Time System Models using Colored Petri Nets [J].

Mahmood, Imran ;

Ayani, Rassul ;

Vlassov, Vladimir ;

Moradi, Farshad .

UKSIM-AMSS 15TH INTERNATIONAL CONFERENCE ON COMPUTER MODELLING AND SIMULATION (UKSIM 2013), 2013, :407-412

[26] Using colored Petri nets to model and analyze workflow with separation of duty constraints [J].

Yahui Lu ;

Li Zhang ;

Jiaguang Sun .

The International Journal of Advanced Manufacturing Technology, 2009, 40 :179-192

[27] Supervisor Design and Simplification for Automated Manufacturing Systems Using Colored Petri Nets [J].

Hu, HeSuan ;

Yang, Yan ;

Liu, Yang ;

Chen, Chen .

2015 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2015, :3826-3832

[28] A modified method for analyzing authentication protocol security using Colored Petri Nets [J].

Shen, Jiajun ;

Feng, Dongqin ;

Chu, Jian .

Feng, D. (dqfeng@iipc.zju.edu.cn), 1600, Binary Information Press (10) :4233-4243

[29] Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets [J].

Taffarel Brant-Ribeiro ;

Rafael D. Araújo ;

Igor E. Mendonça ;

Michel S. Soares ;

Renan G. Cattelan .

Software & Systems Modeling, 2019, 18 :721-737

[30] Analysis of the Properties of the Bluetooth Baseband Connection Establishment Using Colored Petri Nets [J].

Elena Villapol, Maria .

COMPUTACION Y SISTEMAS, 2012, 16 (04) :433-446

← 1 2 3 4 5 →