Study of C4ISR Architecture Simulation Validation with UML and Object-Based Petri Nets

Xiaohui Bai
{"title":"Study of C4ISR Architecture Simulation Validation with UML and Object-Based Petri Nets","authors":"Xiaohui Bai","doi":"10.1109/CIT.2008.WORKSHOPS.61","DOIUrl":null,"url":null,"abstract":"C4ISR (command, control, communication, computer, intelligence, surveillance and reconnaissance) architecture is the important method to ensure the quality of system design. One method of C4ISR architecture validation is to transform the C4ISR architecture products to executable models. Through analyzing model execution process and result, the performance of C4ISR architecture can be tested. Based on the different advantage of UML (Unified Modeling Language) and Petri nets, the paper applies some kinds of views in UML to describe the relative C4ISR system architecture products. Considering the relationship among the products, the UML view of products is transformed to OPN (object-based Petri nets) simulation model according to the transformation rules. So the dynamic behavior of system can be displayed by those simulation model, and whether the relation of time-order, information flow and interface is reasonable, or the system function satisfies the military requirement , and the change of system state is correct, can be checked evidently. At last, the paper gives a case in the air defense system using simulation validation method proposed by it.","PeriodicalId":155998,"journal":{"name":"2008 IEEE 8th International Conference on Computer and Information Technology Workshops","volume":"358 ","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 IEEE 8th International Conference on Computer and Information Technology Workshops","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CIT.2008.WORKSHOPS.61","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4

Abstract

C4ISR (command, control, communication, computer, intelligence, surveillance and reconnaissance) architecture is the important method to ensure the quality of system design. One method of C4ISR architecture validation is to transform the C4ISR architecture products to executable models. Through analyzing model execution process and result, the performance of C4ISR architecture can be tested. Based on the different advantage of UML (Unified Modeling Language) and Petri nets, the paper applies some kinds of views in UML to describe the relative C4ISR system architecture products. Considering the relationship among the products, the UML view of products is transformed to OPN (object-based Petri nets) simulation model according to the transformation rules. So the dynamic behavior of system can be displayed by those simulation model, and whether the relation of time-order, information flow and interface is reasonable, or the system function satisfies the military requirement , and the change of system state is correct, can be checked evidently. At last, the paper gives a case in the air defense system using simulation validation method proposed by it.
基于UML和基于对象Petri网的C4ISR体系结构仿真验证研究
C4ISR(指挥、控制、通信、计算机、情报、监视和侦察)体系结构是保证系统设计质量的重要手段。C4ISR体系结构验证的一种方法是将C4ISR体系结构产品转换为可执行模型。通过对模型执行过程和结果的分析,可以检验C4ISR体系结构的性能。基于统一建模语言UML和Petri网的不同优势,本文应用UML中的几种视图来描述相关的C4ISR系统架构产品。考虑到产品之间的关系,根据转换规则将产品的UML视图转换为OPN(基于对象的Petri网)仿真模型。通过仿真模型可以很好地反映系统的动态行为,并能很好地检验系统的时间顺序、信息流和界面关系是否合理,系统功能是否满足军事要求,系统状态的变化是否正确。最后,给出了应用该方法对防空系统进行仿真验证的实例。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信