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 条
  • [41] Modeling UML sequence diagrams using extended Petri nets
    Yang, Nianhua
    Yu, Huiqun
    Sun, Hua
    Qian, Zhilin
    TELECOMMUNICATION SYSTEMS, 2012, 51 (2-3) : 147 - 158
  • [42] Algebraically structured colored petri nets to model sequential processes
    Bourcerie, M
    Morel, JY
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1997, 27 (04): : 681 - 686
  • [43] Design of distributed manufacturing systems using UML and Petri nets
    Bordbar, B
    Giacomini, L
    Holding, DJ
    ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 2000, 2000, : 105 - 110
  • [44] REENTERABLE MODEL OF RIP PROTOCOL IN COLORED PETRI NETS FORM
    Shmeleva, T. R.
    RADIO ELECTRONICS COMPUTER SCIENCE CONTROL, 2016, (04) : 97 - 103
  • [45] Modeling UML sequence diagrams using extended Petri nets
    Nianhua Yang
    Huiqun Yu
    Hua Sun
    Zhilin Qian
    Telecommunication Systems, 2012, 51 : 147 - 158
  • [46] An Integrated Model to Analyze Cryptographic Protocols with Colored Petri Nets
    Wei, Jin
    Su, Guiping
    Xu, Meng
    11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2008, : 457 - 460
  • [47] Colored Petri Nets Model based Conformance Test Generation
    Liu, Jing
    Ye, Xinming
    Li, Jun
    2011 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2011,
  • [48] QUALITATIVE MODEL-BASED VERIFICATION OF OPERATING PROCEDURES USING COLORED PETRI NETS
    GERZSON, M
    HANGOS, KM
    MAGYAR KEMIAI FOLYOIRAT, 1995, 101 (03): : 97 - 114
  • [49] A General Model Checking Method of Electronic Transaction Protocols Using Colored Petri Nets
    Xu, Meng
    Su, Guiping
    Wei, Jin
    HIS 2009: 2009 NINTH INTERNATIONAL CONFERENCE ON HYBRID INTELLIGENT SYSTEMS, VOL 2, PROCEEDINGS, 2009, : 298 - 303
  • [50] Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets
    Wimmer, Manuel
    Kusel, Angelika
    Schoenboeck, Johannes
    Kappel, Gerti
    Retschitzegger, Werner
    Schwinger, Wieland
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5795 : 727 - +
12345