Petri nets model of unified modeling language statecharts

被引：0
|
作者：
Guo, Feng [1 ]
机构：
[1] School of Computer Science, Beihang University, Beijing 100083, China
来源：
Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS | 2007年 / 13卷 / 07期
关键词：
Data processing - Semantics - Unified Modeling Language - XML;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Aiming at shortcomings existing in Unified Modeling Language (UML) statecharts studies, a formal syntactics of UML statecharts was firstly described. Then, an extended Petri net model, StateChart Net (SC_Net), which could precisely describe the semantic of UML statecharts was defined, The statechart could precisely describe translation among layers, translation conflict and translation concurrence. Data processing of statechart translation and communication mechanism between statecharts could also be described. And the translation process from UML statechart diagrams to SC_Net was defined. Finally, verification of correctness and consistency of UML behaviour models was discussed.
引用
收藏
页码：1300 / 1307
相关论文
共 50 条
  • [1] The Petri-Nets to Statecharts Transformation Case
    Van Gorp, Pieter
    Rose, Louis M.
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (135): : 16 - 31
  • [2] Unified modeling and analysis based on Petri nets and Pi calculus
    Xu, Fei
    Zhang, Li
    [J]. TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 75 - +
  • [3] Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT
    Horn, Tassilo
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (135): : 88 - 94
  • [4] A formal semantics of UML StateCharts by means of timed Petri Nets
    Hammal, Y
    [J]. FORMAL TECHNIQUES FOR NEWTOWRKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 3731 : 38 - 52
  • [5] Generating Interface Prototype for EnergyPlus IDD file using Unified Modeling Language and Coloured Petri-nets
    Abdeldjebbar, Bachkhaznadji
    Azeddine, Belhamri
    [J]. TERRAGREEN 2012: CLEAN ENERGY SOLUTIONS FOR SUSTAINABLE ENVIRONMENT (CESSE), 2012, 18 : 1458 - 1484
  • [6] Diagnostic modeling of discrete devices in the language of hierarchical Petri nets
    Fatkhi, VA
    Dolgopolyi, AV
    [J]. AUTOMATIC CONTROL AND COMPUTER SCIENCES, 1998, 32 (05) : 26 - 35
  • [7] Modeling by Petri Nets
    Kubatova, H.
    [J]. ACTA POLYTECHNICA, 2005, 45 (02) : 5 - 13
  • [8] Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
    Eshuis, Rik
    [J]. FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 239 - 255
  • [9] LANGUAGE THEORY OF PETRI NETS
    JANTZEN, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 254 : 397 - 412
  • [10] A Petri-Nets Based Unified Modeling Approach for Zachman Framework Cells
    Ostadzadeh, S. Shervin
    Nekoui, Mohammad Ali
    [J]. INNOVATIONS IN COMPUTING SCIENCES AND SOFTWARE ENGINEERING, 2010, : 615 - 618
12345