›› 2012, Vol. 25 ›› Issue (2): 105-.

• Articles • Previous Articles     Next Articles

Research on Mapping UML Activity Diagram to Time Petri-Net

 GU Wei, HUANG Zhi-Qiu, LI Jian   

  1. (1.School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China;
    2.Operations Command,Nanchang Institute of Army,Nanchang 330103,China)
  • Online:2012-02-15 Published:2012-02-29


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