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 条

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

Brant-Ribeiro, Taffarel ;

Araujo, Rafael D. ;

Mendonca, Igor E. ;

Soares, Michel S. ;

Cattelan, Renan G. .

SOFTWARE AND SYSTEMS MODELING, 2019, 18 (01) :721-737

[32] Modeling system integrity of a security critical system using Colored Petri Nets [J].

Houmb, SH ;

Salhammar, K .

Safety and Security Engineering, 2005, 82 :3-12

[33] Modelling of Mamdani Fuzzy Inference Engine Using Hierarchical Colored Petri Nets [J].

Arekhloo, Esmaeil Valipour ;

Pashazadeh, Saeid ;

Razavi, Seyed Naser .

2013 13TH IRANIAN CONFERENCE ON FUZZY SYSTEMS (IFSC), 2013,

[34] A Private Data Transfer Protocol Verification and Analysis Using Colored Petri Nets [J].

Shao, Fengjing ;

Bin, Sheng ;

Sun, Gengxin ;

Sun, Rencheng .

ECONOMICS AND FINANCE RESEARCH, 2011, 4 :188-+

[35] A deadlock prevention method for railway networks using monitors for colored Petri nets [J].

Fanti, NP ;

Giua, A ;

Seatzu, C .

2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, :1866-1873

[36] MODELLING OF BIOMETRIC IDENTIFICATION SYSTEM WITH GIVEN PARAMETERS USING COLORED PETRI NETS [J].

Petrosyan, G. ;

Ter-Vardanyan, L. ;

Gaboutchian, A. .

INTERNATIONAL WORKSHOP PHOTOGRAMMETRIC AND COMPUTER VISION TECHNIQUES FOR VIDEO SURVEILLANCE, BIOMETRICS AND BIOMEDICINE, 2017, 42-2 (W4) :145-150

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

Gomez, Abel ;

Rodriguez, Ricardo J. ;

Cambronero, Maria-Emilia ;

Valero, Valentin .

SOFTWARE AND SYSTEMS MODELING, 2019, 18 (05) :2973-3003

[38] A method of workflow scheduling based on colored Petri nets [J].

Xiao, Zhijiao ;

Ming, Zhong .

DATA & KNOWLEDGE ENGINEERING, 2011, 70 (02) :230-247

[39] Complex selecting criteria modeling with colored petri nets [J].

Arjona, E ;

Bueno, G .

1st International Industrial Simulation Conference 2003, 2003, :125-130

[40] TransCPN - Software Tool for Transformation of Colored Petri Nets [J].

Mikolajczak, Boleslaw ;

Singh, Abhishek .

PROCEEDINGS OF THE 2009 SIXTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, VOLS 1-3, 2009, :211-216

← 1 2 3 4 5 →