收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于ASL的军事系统体系结构验证方法

肖松  韩海艳  杨柳  董兴阳  吴少坤  张达  
【摘要】:传统基于模型转换的体系结构验证方法难以保证所建模型完全与军事需求描述一致,模型转换过程复杂且容易受到人为因素影响,提出一种基于动作规约语言(Action Specification Language,ASL)的军事系统体系结构验证方法。分析了ASL在可执行统一建模语言(Executable Unified Modeling Language,xUML)中对模型描述的优势,以模型驱动架构(Model Driven Architecture,MDA)为基础,通过确定验证内容,建立验证模型、规则模型和测试模型,生成可执行代码,并进行执行验证,实现军事系统体系结构开发和验证的一体化。实例仿真表明,新方法操作简单,能够从语法、语义和语用等方面验证体系结构的正确性和有效性,为一体化体系结开发和验证提供了一种新思路。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 崔妍;;计算机系统体系结构层次设计研究[J];数字通信世界;2020年06期
2 李礼;;计算机系统体系结构的层次设计分析[J];无线互联科技;2017年18期
3 刘淑娟;;计算机操作系统体系结构探讨[J];煤炭技术;2012年11期
4 戴华;郝玉龙;;专家系统与AutoCAD系统体系结构[J];科技创新导报;2010年16期
5 常伟;胡克瑾;;企业信息系统体系结构的性能分析[J];计算机工程;2008年14期
6 蒋清中;试论会计系统体系结构的选择[J];当代经济研究;2003年12期
7 黄国青,赵嵩正,肖伟;信息系统体系结构的内容和开发过程[J];西安工业学院学报;2001年02期
8 彭雁虹,李怀祖;信息系统体系结构的总体框架[J];系统工程理论与实践;1999年08期
9 彭雁虹,李怀祖;企业信息系统体系结构的研究[J];工业工程与管理;1999年03期
10 吴文钰;计算机系统体系结构分类法研究[J];福州大学学报(自然科学版);1990年02期
11 吴文钰;关于计算机系统体系结构分类法完备性的研究[J];福州大学学报(自然科学版);1991年04期
12 姚宁;朱琦;曹荣向;周剑敏;;基于内部总线的控制系统体系结构[J];空间控制技术与应用;2012年02期
13 赵浩婕;尚鹏;李相汝;;操作系统体系结构的比较与研究[J];科技资讯;2006年25期
14 石进;陆音;谢立;;操作系统体系结构的研究分析[J];计算机科学;2005年09期
15 金巍;;信息系统体系结构框架研究[J];科技信息(学术研究);2008年09期
16 董晓明;石朝明;;一种舰载作战系统体系结构量化评估方法[J];舰船电子工程;2008年09期
17 李强;赵新国;李鹏;;卫星军用系统体系结构概念与方法研究[J];飞航导弹;2006年07期
18 赵良,叶俊民,罗景,陈利;操作系统体系结构风格的比较研究[J];计算机应用研究;2005年05期
19 剑萍;企业信息系统体系结构的研究[J];管理科学文摘;1999年11期
20 朱韫哲;;计算机系统体系结构层次设计研究[J];信息与电脑(理论版);2018年23期
中国重要会议论文全文数据库 前20条
1 肖松;韩海艳;杨柳;董兴阳;吴少坤;张达;;基于ASL的军事系统体系结构验证方法[A];复杂系统体系工程论文集一[C];2019年
2 穆峰;高鲁;吴建明;王松山;;装备信息系统体系结构的总体框架[A];2001年中国管理科学学术会议论文集[C];2001年
3 李军;周献中;杨佩;柏韩;;指挥与控制系统体系结构能力指标模型构建方法研究[A];第五届中国指挥控制大会论文集[C];2017年
4 王莉;蔡颖;范海蓉;;基于多智能体可重构生产系统研究[A];企业应用集成系统与技术学术研究会论文集[C];2006年
5 黄光奇;张淼;袁卫卫;罗雪山;;C~4ISR系统体系结构设计方法研究[A];Well-off Society Strategies and Systems Engineering--Proceedings of the 13th Annual Conference of System Engineering Society of China[C];2004年
6 张家祥;方凌江;李朝晖;;C4I系统体系结构的开发[A];中国运筹学会第八届学术交流会论文集[C];2006年
7 吴思政;周芳;;MMS系统体系结构及消息流程研究[A];第一届中国高校通信类院系学术研讨会论文集[C];2007年
8 麻卢剑;;基于SAP的发电集团EAM系统体系结构及实施战略研究[A];2012电力行业信息化年会论文集[C];2012年
9 叶发亮;叶月萍;;虚拟制造系统体系结构的研究[A];第九届机械加工技术学术年会论文集[C];2004年
10 许维胜;吴启迪;;基于黑板模型的并行工程系统体系结构[A];1995年中国控制会议论文集(下)[C];1995年
11 赵保军;武昌;;C~4 ISR系统体系结构框架研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(上册)[C];2006年
12 宋岩;徐皑冬;;安全仪表系统体系结构失效分析及对比[A];2008’“先进集成技术”院士论坛暨第二届仪表、自动化与先进集成技术大会论文集[C];2008年
13 李霖;周兴铭;;基于广播的移动数据库系统体系结构[A];数据库研究进展97——第十四届全国数据库学术会议论文集(下)[C];1997年
14 张咪;许映秋;谈英姿;;公共危机信息管理系统体系结构建模方法研究[A];2014第二届中国指挥控制大会论文集(下)[C];2014年
15 张鹏;吴红;曹星平;朱一凡;;分布式仿真试验管理系统体系结构初探[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
16 芮兰兰;郭春明;邱雪松;孟洛明;;下一代网络终端管理系统体系结构及流程实现[A];中国通信学会通信软件技术委员会2009年学术会议论文集[C];2009年
17 王锐;马德涛;刘晓辉;;基于网格的空间数据挖掘研究[A];中国地理信息系统协会第四次会员代表大会暨第十一届年会论文集[C];2007年
18 高小牧;;下一代自动测试系统体系结构与关键技术[A];中国工程物理研究院第七届电子技术青年学术交流会论文集[C];2005年
19 张静;;浅谈高校计算机专业嵌入式系统课程教学[A];2013年8月现代教育教学探索学术交流会论文集[C];2013年
20 何诗兴;谢翔;王旭东;;中国联合钢铁电子商务网站建设解决方案[A];中国金属学会第一届青年学术年会论文集[C];2002年
中国博士学位论文全文数据库 前14条
1 秦胜君;复杂适应信息系统体系结构的研究与应用[D];大连海事大学;2011年
2 孙志勇;多Agent系统体系结构及建模方法研究[D];合肥工业大学;2004年
3 甘永;水下机器人运动控制系统体系结构的研究[D];哈尔滨工程大学;2007年
4 姜志平;基于CADM的C~4ISR系统体系结构验证方法及关键技术研究[D];国防科学技术大学;2007年
5 董玺坤;面向服务的自律恢复系统体系结构及其实现技术研究[D];哈尔滨工程大学;2011年
6 韩剑辉;综合船桥系统体系结构与部分关键技术研究[D];天津大学;2009年
7 毛宇峰;水下机器人系统体系结构及避障控制技术研究[D];哈尔滨工程大学;2010年
8 赵振南;联合作战信息系统体系结构若干关键技术研究[D];南京理工大学;2010年
9 王璇;基于多代理的通信领域虚拟服务系统构建研究[D];北京交通大学;2014年
10 欧中洪;结构化对等网络:分等级体系结构研究和性能评价[D];北京邮电大学;2011年
11 邹国平;基于智能的高速公路交通控制与管理系统研究[D];长安大学;2002年
12 江吉彬;绿色机电产品集成化开发系统建模技术与应用研究[D];合肥工业大学;2003年
13 秦予阳;网格环境下铁路信息系统体系结构建模及验证方法研究[D];北京交通大学;2017年
14 张磊;基于Agent的水下机器人运动控制系统体系结构[D];哈尔滨工程大学;2011年
中国硕士学位论文全文数据库 前20条
1 陈娇;一种遵循管理体系的通用系统体系结构的设计研究[D];吉林大学;2017年
2 李军;基于能力的指挥与控制系统体系结构评估方法研究[D];南京大学;2017年
3 梁嘉盛;企业信息系统体系结构及其构建研究[D];吉林大学;2007年
4 郑喜民;云环境下信息系统体系结构的研究[D];哈尔滨理工大学;2015年
5 高旸;拟人多智体系统体系结构和协调策略的研究[D];北京邮电大学;2006年
6 郁立勇;面向云计算的仿真系统体系结构及关键技术研究[D];国防科学技术大学;2016年
7 高艳伟;基于知识管理的企业信息系统体系结构研究[D];吉林大学;2008年
8 姜文婕;移动支付系统体系结构及安全分析[D];上海交通大学;2007年
9 崔鹏亮;基于信息熵的列控系统体系结构复杂性分析[D];北京交通大学;2015年
10 张小康;关于企业信息系统体系结构(ISA)模型的研究[D];暨南大学;2002年
11 李晓明;分布式入侵检测系统体系结构的研究[D];西安电子科技大学;2004年
12 牛建坤;自适应容忍入侵系统体系结构和关键技术研究[D];西安电子科技大学;2005年
13 刘雷;ERP系统体系结构的研究[D];哈尔滨理工大学;2006年
14 魏东辉;运用methontology为学习技术系统体系结构建立本体[D];太原理工大学;2004年
15 王君健;3G网络计费系统体系结构的研究与设计[D];北京邮电大学;2008年
16 赵国冬;安全嵌入式系统体系结构研究与设计[D];哈尔滨工程大学;2006年
17 王颖;基于Intranet环境下考试系统体系结构的研究[D];昆明理工大学;2007年
18 李青华;军事信息系统体系结构表示法元建模研究[D];国防科学技术大学;2012年
19 杨逍;基于COM+的ERP系统体系结构理论与应用研究[D];天津工业大学;2003年
20 崔丽丽;基于无线通信技术的控制系统体系结构的研究[D];贵州大学;2009年
中国重要报纸全文数据库 前4条
1 记者郑千里;中国将拥有自己的“ Windows”[N];科技日报;2003年
2 西安交通大学软件所 丁峰 邓勇 沈钧毅;业务过程重建如何使用UML[N];中国计算机报;2001年
3 北京亚太博大软件有限公司 首席系统架构师 柳翔;无处不在的幽灵[N];计算机世界;2005年
4 ;设备:“差异化”前行[N];通信产业报;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978