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 条
  • [1] Using colored Petri nets to simulate object Petri nets
    Corchado, FFR
    Gallegos, FZ
    Jiménez, AA
    Dávila, HIP
    International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
  • [2] A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation
    Kerkouche, Elhillali
    Chaoui, Allaoua
    Bourennane, El Bay
    Labbani, Ouassila
    JOURNAL OF OBJECT TECHNOLOGY, 2010, 9 (04): : 25 - 43
  • [3] HIERARCHIES IN COLORED PETRI NETS
    HUBER, P
    JENSEN, K
    SHAPIRO, RM
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 483 : 313 - 341
  • [4] AUTOMATING THE CONVERSION OF COLORED PETRI NETS WITH QUALITATIVE TOKENS INTO COLORED PETRI NETS WITH QUANTITATIVE TOKENS
    Hlomozda, D. K.
    Glybovets, M. M.
    Maksymets, O. M.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2018, 54 (04) : 650 - 661
  • [5] Using Colored Petri Nets for GPGPU Performance Modeling
    Madougou, Souley
    Varbanescu, Ana Lucia
    de Laat, Cees
    PROCEEDINGS OF THE ACM INTERNATIONAL CONFERENCE ON COMPUTING FRONTIERS (CF'16), 2016, : 240 - 249
  • [6] Composing collaborative component systems using Colored Petri Nets
    Shinkawa, Y
    Matsumoto, MJ
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2001, E84A (05) : 1209 - 1217
  • [7] Pattern Based Model Reuse Using Colored Petri Nets
    Askari, Syed Hassan
    Khan, Shahrukh Ali
    Haris, Muhammad
    Shoaib, Muhammad
    2019 19TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS (ICCSA 2019), 2019, : 32 - 38
  • [8] Analysis of two authorization protocols using Colored Petri Nets
    Younes Seifi
    Suriadi Suriadi
    Ernest Foo
    Colin Boyd
    International Journal of Information Security, 2015, 14 : 221 - 247
  • [9] Analysis of Concurrent Security Protocols Using Colored Petri Nets
    Long, Shigong
    2009 INTERNATIONAL CONFERENCE ON NETWORKING AND DIGITAL SOCIETY, VOL 1, PROCEEDINGS, 2009, : 227 - 230
  • [10] Analysis of two authorization protocols using Colored Petri Nets
    Seifi, Younes
    Suriadi, Suriadi
    Foo, Ernest
    Boyd, Colin
    INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2015, 14 (03) : 221 - 247
12345