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 条
  • [41] On the ω-language expressive power of extended Petri nets
    Finkel, A.
    Geeraerts, G.
    Raskin, J. -F.
    Van Begin, L.
    THEORETICAL COMPUTER SCIENCE, 2006, 356 (03) : 374 - 386
  • [42] A concurrent visual language based on Petri nets
    Usher, M
    Jackson, D
    1998 IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1998, : 72 - 73
  • [43] Identification of petri nets from knowledge of their language
    Cabasino, Maria Paola
    Giua, Alessandro
    Seatzu, Carla
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2007, 17 (04): : 447 - 474
  • [44] A new function block modeling language based on petri nets for automatic code generation
    Hagge, Nils
    Wagner, Bernardo
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2005, 1 (04) : 226 - 237
  • [45] A Graphical Query Language for Querying Petri Nets
    Xiao, Lan
    Zheng, Li
    Xiao, Jian
    Huang, Yi
    INFORMATION SYSTEMS: MODELING, DEVELOPMENT, AND INTEGRATION: THIRD INTERNATIONAL UNITED INFORMATION SYSTEMS CONFERENCE, UNISCON 2009, 2009, 20 : 514 - 525
  • [46] Analysis of extended Petri nets with signal language
    Shanghai Jiaotong Daxue Xuebao, 9 (57-62):
  • [47] Identification of Petri Nets from Knowledge of Their Language
    Maria Paola Cabasino
    Alessandro Giua
    Carla Seatzu
    Discrete Event Dynamic Systems, 2007, 17 : 447 - 474
  • [48] Modeling with enhanced prioritized Petri nets: EP-nets
    Guan, SU
    Lim, SS
    COMPUTER COMMUNICATIONS, 2002, 25 (08) : 812 - 824
  • [49] Modeling Clinical Guidelines through Petri Nets
    Beccuti, Marco
    Bottrighi, Alessio
    Franceschinis, Giuliana
    Montani, Stefania
    Terenziani, Paolo
    ARTIFICIAL INTELLIGENCE IN MEDICINE, PROCEEDINGS, 2009, 5651 : 61 - 70
  • [50] INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELING
    WOODSIDE, M
    COMPUTING SYSTEMS, 1988, 3 (04): : 217 - 217
12345