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] Modeling and Analysis of an Online Score System Using Colored Petri Nets
    Xu, Yang
    Xie, Xiayao
    Xia, Daoxun
    Liu, Zhijie
    Chen, Lingmin
    PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ANTI-COUNTERFEITING, SECURITY, AND IDENTIFICATION IN COMMUNICATION, 2009, : 432 - 436
  • [22] Evaluation of Fault Tolerance in Cloud Computing using Colored Petri Nets
    Effatparvar, Mehdi
    Madani, Seyedeh Solmaz
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2016, 7 (07) : 340 - 346
  • [23] A deadlock prevention method for railway networks using monitors for colored Petri nets
    Fanti, NP
    Giua, A
    Seatzu, C
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1866 - 1873
  • [24] MODELLING OF BIOMETRIC IDENTIFICATION SYSTEM WITH GIVEN PARAMETERS USING COLORED PETRI NETS
    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
  • [25] Using colored Petri nets to model and analyze workflow with separation of duty constraints
    Yahui Lu
    Li Zhang
    Jiaguang Sun
    The International Journal of Advanced Manufacturing Technology, 2009, 40 : 179 - 192
  • [26] A modified method for analyzing authentication protocol security using Colored Petri Nets
    Shen, Jiajun
    Feng, Dongqin
    Chu, Jian
    Feng, D. (dqfeng@iipc.zju.edu.cn), 1600, Binary Information Press (10): : 4233 - 4243
  • [27] Supervisor Design and Simplification for Automated Manufacturing Systems Using Colored Petri Nets
    Hu, HeSuan
    Yang, Yan
    Liu, Yang
    Chen, Chen
    2015 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2015, : 3826 - 3832
  • [28] Composability Verification of Real Time System Models using Colored Petri Nets
    Mahmood, Imran
    Ayani, Rassul
    Vlassov, Vladimir
    Moradi, Farshad
    UKSIM-AMSS 15TH INTERNATIONAL CONFERENCE ON COMPUTER MODELLING AND SIMULATION (UKSIM 2013), 2013, : 407 - 412
  • [29] Analysis of the Properties of the Bluetooth Baseband Connection Establishment Using Colored Petri Nets
    Elena Villapol, Maria
    COMPUTACION Y SISTEMAS, 2012, 16 (04): : 433 - 446
  • [30] Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets
    Brant-Ribeiro, Taffarel
    Araujo, Rafael D.
    Mendonca, Igor E.
    Soares, Michel S.
    Cattelan, Renan G.
    SOFTWARE AND SYSTEMS MODELING, 2019, 18 (01) : 721 - 737
12345