【摘 要】
：
针对体系结构验证评估中可执行模型生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specification,PES)的Petri网可执行模型生成方法
【机 构】
：
国防科学技术大学信息系统工程重点实验室
【基金项目】
：
国家自然科学基金(71571189)资助课题
论文部分内容阅读
针对体系结构验证评估中可执行模型生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specification,PES)的Petri网可执行模型生成方法。该方法基于DoDAF 2.0提出的体系结构PES和支持对象化的扩展Petri网标记语言(Petri net markup language,PNML)规范,构建了基于PES的Petri网可执行模型生成框架,通过体系结构模型数据含义与Petri网模型元素之间的语义映射,建立了PES与扩展PNML之间的数据映射规则,并以作战活动模型为例详细说明了数据映射规则和转换算法;最后,以民间海上搜救体系结构为例,验证了所提方法的有效性。该方法实现了灵活、自动化的Petri网可执行模型生成,打破了体现结构建模语言和Petri网模型类型的限制。
其他文献
沈从文小说心理描写方法略论曹建玲人们常说，真正的艺术作品在写人时首要的是将人写活，写活的关键，不在于叙述或描写文字上的眉眼皆动，而在于写出一颗活脱脱的心灵，即所谓‘“写其
本文通过对计算机病毒的分析,从技术上和行政管理上提出了几项预防措施
1996～2000年我们应用当归四逆汤加味治疗心阳瘀阻型病态窦房结综合征 ,取得较好疗效,现总结如下.1 资料与方法1.1 临床资料所观察59例均为我院1996～2000年门诊与住院病例,符合<
国内对于会计准则与税法之间差异的研究一直没有停止过,而自我国2007实施新会计准则后,对于两者差异与协调的研究在财会行业更是又掀起了新一波的浪潮,有不少专家学者对此发
钢铁工业是重要的基础工业部门,长期以来为国民经济与国防建设的发展提供了重要物质基础和原材料保障。尽管我国钢铁工业已经取得了举世瞩目的成就,但也面临诸多问题。尤其是
论述了煤炭资源开采项目风险管理因素，按影响目标对煤炭资源开采项目可能的风险因素进行分类。从模糊综合评判的角度出发，以西部地区某一中型城市煤炭企业为例，对城市各煤炭企业
服装企业的虚拟化有利于生产要素的优化配置，却不利于供应链的管理。文章通过对我国虚拟服装企业的供应链模式、经营模式、管理模式等方面的研究分析，提出存在的问题，并对如何加
基于知识基础观,研究了知识导向对资源能力一体化的预测作用,并揭示了创业拼凑在两者之间的中介作用以及创业激情的调节作用。本文利用386个新企业的问卷调查数据进行实证分
严歌苓小说中的叙事者常常在小说发展的过程中,对情节的发展进行主观化的阐释和干预,使小说呈现出奇妙的文学景观。纵观其自新时期到新移民的作品可以发现,这个"叙事者"是在