基于PES的Petri网可执行模型生成方法

发布时间：2018-03-24 11:51

  本文选题：体系结构　切入点：体系结构验证评估　出处：《系统工程与电子技术》2017年05期

【摘要】：针对体系结构验证评估中可执行模型生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specification,PES)的Petri网可执行模型生成方法。该方法基于DoDAF 2.0提出的体系结构PES和支持对象化的扩展Petri网标记语言(Petri net markup language,PNML)规范,构建了基于PES的Petri网可执行模型生成框架,通过体系结构模型数据含义与Petri网模型元素之间的语义映射,建立了PES与扩展PNML之间的数据映射规则,并以作战活动模型为例详细说明了数据映射规则和转换算法;最后,以民间海上搜救体系结构为例,验证了所提方法的有效性。该方法实现了灵活、自动化的Petri网可执行模型生成,打破了体现结构建模语言和Petri网模型类型的限制。
[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.
【作者单位】： 国防科学技术大学信息系统工程重点实验室;
【基金】：国家自然科学基金(71571189)资助课题
【分类号】：TP301.1

【相似文献】

相关期刊论文 前10条

1 徐卫克;;体系结构评估方法的研究与实现[J];计算机与现代化;2009年08期

2 范玉顺;;面向服务的企业的体系结构与关键技术[J];航空制造技术;2010年03期

3 姜志平;丁峰;易侃;罗晨;;综合电子信息系统综合级体系结构概念及框架[J];指挥信息系统与技术;2012年03期

4 张佳南;葛健;潘海侠;;论体系结构[J];计算机科学;2012年S2期

5 刘秋华,毋国庆;从需求到体系结构的设计[J];计算机应用研究;2004年06期

6 杨德仁;顾君忠;;网络游戏体系结构的研究与应用综述[J];计算机应用与软件;2007年03期

7 杜芳;高正;;初步认识面向服务的体系结构[J];电脑知识与技术(学术交流);2007年03期

8 徐卫克;;体系结构验证评估与体系结构融合研究[J];计算机与现代化;2009年07期

9 陈月霞;;浅谈软件的体系结构与模式[J];科技风;2009年19期

10 张其增;;体系结构管理问题研究[J];中国科技信息;2013年13期

相关会议论文 前10条

1 王翠茹;高丽鲜;;元数据集成体系结构的研究[A];2009全国计算机网络与通信学术会议论文集[C];2009年

2 李俊超;张占月;甘朝虹;杨欣;;C~4ISR体系结构设计方法研究[A];2013第一届中国指挥控制大会论文集[C];2013年

3 楚旺;钱德沛;;基于体系结构的软件生产线开发方法的形式化框架[A];2005年全国理论计算机科学学术年会论文集[C];2005年

4 林欣;余道杰;周长林;;以只读存储体系结构提升计算机系统的病毒免疫能力[A];教育部中南地区高等学校电子电气基础课教学研究会第二十届学术年会会议论文集（下册）[C];2010年

5 刘大昕;邵滨;;DKBSA—Ⅰ:基于总线式网络的分布式知识库系统体系结构[A];第九届全国数据库学术会议论文集(上)[C];1990年

6 邹荃孙;薛劲松;牛孟渔;陈惠仁;;机械行业CIMS(计算机集成制造系统)体系结构[A];1994中国控制与决策学术年会论文集[C];1994年

7 孙冰;张忠平;刘国华;;DLMW:一种开放式科学数据库体系结构[A];2005年全国理论计算机科学学术年会论文集[C];2005年

8 梁博;;某施工企业管理信息系统及其实施策略[A];计算机技术在工程建设中的应用——第十三届全国工程建设计算机应用学术会议论文集[C];2006年

9 Songer,A.D.;Young,R.;Davis,K.;;在AEC/IEC领域可持续lT实施的社会体系结构[A];勘察设计企业信息化建设研讨会资料汇编[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 陈秀红;协作式需求分析驱动的体系结构模式选择方法研究[D];武汉大学;2014年

4 李长云;基于体系结构的软件动态演化研究[D];浙江大学;2005年

5 姜军;可执行体系结构及DoDAF的可执行化方法研究[D];国防科学技术大学;2008年

6 蒋哲远;基于Web服务的特定领域软件体系结构及其关键技术研究[D];合肥工业大学;2006年

7 吴小珍;GPDM系统的体系结构及其实施关键技术研究[D];武汉科技大学;2008年

8 杜静;流体系结构的编译技术研究[D];国防科学技术大学;2008年

9 刘奕明;基于体系结构、特征驱动的软件动态演化方法研究[D];复旦大学;2008年

10 张琳琳;支持面向方面SA设计的MDSoC建模方法研究[D];武汉大学;2009年

相关硕士学位论文 前10条

1 林璐;客户关系管理系统体系结构的研究与设计[D];贵州师范大学;2015年

2 刘磊;edX体系结构分析研究及功能扩展[D];新疆农业大学;2015年

3 冯杰;基于MVVM模式的体系结构一致性测试[D];中国海洋大学;2015年

4 胡广斌;基于C/S结构的百科知识竞赛答题系统的设计与实现[D];中国海洋大学;2014年

5 祝家意;一种产品线体系结构可变性设计方法[D];复旦大学;2010年

6 徐斌;基于体系结构方法的建模工具扩展研究[D];电子科技大学;2010年

7 常武;三层分布式PACS体系结构的研究与实现[D];北京工业大学;2001年

8 姚知力;产品生命周期管理系统的体系结构及关键技术研究[D];西北工业大学;2005年

9 李轩;基于一体化卫星体系结构的星载软件快速开发环境的研究与实现[D];国防科学技术大学;2010年

10 徐红梅;基于体系结构的第三方物流信息系统建模研究[D];大连海事大学;2008年

，

本文编号：1658181