系统工程与电子技术
繫統工程與電子技術
계통공정여전자기술
SYSTEMS ENGINEERING AND ELECTRONICS
2014年
8期
1537-1543
,共7页
C4ISR体系结构%体系结构验证%可执行模型%模型转换%对象Petri网
C4ISR體繫結構%體繫結構驗證%可執行模型%模型轉換%對象Petri網
C4ISR체계결구%체계결구험증%가집행모형%모형전환%대상Petri망
C4ISR architecture%architecture verification%executable model%model transformation%object Petri-net (OPN)
为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难，实现自动化的可执行模型构建，提出了一种基于模型转换的 C4ISR 体系结构可执行模型构建方法。该方法基于国际国防企业体系结构本体规范（international defense enterprise architecture specification，IDEAS），构建了 C4ISR 体系结构作战视图元模型；建立了对象 Petri 网（object Petri-net，OPN）建模元素与体系结构元模型数据元素的映射关系，重点研究了几种通用流程模式下体系结构元模型数据与 OPN 之间的语义转换规则；最后，以某防空作战指挥信息系统体系结构为例，依据获取的体系结构数据，基于以上方法有效地构建了验证作战规则的 OPN 模型。
為解決噹前可執行模型構建效率低、重用性差所造成的體繫結構驗證睏難，實現自動化的可執行模型構建，提齣瞭一種基于模型轉換的 C4ISR 體繫結構可執行模型構建方法。該方法基于國際國防企業體繫結構本體規範（international defense enterprise architecture specification，IDEAS），構建瞭 C4ISR 體繫結構作戰視圖元模型；建立瞭對象 Petri 網（object Petri-net，OPN）建模元素與體繫結構元模型數據元素的映射關繫，重點研究瞭幾種通用流程模式下體繫結構元模型數據與 OPN 之間的語義轉換規則；最後，以某防空作戰指揮信息繫統體繫結構為例，依據穫取的體繫結構數據，基于以上方法有效地構建瞭驗證作戰規則的 OPN 模型。
위해결당전가집행모형구건효솔저、중용성차소조성적체계결구험증곤난，실현자동화적가집행모형구건，제출료일충기우모형전환적 C4ISR 체계결구가집행모형구건방법。해방법기우국제국방기업체계결구본체규범（international defense enterprise architecture specification，IDEAS），구건료 C4ISR 체계결구작전시도원모형；건립료대상 Petri 망（object Petri-net，OPN）건모원소여체계결구원모형수거원소적영사관계，중점연구료궤충통용류정모식하체계결구원모형수거여 OPN 지간적어의전환규칙；최후，이모방공작전지휘신식계통체계결구위례，의거획취적체계결구수거，기우이상방법유효지구건료험증작전규칙적 OPN 모형。
To tackle difficulties of C4ISR architecture verification caused by the low efficiency and reusabili-ty in the executable model’s construction,and to realize the automatic transformation of the executable model by implementing data-centric architecture methodology,a method for the construction of the executable model based on model transformation is proposed.According to the international defense enterprise architecture speci-fication (IDEAS),the operational architecture meta-model is constructed.Mapping relations from architecture meta-model data elements to the core modeling concepts of object Petri-net (OPN)language are studied,and the transformation rules from meta-model data to OPN semantic representation under several work-flow patterns are also presented.To verify the feasibility of this method,a case of air defense C4ISR architecture is given.
