Strategy of state transition in UML based on Petri net
-
摘要: 分析了统一建模语言(UML,Unified Modeling Language)状态图相关语义,阐述了Petri网基本特征和它所具有的建模事件并发、同步、冲突能力.为得到UML状态图无二义性的、可执行的和可验证的模型,在着色Petri网和层次化Petri网研究成果基础上,研究提出层次着色Petri网(HCPN,Hierarchical Colored Petri Net).HCPN中不同层的着色网CPN通过库所子网或变迁子网相关联.通过实例说明如何借助这些关联从HCPN中的CPN合并得到标注Petri网.标注Petri网可用于指导基于事件驱动的仿真过程,而标注Petri网转换得到的基本Petri网可用来进行特性分析,从而对所描述的UML状态图模型给出合理的评价,有利于建模系统的改进.Abstract: The related semantics of UML(unified modeling language) state machine view was analyzed, and basic features of Petri net and its capabilities of modeling concurrency, synchronization and conflict were discussed. In order to get unambiguous, executable and verifiable models, based on the CPN(colored Petri net) and hierarchical Petri net, HCPN(hierarchical colored Petri net) for UML state machine view was constructed. In an HCPN, CPNs in different levels are related to each other by place-subnets or transition-subnets. Taking an HCPN as an example, the process was demonstrated to get its marked Petri net by merging CPNs from its all levels for analysis purpose. The marked Petri net can be used to guide the event-driven simulation, whereas the basic Petri net transformed from the marked Petri net can be used for the analysis, evaluation and improvement of models based on Petri net theory.
-
Key words:
- Petri net /
- object oriented programming /
- hierarchical system /
- merging
-
[1] OMG. Unified modeling language specification (action semantics) .2002. http://www.omg.org [2] Evans A, Kent S. Core meta-modelling semantics of UML: The pUML approach[J]. The Unified Modeling Language,1999, 1723:140-155 [3] Mellor S J, Balcer M J. Executable UML:A foundation for model-driven architecture[M].Boston:Addison-Wesley,2002 [4] Crane Michelle L, Dingel Juergen. On the semantics of UML state machines: categorization and comparison . Kingston, Ontario:School of Computing,Queen-s University,2005.http://www.cs.queensu.ca/TechReports/Reports/2005-501.pdf [5] 钱俊彦,蔡国永,古天龙,等.Statechart规语言的语法分析研究[J].桂林电子工业学院学报,1999,19(3):12-15 Qian Junyan, Cai Guoyong, Gu Tianlong, et al. On the syntax verification of statechart language[J]. Journal of Guilin Institute of Electronic Technology,1999,19(3):12-15(in Chinese) [6] Murata T. Petri nets: Properties, analysis and applications[J]. Proceedings of the IEEE, 1989,77(4):541-580 [7] Jesen K, Rozenberg G. High-level Petri nets theory and application[M]. Berlin: Springer-Verlag, 1991 [8] Jesen K. Coloured Petri nets-basic concepts,analysis methods and practical use[M]. Berlin: Springer-Verlag, 1997 [9] 姚淑珍,金茂忠. UML状态图的形式化建模及其分析[J].北京航空航天大学学报,2007,33(4):472-476 Yao Shuzhen, Jin Maozhong. Formal modeling and analysis of UML statecharts[J]. Journal of Beijing University of Aeronautics and Astronautics,2007,33(4):472-476(in Chinese) -
点击查看大图
计量
- 文章访问数: 2902
- HTML全文浏览量: 149
- PDF下载量: 1480
- 被引次数: 0
下载:
