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 条
  • [21] Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems
    Jensen, Kurt
    Kristensen, Lars M.
    COMMUNICATIONS OF THE ACM, 2015, 58 (06) : 61 - 70
  • [22] Computer aided multi-paradigm modelling to process Petri-Nets and statecharts
    de Lara, J
    Vangheluwe, H
    GRAPH TRANSFORMATIONS, PROCEEDINGS, 2002, 2505 : 239 - 253
  • [23] FROM PETRI NETS TO COLORED PETRI NETS: A TUTORIAL INTRODUCTION TO NETS BASED FORMALISM FOR MODELING AND SIMULATION
    Gehlot, Vijay
    2019 WINTER SIMULATION CONFERENCE (WSC), 2019, : 1519 - 1533
  • [24] Modeling and Control of Discrete Event and Hybrid Systems Using Petri Nets and OPC Unified Architecture
    Kucera, Erik
    Haffner, Oto
    Drahos, Peter
    Kozakova, Alena
    IEEE ACCESS, 2022, 10 : 120735 - 120751
  • [25] MODELING ARCHITECTURAL FEATURES WITH PETRI NETS
    BAER, JL
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 255 : 258 - 277
  • [26] Modeling of economic systems with Petri nets
    Skorodumov, P. V.
    ECONOMIC AND SOCIAL CHANGES-FACTS TRENDS FORECAST, 2014, 34 (04) : 253 - 259
  • [27] ROSENKRANTZ ALGORITHMS MODELING WITH PETRI NETS
    KERHERVE, B
    MERMET, D
    PASQUER, F
    VERLAINE, L
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 31 - 50
  • [28] Modeling Cyberattacks with Extended Petri Nets
    Petty, Mikel D.
    Whitaker, Tymaine S.
    Bearss, E. Michael
    Bland, John A.
    Cantrell, Walter Alan
    Colvett, C. Daniel
    Maxwell, Katia P.
    ACMSE 2022: PROCEEDINGS OF THE 2022 ACM SOUTHEAST CONFERENCE, 2022, : 67 - 73
  • [29] Modeling of Hybrid Systems with Petri Nets
    Drighiciu, Mircea Adrian
    Cismaru, Daniel Cristian
    2019 INTERNATIONAL CONFERENCE ON ELECTROMECHANICAL AND ENERGY SYSTEMS (SIELMEN), 2019,
  • [30] Petri nets and AI in modeling and simulation
    Javor, A
    MATHEMATICS AND COMPUTERS IN SIMULATION, 1995, 39 (5-6) : 477 - 484
12345