TRANSFORMING UML STATE DIAGRAM TO HIGH LEVEL PETRI NET

被引：0
|
作者：
Alhroob, Aysh [1 ]
Yousif, Nidal [1 ]
Maaita, Adi [1 ]
机构：
[1] Univ Isra, Sch Informat Technol, Amman, Jordan
来源：
4TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGY AND ENGINEERING (ICSTE 2012) | 2012年
关键词：
UML; HLPN; Software Development Model; Model transformation; GA;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper presents a new methodology to transform UML State diagram to High Level Petri Net (HLPN). Genetic Algorithms (GAs) has been used to generate software specifications set which covers maximum states and transitions in state diagram. Then, these states are used to improve the logical ordering of HLPN. Not all states will be used to represent the HLPN, but those that are selected by GA which reduce the number of HLPN details and avoiding the redundant of states.
引用
收藏
页码：465 / 470
页数：6
相关论文
共 50 条
  • [41] Generating Petri net state spaces
    Wolf, Karsten
    PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2007, 2007, 4546 : 29 - 42
  • [42] UML/PNO: A way to merge UML and Petri Net Objects for the analysis of Real-Time Systems
    Delatour, J
    Paludetto, M
    OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 511 - 514
  • [43] Petri Net versus Ladder Diagram for Controlling a Process Automation
    Navrapescu, Valentin
    Deaconu, Ioan-Dragos
    Chirila, Aurel-Ionut
    Deaconu, Anca-Simona
    2013 8TH INTERNATIONAL SYMPOSIUM ON ADVANCED TOPICS IN ELECTRICAL ENGINEERING (ATEE), 2013,
  • [44] Scheduling of FMS based on Binary Decision Diagram and Petri Net
    Huang, Bo
    Cai, ZhiCheng
    Zhou, MengChu
    Hao, JianGen
    2018 IEEE 15TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC), 2018,
  • [45] Transforming UML Models to Colored Petri Nets Models using Graph Grammars
    Kerkouche, Elhillali
    Chaoui, Allaoua
    Khalfaoui, Khaled
    ISCC: 2009 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1 AND 2, 2009, : 230 - 236
  • [46] Pathway Specification and Comparative Queries: A High Level Language with Petri Net Semantics
    Anwar, Saadat
    Baral, Chitta
    PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2014, : 981 - 988
  • [47] A high-level Petri net for accurate modeling of reactive and concurrent systems
    Uchihira, N
    Honiden, S
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1996, E79A (11) : 1797 - 1808
  • [48] A generalized stochastic high-level Petri net model for performance analysis
    Koriem, SM
    Patnaik, LM
    JOURNAL OF SYSTEMS AND SOFTWARE, 1997, 36 (03) : 247 - 265
  • [49] A PROTOCOL SPECIFICATION LANGUAGE WITH A HIGH-LEVEL PETRI-NET SEMANTICS
    ZOUARI, B
    HADDAD, S
    TAGHELIT, M
    DECENTRALIZED AND DISTRIBUTED SYSTEMS, 1993, 39 : 225 - 241
  • [50] Knowledge verification with an enhanced high-level Petri-net model
    Wu, CH
    Lee, SJ
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1997, 12 (05): : 73 - 80
12345