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

【摘要】：針對體系結(jié)構(gòu)驗證評估中可執(zhí)行模型生成缺乏靈活性和擴展性的問題,提出了一種基于體系結(jié)構(gòu)物理交換規(guī)范(physical exchange specification,PES)的Petri網(wǎng)可執(zhí)行模型生成方法。該方法基于DoDAF 2.0提出的體系結(jié)構(gòu)PES和支持對象化的擴展Petri網(wǎng)標(biāo)記語言(Petri net markup language,PNML)規(guī)范,構(gòu)建了基于PES的Petri網(wǎng)可執(zhí)行模型生成框架,通過體系結(jié)構(gòu)模型數(shù)據(jù)含義與Petri網(wǎng)模型元素之間的語義映射,建立了PES與擴展PNML之間的數(shù)據(jù)映射規(guī)則,并以作戰(zhàn)活動模型為例詳細(xì)說明了數(shù)據(jù)映射規(guī)則和轉(zhuǎn)換算法;最后,以民間海上搜救體系結(jié)構(gòu)為例,驗證了所提方法的有效性。該方法實現(xiàn)了靈活、自動化的Petri網(wǎng)可執(zhí)行模型生成,打破了體現(xiàn)結(jié)構(gòu)建模語言和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.
【作者單位】： 國防科學(xué)技術(shù)大學(xué)信息系統(tǒng)工程重點實驗室;
【基金】：國家自然科學(xué)基金(71571189)資助課題
【分類號】：TP301.1

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

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

2 范玉順;;面向服務(wù)的企業(yè)的體系結(jié)構(gòu)與關(guān)鍵技術(shù)[J];航空制造技術(shù);2010年03期

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

4 張佳南;葛健;潘海俠;;論體系結(jié)構(gòu)[J];計算機科學(xué);2012年S2期

5 劉秋華,毋國慶;從需求到體系結(jié)構(gòu)的設(shè)計[J];計算機應(yīng)用研究;2004年06期

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

7 杜芳;高正;;初步認(rèn)識面向服務(wù)的體系結(jié)構(gòu)[J];電腦知識與技術(shù)(學(xué)術(shù)交流);2007年03期

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

9 陳月霞;;淺談軟件的體系結(jié)構(gòu)與模式[J];科技風(fēng);2009年19期

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

相關(guān)會議論文 前10條

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

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

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

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

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

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

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

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

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

10 蘇志勇;李必信;;基于體系結(jié)構(gòu)的Web服務(wù)可靠性建模[A];第五屆中國測試學(xué)術(shù)會議論文集[C];2008年

相關(guān)重要報紙文章 前6條

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

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

3 ;突破五道“關(guān)”[N];計算機世界;2003年

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

5 北京大學(xué)計算機科學(xué)技術(shù)系 蔣嚴(yán)冰 邵維忠;UML 2001：標(biāo)準(zhǔn)化的《奧德賽》史詩[N];計算機世界;2001年

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

相關(guān)博士學(xué)位論文 前10條

1 朱玄;基于憶阻器的存儲加密體系結(jié)構(gòu)技術(shù)[D];國防科學(xué)技術(shù)大學(xué);2014年

2 鄒丹;面向異構(gòu)體系結(jié)構(gòu)的稀疏矩陣算法研究[D];國防科學(xué)技術(shù)大學(xué);2013年

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

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

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

6 蔣哲遠(yuǎn);基于Web服務(wù)的特定領(lǐng)域軟件體系結(jié)構(gòu)及其關(guān)鍵技術(shù)研究[D];合肥工業(yè)大學(xué);2006年

7 吳小珍;GPDM系統(tǒng)的體系結(jié)構(gòu)及其實施關(guān)鍵技術(shù)研究[D];武漢科技大學(xué);2008年

8 杜靜;流體系結(jié)構(gòu)的編譯技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2008年

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

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

相關(guān)碩士學(xué)位論文 前10條

1 林璐;客戶關(guān)系管理系統(tǒng)體系結(jié)構(gòu)的研究與設(shè)計[D];貴州師范大學(xué);2015年

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

3 馮杰;基于MVVM模式的體系結(jié)構(gòu)一致性測試[D];中國海洋大學(xué);2015年

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

5 祝家意;一種產(chǎn)品線體系結(jié)構(gòu)可變性設(shè)計方法[D];復(fù)旦大學(xué);2010年

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

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

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

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

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

，

本文編號：1658181