Building Dynamic Model in UML using Colored Petri Nets

被引：0
|
作者：
Zhanhg Hong-xia [1 ]
Zhu Lian-zhang [1 ]
机构：
[1] China Univ Petr, Coll Comp & Commun Engn, Dongying, Peoples R China
来源：
2009 INTERNATIONAL SYMPOSIUM ON COMPUTER NETWORK AND MULTIMEDIA TECHNOLOGY (CNMT 2009), VOLUMES 1 AND 2 | 2009年
关键词：
Colored Petri net; UML; sequence diagram; dynamic model;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
UML Sequence Diagram (SD) is used to modeling the dynamic behaviors of system, but it lacks simulation and verifiability capabilities because of its semi-formal nature. This paper proposes a UML-CPN transformation method to building dynamic model in UML using CPN. This work aims to develop efficient transformation methods, and then uses CPN models to simulate, verify and evaluate the systems. This work is part of an on-going effort to auto-execute the behavioral analysis of concurrent and real-time object-oriented software designs.
引用
收藏
页码：805 / 808
页数：4
相关论文
共 50 条
  • [1] Formalization of UML Composite Structure using Colored Petri Nets
    Iqbal, Rao Sohail
    Talib, Ramzan
    Rehman, Haseeb Ur
    Awais, Muhammad
    Raza, Wajid
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2018, 9 (10) : 97 - 109
  • [2] Transforming UML Models to Colored Petri Nets Models using Graph Grammars
    Kerkouche, Elhillali
    Chaoui, Allaoua
    Khalfaoui, Khaled
    ISCC: 2009 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1 AND 2, 2009, : 230 - 236
  • [3] 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
  • [4] 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
  • [5] 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
  • [6] On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation using Isabelle/HOL
    Meghzili, Said
    Chaoui, Allaoua
    Strecker, Martin
    Kerkouche, Elhillali
    2017 IEEE 18TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IEEE IRI 2017), 2017, : 419 - 426
  • [7] Object Petri nets marking using UML
    Bouabana-Tebibel, Thouraya
    Meziani, Lila
    INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2013, 47 (2-3) : 162 - 171
  • [8] COLORED PETRI NETS
    JENSEN, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 254 : 248 - 299
  • [9] UML Diagrams to Hierarchical Colored Petri Nets: An Automatic Software Performance Tool
    Zhu, Lianzhang
    Wang, Wenwen
    2012 INTERNATIONAL WORKSHOP ON INFORMATION AND ELECTRONICS ENGINEERING, 2012, 29 : 2687 - 2692
  • [10] Using colored petri nets for conversation modeling
    Cost, RS
    Chen, Y
    Finin, T
    Labrou, Y
    Peng, Y
    ISSUES IN AGENT COMMUNICATION, 2000, 1916 : 178 - 192
12345