UML活动图到时间Petri网的映射方法

Abstract

Abstract:

UML is widely used in modeling of embedded real time systems.However,embedded real time systems have fast response time,and UML is short of description and formal semantics of time constraint of the system.Therefore,this paper proposes a model of activity graph which combines MARTE and UML and are able to describe time constraints.Some mapping rules are established in this paper to map activity graphs to Time Petri-Nets.An example verifies the soundness and practicality of the mapping rules.

Key words: UML activity diagram;MARTE;time Petri-Nets

CLC Number:

TP316.2

Cite this article

GU Wei, HUANG Zhi-Qiu, LI Jian. Research on Mapping UML Activity Diagram to Time Petri-Net[J]., 2012, 25(2): 105-.

share this article

0
/ / Recommend

Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks

URL: https://journal.xidian.edu.cn/dzkj/EN/

https://journal.xidian.edu.cn/dzkj/EN/Y2012/V25/I2/105

References

［1］张宏海,李成忠,陈祝亚.嵌入式实时系统［J］.安徽工业大学学报,2003,20(1):29-31.

［2］OMG.Unified modeling language:Superstructure v2.0［EB/OL］.(2005-07-04)［2011-06-12］http://www.omg.org/docs/formal.

［3］OMG.UML Profile for MARTE［EB/OL］.(2008-06-08)［2011-07-02］http://www.omg.org/cgi-bin/doc?ptc/2008-06-08.

［4］周航,黄志球,胡军,等.基于 Time Petri Nets的实时系统资源冲突检测［J］.计算机研究与发展,2009(9):1578-1585.

［5］DAVID R,ALLA H.Discrete,continuous,and hybrid petri nets［M］.German:Springer,Heidelberg Allemagne,2005.

［6］MANSOURI R,KERKOUCHE E,CHAOUI A.A graphical environment for petri nets INA tool based on meta-modelling and graph［C］.World Academy of Science,Engineering and Technology,2008.

Related Articles 15

[1]	GE Wuchao, ZHOU Yimin. Compiler Optimizations Based on ARM9 Architecture [J]. , 2016, 29(9): 106-.
[2]	CHEN Guanyu, LIU Yuhong, LI Lele . An Intelligent Blind-guiding Cane on Fuzzy Logic and Data Fusion [J]. , 2016, 29(9): 114-.
[3]	LU Xinghua，XIE Zhenhan，FAN Tailin. VXI Bus Data Acquisition Technology of Embedded Multi Mode Control System [J]. , 2016, 29(6): 182-.
[4]	MEI Tao,HUANG Baolei,XU Xiaoguang. Design and Realization of Network Driver Model in Embedded System [J]. , 2016, 29(4): 111-.
[5]	CAO Huajie,L Chuanlong,LIU Haodong. A Vertical Working Embedded System Based on Linear CCD [J]. , 2016, 29(2): 58-.
[6]	WANG Xin,KONG Yong. Realization of Touch Screen's Driver with Linux Input Subsystem [J]. , 2015, 28(12): 62-.
[7]	WANG Rui. A Lightweight Task Management Mechanism Based on Osek/Vdx [J]. , 2015, 28(4): 86-.
[8]	ZHAO Mengru,SU Ruidan. Storage IO Tuning for Linux Kernel in Mobile Terminal [J]. , 2014, 27(11): 52-.
[9]	MA Xu. Dual-port RAM Driver Development Based on MPC8313E and FPGA [J]. , 2013, 26(1): 110-.
[10]	ZHENG Ye, ZHANG Bo-Hu. Design of a Module of Data Acquisition and Wireless Transmission Based on ARM7 [J]. , 2012, 25(10): 46-.
[11]	ZHOU Heng-Heng, QUAN Quan, ZHU Zhi-Qing. Wireless PDA Terminal Based on the Embedded Internet of Things [J]. , 12, 25(9): 49-.
[12]	XIE Li-Bin, LIU Kai, SHANG Yu. Research on Serial RapidIO Switch Technologies [J]. , 12, 25(9): 129-.
[13]	JIANG Tao, LIU Wen-Bo. Portable Unloader for Data of Flight Parameters Based on the μC/OS-II [J]. , 2012, 25(6): 41-.
[14]	LIU Ya-Li, YAN Li-Juan. A Method to Realize Chinese Character Input Based on VxWorks [J]. , 2012, 25(2): 97-.
[15]	LIN Sen, CAO Xiao-Man, FANG Huo-Neng, XING Kai-Yu. Implementation of the Embedded File System Based on VDK [J]. , 2012, 25(1): 53-.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Comments

Recommended 0

No Suggested Reading articles found!

Abstract
References
Related Articles
Metrics
Comments
Recommended

TOP

Research on Mapping UML Activity Diagram to Time Petri-Net

PDF (PC)

Like

Knowledge