检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:江金龙[1] 杨华甫[2] 周献中[3] 孙勇成[1]
机构地区:[1]南京理工大学自动化系,南京210094 [2]厦门大学计算机系,厦门361005 [3]南京大学工程管理学院,南京210093
出 处:《计算机工程》2006年第12期11-13,共3页Computer Engineering
基 金:国家"十五"计划基金资助项目(40405010101C)
摘 要: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.
分 类 号:TP391.9[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.42