国防科技大学学报
國防科技大學學報
국방과기대학학보
JOURNAL OF NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY
2013年
2期
27-33
,共7页
张晓雪%罗爱民%黄力%罗雪山
張曉雪%囉愛民%黃力%囉雪山
장효설%라애민%황력%라설산
体系结构%DM2%可执行模型%对象Petri网
體繫結構%DM2%可執行模型%對象Petri網
체계결구%DM2%가집행모형%대상Petri망
基于元模型的体系结构设计思想和基于可执行模型的评估方法是体系结构领域研究的两个热点,但当前的研究没有将两者结合起来.文章基于DoDAF2.0提出的元模型数据(Meta-Model Data,DM2),将元模型的思想和基于可执行模型的评估方法相结合,分析了基于DM2的逻辑数据与可执行模型各构建要素的对应关系,构建了基于DM2的逻辑数据模型直接转可执行模型的过程框架,重点研究了如何直接从体系结构底层数据转可执行模型的方法,从而为进行基于元模型的体系结构可执行评估提供模型基础,也为迸一步实现体系结构自动化验证评估提供技术支持.实例验证了文章提出的方法.
基于元模型的體繫結構設計思想和基于可執行模型的評估方法是體繫結構領域研究的兩箇熱點,但噹前的研究沒有將兩者結閤起來.文章基于DoDAF2.0提齣的元模型數據(Meta-Model Data,DM2),將元模型的思想和基于可執行模型的評估方法相結閤,分析瞭基于DM2的邏輯數據與可執行模型各構建要素的對應關繫,構建瞭基于DM2的邏輯數據模型直接轉可執行模型的過程框架,重點研究瞭如何直接從體繫結構底層數據轉可執行模型的方法,從而為進行基于元模型的體繫結構可執行評估提供模型基礎,也為迸一步實現體繫結構自動化驗證評估提供技術支持.實例驗證瞭文章提齣的方法.
기우원모형적체계결구설계사상화기우가집행모형적평고방법시체계결구영역연구적량개열점,단당전적연구몰유장량자결합기래.문장기우DoDAF2.0제출적원모형수거(Meta-Model Data,DM2),장원모형적사상화기우가집행모형적평고방법상결합,분석료기우DM2적라집수거여가집행모형각구건요소적대응관계,구건료기우DM2적라집수거모형직접전가집행모형적과정광가,중점연구료여하직접종체계결구저층수거전가집행모형적방법,종이위진행기우원모형적체계결구가집행평고제공모형기출,야위병일보실현체계결구자동화험증평고제공기술지지.실례험증료문장제출적방법.
