本文選題：體系結構　切入點：體系結構驗證評估　出處：《系統(tǒng)工程與電子技術》2017年05期

【摘要】：針對體系結構驗證評估中可執(zhí)行模型生成缺乏靈活性和擴展性的問題,提出了一種基于體系結構物理交換規(guī)范(physical exchange specification,PES)的Petri網(wǎng)可執(zhí)行模型生成方法。該方法基于DoDAF 2.0提出的體系結構PES和支持對象化的擴展Petri網(wǎng)標記語言(Petri net markup language,PNML)規(guī)范,構建了基于PES的Petri網(wǎng)可執(zhí)行模型生成框架,通過體系結構模型數(shù)據(jù)含義與Petri網(wǎng)模型元素之間的語義映射,建立了PES與擴展PNML之間的數(shù)據(jù)映射規(guī)則,并以作戰(zhàn)活動模型為例詳細說明了數(shù)據(jù)映射規(guī)則和轉換算法;最后,以民間海上搜救體系結構為例,驗證了所提方法的有效性。該方法實現(xiàn)了靈活、自動化的Petri網(wǎng)可執(zhí)行模型生成,打破了體現(xiàn)結構建模語言和Petri網(wǎng)模型類型的限制。
[Abstract]:For the lack of flexibility and extensibility of executable model generation in architecture validation evaluation, In this paper, a method of generating executable model of Petri net based on physical exchange specification of architecture physical exchange specification is presented. This method is based on architecture PES and extended Petri net markup language (PES), which supports objectification. The framework of Petri net executable model generation based on PES is constructed. The rules of data mapping between PES and extended PNML are established by semantic mapping between the data meaning of the architecture model and the elements of the Petri net model. Finally, taking the civil maritime search and rescue architecture as an example, the validity of the proposed method is verified. Automatic Petri net executable model generation breaks the restriction of structure modeling language and Petri net model type.
【作者單位】： 國防科學技術大學信息系統(tǒng)工程重點實驗室;
【基金】：國家自然科學基金(71571189)資助課題
【分類號】：TP301.1

【相似文獻】

相關期刊論文 前10條

1 徐衛(wèi)克;;體系結構評估方法的研究與實現(xiàn)[J];計算機與現(xiàn)代化;2009年08期

2 范玉順;;面向服務的企業(yè)的體系結構與關鍵技術[J];航空制造技術;2010年03期

3 姜志平;丁峰;易侃;羅晨;;綜合電子信息系統(tǒng)綜合級體系結構概念及框架[J];指揮信息系統(tǒng)與技術;2012年03期

4 張佳南;葛健;潘海俠;;論體系結構[J];計算機科學;2012年S2期

5 劉秋華,毋國慶;從需求到體系結構的設計[J];計算機應用研究;2004年06期

6 楊德仁;顧君忠;;網(wǎng)絡游戲體系結構的研究與應用綜述[J];計算機應用與軟件;2007年03期

7 杜芳;高正;;初步認識面向服務的體系結構[J];電腦知識與技術(學術交流);2007年03期

8 徐衛(wèi)克;;體系結構驗證評估與體系結構融合研究[J];計算機與現(xiàn)代化;2009年07期

9 陳月霞;;淺談軟件的體系結構與模式[J];科技風;2009年19期

10 張其增;;體系結構管理問題研究[J];中國科技信息;2013年13期

相關會議論文 前10條

1 王翠茹;高麗鮮;;元數(shù)據(jù)集成體系結構的研究[A];2009全國計算機網(wǎng)絡與通信學術會議論文集[C];2009年

2 李俊超;張占月;甘朝虹;楊欣;;C~4ISR體系結構設計方法研究[A];2013第一屆中國指揮控制大會論文集[C];2013年

3 楚旺;錢德沛;;基于體系結構的軟件生產(chǎn)線開發(fā)方法的形式化框架[A];2005年全國理論計算機科學學術年會論文集[C];2005年

4 林欣;余道杰;周長林;;以只讀存儲體系結構提升計算機系統(tǒng)的病毒免疫能力[A];教育部中南地區(qū)高等學校電子電氣基礎課教學研究會第二十屆學術年會會議論文集（下冊）[C];2010年

5 劉大昕;邵濱;;DKBSA—Ⅰ:基于總線式網(wǎng)絡的分布式知識庫系統(tǒng)體系結構[A];第九屆全國數(shù)據(jù)庫學術會議論文集(上)[C];1990年

6 鄒荃孫;薛勁松;牛孟漁;陳惠仁;;機械行業(yè)CIMS(計算機集成制造系統(tǒng))體系結構[A];1994中國控制與決策學術年會論文集[C];1994年

7 孫冰;張忠平;劉國華;;DLMW:一種開放式科學數(shù)據(jù)庫體系結構[A];2005年全國理論計算機科學學術年會論文集[C];2005年

8 梁博;;某施工企業(yè)管理信息系統(tǒng)及其實施策略[A];計算機技術在工程建設中的應用——第十三屆全國工程建設計算機應用學術會議論文集[C];2006年

9 Songer,A.D.;Young,R.;Davis,K.;;在AEC/IEC領域可持續(xù)lT實施的社會體系結構[A];勘察設計企業(yè)信息化建設研討會資料匯編[C];2003年

10 蘇志勇;李必信;;基于體系結構的Web服務可靠性建模[A];第五屆中國測試學術會議論文集[C];2008年

相關重要報紙文章 前6條

1 清華大學國家CIMS工程技術研究中心 葛正宇 熊光楞 范文慧;PDM的“骨架”——體系結構[N];計算機世界;2002年

2 國家信息化專家委員會委員 高新民;完善推進體制和體系架構[N];人民郵電;2008年

3 ;突破五道“關”[N];計算機世界;2003年

4 北京大學計算機科學技術系 麻志毅 蔣嚴冰;UML 2.0之路：快車道還是繞行？[N];計算機世界;2001年

5 北京大學計算機科學技術系 蔣嚴冰 邵維忠;UML 2001：標準化的《奧德賽》史詩[N];計算機世界;2001年

6 本報記者 那罡;Check Point 專注是成功的關鍵[N];中國計算機報;2008年

相關博士學位論文 前10條

1 朱玄;基于憶阻器的存儲加密體系結構技術[D];國防科學技術大學;2014年

2 鄒丹;面向異構體系結構的稀疏矩陣算法研究[D];國防科學技術大學;2013年

3 陳秀紅;協(xié)作式需求分析驅(qū)動的體系結構模式選擇方法研究[D];武漢大學;2014年

4 李長云;基于體系結構的軟件動態(tài)演化研究[D];浙江大學;2005年

5 姜軍;可執(zhí)行體系結構及DoDAF的可執(zhí)行化方法研究[D];國防科學技術大學;2008年

6 蔣哲遠;基于Web服務的特定領域軟件體系結構及其關鍵技術研究[D];合肥工業(yè)大學;2006年

7 吳小珍;GPDM系統(tǒng)的體系結構及其實施關鍵技術研究[D];武漢科技大學;2008年

8 杜靜;流體系結構的編譯技術研究[D];國防科學技術大學;2008年

9 劉奕明;基于體系結構、特征驅(qū)動的軟件動態(tài)演化方法研究[D];復旦大學;2008年

10 張琳琳;支持面向方面SA設計的MDSoC建模方法研究[D];武漢大學;2009年

相關碩士學位論文 前10條

1 林璐;客戶關系管理系統(tǒng)體系結構的研究與設計[D];貴州師范大學;2015年

2 劉磊;edX體系結構分析研究及功能擴展[D];新疆農(nóng)業(yè)大學;2015年

3 馮杰;基于MVVM模式的體系結構一致性測試[D];中國海洋大學;2015年

4 胡廣斌;基于C/S結構的百科知識競賽答題系統(tǒng)的設計與實現(xiàn)[D];中國海洋大學;2014年

5 祝家意;一種產(chǎn)品線體系結構可變性設計方法[D];復旦大學;2010年

6 徐斌;基于體系結構方法的建模工具擴展研究[D];電子科技大學;2010年

7 常武;三層分布式PACS體系結構的研究與實現(xiàn)[D];北京工業(yè)大學;2001年

8 姚知力;產(chǎn)品生命周期管理系統(tǒng)的體系結構及關鍵技術研究[D];西北工業(yè)大學;2005年

9 李軒;基于一體化衛(wèi)星體系結構的星載軟件快速開發(fā)環(huán)境的研究與實現(xiàn)[D];國防科學技術大學;2010年

10 徐紅梅;基于體系結構的第三方物流信息系統(tǒng)建模研究[D];大連海事大學;2008年

，

本文編號：1658181