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 条
  • [31] MODELING AND SIMULATION BY HYBRID PETRI NETS
    Alla, Hassane
    Ghomri, Latefa
    2012 WINTER SIMULATION CONFERENCE (WSC), 2012,
  • [32] Modular modeling using Petri nets
    Wang, LM
    Xie, XL
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1996, 12 (05): : 800 - 809
  • [33] Petri nets for modeling the behavior of speculators
    Shakirova, NF
    Stolyarov, LN
    Stolyarova, EM
    PROCEEDING OF THE 2002 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1-3, 2002, : 1865 - 1870
  • [34] Modeling Petri Nets Using Alloy
    Robles, Jonathan A.
    Solano, Geoffrey A.
    TENCON 2012 - 2012 IEEE REGION 10 CONFERENCE: SUSTAINABLE DEVELOPMENT THROUGH HUMANITARIAN TECHNOLOGY, 2012,
  • [35] Modeling Hybrid Systems with Petri Nets
    Bera, Debjyoti
    van Hee, Kees
    Nijmeijer, Henk
    SIMULATION AND MODELING METHODOLOGIES, TECHNOLOGIES AND APPLICATIONS, SIMULTECH 2014, 2015, 402 : 17 - 42
  • [36] Reactive Petri nets for workflow modeling
    Eshuis, R
    Dehnert, J
    APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 296 - 315
  • [37] On Hybrid Systems Modeling with Petri Nets
    Mircea, Drighiciu
    Gheorghe, Manolea
    Anca, Petrisor
    Marius, Popescu
    PROCEEDINGS OF THE 7TH WSEAS INTERNATIONAL CONFERENCE ON SYSTEM SCIENCE AND SIMULATION IN ENGINEERING (ICOSSSE '08): RECENT ADVANCES IN SYSTEMS SCIENCE AND SIMULATION IN ENGINEERING, 2008, : 73 - +
  • [38] Modeling and analyzing failure model for cloud application based on Petri nets
    Zhang, Xiaoyun
    Wu, Chanle
    INFORMATION SCIENCE AND MANAGEMENT ENGINEERING, VOLS 1-3, 2014, 46 : 837 - 845
  • [39] Modeling Complex Petri Nets Operations in the Model-Driven Architecture
    Barbosa, Paulo E. S.
    Costa, Aniko
    de Figueiredo, Jorge C. A.
    Ramalho, Franklin
    Gomes, Luis
    dos S., Antonio D., Jr.
    IECON: 2009 35TH ANNUAL CONFERENCE OF IEEE INDUSTRIAL ELECTRONICS, VOLS 1-6, 2009, : 4146 - +
  • [40] PRODUCTION BASED LANGUAGE SIMULATION OF PETRI NETS
    BAUMAN, R
    TURANO, TA
    SIMULATION, 1986, 47 (05) : 191 - 198
12345