摘要
C4ISR系统是一个规模庞大、层次分明的离散动态系统,文章提出了一种面向C4ISR系统的UML和Petri网结合的建模分析方法。该方法采用从上到下的层次分析方法,用扩展的UML模型对系统组织结构和系统的静态特征进行描述,用扩展的Petri网模型描述和分析系统动态特性,通过相应的规则将Petri网模型转化成状态图和序列图。新方法可以对系统要求进行验证,同时还可以编程实现。最后通过该方法,对一个C4ISR系统进行了建模分析。
C4ISR system is a discrete dynamic system with large scale and clearly hierarchy, this paper presents the modeling and analysis method combining UML with Petri net for C4ISR system. This approach adopts a hierarchical analytical method with top-down techniques, describes the whole systemic structure and static property through extended UML model, shows systemic dynamic characteristic using extended Petri net then transforms to the correspoodence state diagram and sequence diagram. New methods verify system requirement and easily realize its code. At last the approach is illustrated by its application to C4ISR system.
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第12期11-13,共3页
Computer Engineering
基金
国家"十五"计划基金资助项目(40405010101C)
