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 条
  • [31] A High-Level Petri Net Framework for Genetic Regulatory Networks
    Banks, Richard
    Steggles, L. Jason
    JOURNAL OF INTEGRATIVE BIOINFORMATICS, 2007, 4 (03):
  • [32] Study on enterprise dynamic model based on High Level Petri Net
    E, MC
    Li, JY
    Cha, JZ
    Fang, YF
    '99 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE & ENGINEERING, PROCEEDINGS, VOLS 1 AND 2, 1999, : 299 - 304
  • [33] Relay protection modeling based on high-level Petri net
    School of Electrical Engineering, Wuhan University, Wuhan 430072, China
    Dianli Zidonghua Shebei Electr. Power Autom. Equip., 2008, 2 (23-28):
  • [34] The Modeling and Simulation of Negotiation Process for High-tech Virtual Enterprise Based on UML and Petri Net
    Gao, Changyuan
    Zhang, Shuchen
    Zhang, Xiaoxing
    2010 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY AND SECURITY INFORMATICS (IITSI 2010), 2010, : 455 - 459
  • [35] The Use of UML and Petri Net for Graphic Specification of the Reconfigurable Logic Controllers
    Bazydlo, Grzegorz
    Wojnakowski, Marcin
    Wisniewski, Remigiusz
    INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2018 (ICCMSE-2018), 2018, 2040
  • [36] Consistency checking of UML dynamic models based on Petri Net techniques
    Yao, Shuzhen
    Shatz, Sol M.
    CIC 2006: 15TH INTERNATIONAL CONFERENCE ON COMPUTING, PROCEEDINGS, 2006, : 289 - +
  • [37] Modeling Method of Operation Process in WorkFlow Based on Petri Net and UML
    Guo Jiayang
    Yin Xu
    ICCSSE 2009: PROCEEDINGS OF 2009 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, 2009, : 1917 - 1922
  • [38] Integration of UML and Petri Net for the Process Modeling and Analysis in Workflow Applications
    Han, Kwan-Hee
    Yoo, Seock-Kyu
    Kim, Bohyun
    PROCEEDINGS OF THE 13TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS, 2009, : 255 - +
  • [39] Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints
    Andrade, Ermeson
    Maciel, Paulo
    Callou, Gustavo
    Nogueira, Bruno
    2008 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING CONTROL & AUTOMATION, VOLS 1 AND 2, 2008, : 615 - 620
  • [40] HiLA: High-Level Aspects for UML State Machines
    Zhang, Gefei
    Hoelzl, Matthias
    MODELS IN SOFTWARE ENGINEERING, 2010, 6002 : 104 - 118
12345