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] PRODUCTION BASED LANGUAGE SIMULATION OF PETRI NETS
    BAUMAN, R
    TURANO, TA
    [J]. SIMULATION, 1986, 47 (05) : 191 - 198
  • [42] A concurrent visual language based on Petri nets
    Usher, M
    Jackson, D
    [J]. 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
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2007, 17 (04): : 447 - 474
  • [44] A Graphical Query Language for Querying Petri Nets
    Xiao, Lan
    Zheng, Li
    Xiao, Jian
    Huang, Yi
    [J]. INFORMATION SYSTEMS: MODELING, DEVELOPMENT, AND INTEGRATION: THIRD INTERNATIONAL UNITED INFORMATION SYSTEMS CONFERENCE, UNISCON 2009, 2009, 20 : 514 - 525
  • [45] Analysis of extended Petri nets with signal language
    [J]. Shanghai Jiaotong Daxue Xuebao, 9 (57-62):
  • [46] A new function block modeling language based on petri nets for automatic code generation
    Hagge, Nils
    Wagner, Bernardo
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2005, 1 (04) : 226 - 237
  • [47] Identification of Petri Nets from Knowledge of Their Language
    Maria Paola Cabasino
    Alessandro Giua
    Carla Seatzu
    [J]. Discrete Event Dynamic Systems, 2007, 17 : 447 - 474
  • [48] Modeling with enhanced prioritized Petri nets: EP-nets
    Guan, SU
    Lim, SS
    [J]. COMPUTER COMMUNICATIONS, 2002, 25 (08) : 812 - 824
  • [49] Modeling of a manufacturing system using Petri nets
    Lefranc, G
    [J]. IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, 1998, : 137 - 142
  • [50] Modeling Clinical Guidelines through Petri Nets
    Beccuti, Marco
    Bottrighi, Alessio
    Franceschinis, Giuliana
    Montani, Stefania
    Terenziani, Paolo
    [J]. ARTIFICIAL INTELLIGENCE IN MEDICINE, PROCEEDINGS, 2009, 5651 : 61 - 70
12345