期刊文献+
共找到11篇文章
< 1 >
每页显示 20 50 100
业务活动驱动系统体系结构执行研究
1
作者 姜军 吕翔 +1 位作者 罗爱民 罗雪山 《计算机应用》 CSCD 北大核心 2008年第9期2413-2415,2419,共4页
针对可执行体系结构研究中难以将业务体系结构的执行对应到系统体系结构的执行,并最终形成内在一致的执行体,提出了业务活动驱动系统体系结构执行的方法。该方法根据DoDAF中业务活动与系统功能多对多的关系,将业务活动用更详细的业务过... 针对可执行体系结构研究中难以将业务体系结构的执行对应到系统体系结构的执行,并最终形成内在一致的执行体,提出了业务活动驱动系统体系结构执行的方法。该方法根据DoDAF中业务活动与系统功能多对多的关系,将业务活动用更详细的业务过程模型进行描述,并将过程模型中的行为单元对应到系统功能并触发该功能的执行。系统功能的执行将相应地触发一系列系统功能的执行,系统功能之间的系统数据交换将通过系统通信描述(SV-2)中的连接来实现,这样就建立起业务体系结构与系统体系结构之间的联系,并最终形成整个体系结构内在一致的执行体。该方法有效地解决了业务活动与系统功能之间多对多,无法形成内在一致的执行体问题,为体系结构的执行提供了一个明确、具体的可实施方案。 展开更多
关键词 业务活动模型 系统体系结构 活动驱动 体系结构执行
在线阅读 下载PDF
可执行体系结构研究 被引量:12
2
作者 姜军 罗雪山 +1 位作者 罗爱民 杨春辉 《国防科技大学学报》 EI CAS CSCD 北大核心 2008年第3期76-80,共5页
体系结构是系统设计与实施的蓝图,它能否正确、合理地指导实践在很大程度上依赖于体系结构的验证与评估。可执行体系结构研究为体系结构验证与评估开辟了新的途径。为了使各体系结构产品在整体上形成一个执行体,提出了可执行体系结构执... 体系结构是系统设计与实施的蓝图,它能否正确、合理地指导实践在很大程度上依赖于体系结构的验证与评估。可执行体系结构研究为体系结构验证与评估开辟了新的途径。为了使各体系结构产品在整体上形成一个执行体,提出了可执行体系结构执行规则描述这一个概念。执行规则描述体系结构产品的执行、调用与数据流关系,为体系结构的执行提供了特定的背景信息。它通过标准的动态可执行模型接口分别调用该模型的执行引擎,从而达到体系结构在整体上执行的目的。体系结构的正确执行为体系结构验证提供依据,同时其运行结果为体系结构的评估提供依据。 展开更多
关键词 体系结构 执行体系结构 执行规则 体系结构验证与评估
在线阅读 下载PDF
基于xUML的DoDAF可执行体系结构开发与验证 被引量:9
3
作者 陈岩 李志淮 +1 位作者 谭贤四 朱刚 《系统仿真学报》 CAS CSCD 北大核心 2014年第1期152-158,共7页
可执行体系结构可以通过仿真执行,验证体系结构的正确性与合理性。针对DoDAF v2.0可执行体系结构开发与验证问题,结合DoDAF v2.0体系结构模型特点和面向对象的体系结构开发方法,应用xUML及ASL,开发DoDAF v2.0可执行体系结构,给出了基于x... 可执行体系结构可以通过仿真执行,验证体系结构的正确性与合理性。针对DoDAF v2.0可执行体系结构开发与验证问题,结合DoDAF v2.0体系结构模型特点和面向对象的体系结构开发方法,应用xUML及ASL,开发DoDAF v2.0可执行体系结构,给出了基于xUML的可执行体系结构开发与验证的方法及步骤。通过反导预警作战系统体系结构开发实例,验证了方法的可行性。最后,将此方法与其他方法进行了比较。 展开更多
关键词 DODAF V2 0构架 执行体系结构 面向对象方法 XUML ASL
在线阅读 下载PDF
可执行体系结构的HCPN建模方法 被引量:20
4
作者 倪枫 王明哲 +1 位作者 周丰 杨翠蓉 《系统工程与电子技术》 EI CSCD 北大核心 2010年第5期959-965,共7页
美国国防部体系结构框架(DoDAF)作为一种通用的系统体系结构描述规范,得到业界的广泛认可。但由于其本身描述形式的局限,无法支持对集成系统体系结构动态特性的分析。在建立DoDAF产品描述与层次化着色Petri网(HCPN)不同建模语言间对应... 美国国防部体系结构框架(DoDAF)作为一种通用的系统体系结构描述规范,得到业界的广泛认可。但由于其本身描述形式的局限,无法支持对集成系统体系结构动态特性的分析。在建立DoDAF产品描述与层次化着色Petri网(HCPN)不同建模语言间对应关系的基础上,提出了以集成体系结构操作活动模型(OV-5)、操作规则模型(OV-6a)、逻辑数据模型(OV-7)为主体的可执行模型五阶段建模方法。旨在使由DoDAF体系结构产品建立HCPN可执行模型的过程规范化、步骤化,为实现体系结构可执行模型的自动转换提供技术支持。 展开更多
关键词 执行体系结构 国防部体系结构框架 层次化着色Petri网 建模方法
在线阅读 下载PDF
基于SOA的C^4ISR可执行体系结构 被引量:6
5
作者 王磊 罗雪山 罗爱民 《火力与指挥控制》 CSCD 北大核心 2012年第1期52-56,共5页
现有的C4ISR可执行体系结构验证评估过程中面向特定的作战想定,难以描述和验证系统资源之间的动态连接关系以支持作战视图中作战任务过程的动态变化。结合SOA思想对C4ISR体系结构框架进行扩展引进了服务视图,通过分析服务视图与原有作... 现有的C4ISR可执行体系结构验证评估过程中面向特定的作战想定,难以描述和验证系统资源之间的动态连接关系以支持作战视图中作战任务过程的动态变化。结合SOA思想对C4ISR体系结构框架进行扩展引进了服务视图,通过分析服务视图与原有作战视图和系统视图产品之间的关系,提出一种基于SOA的C4ISR可执行体系结构框架,详细分析了引进服务视图之后C4ISR体系结构的执行过程。 展开更多
关键词 C4ISR体系结构 执行体系结构 SOA 服务视图
在线阅读 下载PDF
基于可执行模型的DoDAF体系结构验证 被引量:4
6
作者 陈岩 王红 +1 位作者 谭贤四 李志淮 《火力与指挥控制》 CSCD 北大核心 2013年第11期99-103,共5页
针对DoDAF体系结构的验证问题,提出了基于xUM开发可执行模型及应用可执行模型验证体系结构的方法。首先,为了开发DoDAF体系结构的可执行模型,在分析DoDAF 2.0体系结构模型特点的基础上,给出"状态转移描述"模型的开发方法和步... 针对DoDAF体系结构的验证问题,提出了基于xUM开发可执行模型及应用可执行模型验证体系结构的方法。首先,为了开发DoDAF体系结构的可执行模型,在分析DoDAF 2.0体系结构模型特点的基础上,给出"状态转移描述"模型的开发方法和步骤,并对活动图进行了可执行化改造。其次,在分析可执行体系结构验证内容的基础上,给出了基于xUML的可执行模型的验证方法和步骤。最后的实例验证了该方法的可行性和有效性。 展开更多
关键词 DODAF 2 0构架 执行体系结构模型 体系结构验证 XUML ASL
在线阅读 下载PDF
基于P-DEVS的可执行体系结构建模与仿真方法 被引量:5
7
作者 胡建鹏 黄林鹏 《系统仿真学报》 CAS CSCD 北大核心 2016年第2期283-291,共9页
可执行体系结构建模与仿真验证在复杂大系统和体系的设计与构建中起着至关重要的作用,但目前相关的概念和方法还不是很成熟,缺乏统一的认识和标准,针对不同的可执行需求存在着很多不同的执行机制和执行环境。分析和总结了可执行体系结... 可执行体系结构建模与仿真验证在复杂大系统和体系的设计与构建中起着至关重要的作用,但目前相关的概念和方法还不是很成熟,缺乏统一的认识和标准,针对不同的可执行需求存在着很多不同的执行机制和执行环境。分析和总结了可执行体系结构建模的三大要素,并且比较了这些要素的可选项,提出了一个基于Parallel Discrete Event System Specification(P-DEVS)的通用可执行体系结构建模与仿真方法,实现了从图形化建模到仿真代码自动生成的全过程,结合实例介绍了所提方法在机场综合信息系统中的应用来证明该方法的可行性和有效性。 展开更多
关键词 离散事件系统规范 执行体系结构 系统的系统 建模与仿真
在线阅读 下载PDF
基于SysML的可执行体系结构框架 被引量:3
8
作者 张炜钟 王智学 赵文 《计算机工程》 CAS CSCD 北大核心 2011年第22期39-41,共3页
目前可执行体系结构的相关研究缺乏统一的描述框架和分析设计方法。为此,结合系统建模语言(SysML)中的行为图、需求图和结构图,改进美国国防部体系结构框架的三视图体系结构,在此基础上提出一种可执行体系结构框架模型,并规范可执行开... 目前可执行体系结构的相关研究缺乏统一的描述框架和分析设计方法。为此,结合系统建模语言(SysML)中的行为图、需求图和结构图,改进美国国防部体系结构框架的三视图体系结构,在此基础上提出一种可执行体系结构框架模型,并规范可执行开发过程。应用结果表明,该框架是可行的,能为下一步体系结构的动态仿真评估验证提供方法指导。 展开更多
关键词 统一建模语言 执行体系结构 系统建模语言 建模 美国国防部体系结构框架
在线阅读 下载PDF
集成体系可执行体系结构的结构分析方法
9
作者 叶巍 廖晶静 裴康乐 《指挥与控制学报》 2017年第3期224-229,共6页
为全面揭示集成体系的结构性质,提出了一种基于DoDAF视角模型构建的集成体系可执行体系结构的结构分析框架.通过分析面向状态和面向行为的建模工具,比较研究了Petri网、自动机与事件结构图建模和分析的优劣势;基于集成体系可执行体系结... 为全面揭示集成体系的结构性质,提出了一种基于DoDAF视角模型构建的集成体系可执行体系结构的结构分析框架.通过分析面向状态和面向行为的建模工具,比较研究了Petri网、自动机与事件结构图建模和分析的优劣势;基于集成体系可执行体系结构活动发生概率和延时的随机性,详细阐述了这3种建模工具相应的随机扩展表示方法;鉴于Petri网能全面展示集成体系结构性质的特点,及自动机和事件结构图细化系统行为建模优势,综合形成了集成体系的结构分析框架并给出详细的建模分析步骤.该方法为研究评价和度量集成体系能力提供了理论基础. 展开更多
关键词 集成体系 DODAF 执行体系结构 结构分析
在线阅读 下载PDF
面向崩溃预测的寄存器软错误故障传播分析
10
作者 薛利兴 左德承 张展 《计算机工程与应用》 CSCD 北大核心 2017年第20期1-7,74,共8页
故障注入是研究软错误故障传播的传统手段,但随着程序复杂性不断增加,采用故障注入对大量软错误的故障传播进行研究将花费巨大的时间成本。提出一种基于程序动态指令进行分析和建模从而快速获取软错误结果的方法。将程序转化为动态指令... 故障注入是研究软错误故障传播的传统手段,但随着程序复杂性不断增加,采用故障注入对大量软错误的故障传播进行研究将花费巨大的时间成本。提出一种基于程序动态指令进行分析和建模从而快速获取软错误结果的方法。将程序转化为动态指令序列,通过体系结构正确执行分析将所有可能的软错误划分为对程序运行结果有影响和没有影响两部分;基于动态依赖图建立软错误故障传播分析模型,并建立判断程序崩溃的标准,进而提出一个算法对任意制定的能够影响程序运行结果的软错误进行故障传播分析并重点预测程序崩溃的发生。实验显示,预测的漏报率和分析单个软错误的平均用时明显低于现有方法。 展开更多
关键词 软错误 故障传播 崩溃 体系结构正确执行 动态依赖图
在线阅读 下载PDF
Task scheduling scheme by checkpoint sharing and task duplication in P2P-based desktop grids
11
作者 Joon-Min Gil Young-Sik Jeong 《Journal of Central South University》 SCIE EI CAS 2014年第10期3864-3872,共9页
A scheduling scheme is proposed to reduce execution time by means of both checkpoint sharing and task duplication under a peer-to-peer(P2P) architecture. In the scheme, the checkpoint executed by each peer(i.e., a res... A scheduling scheme is proposed to reduce execution time by means of both checkpoint sharing and task duplication under a peer-to-peer(P2P) architecture. In the scheme, the checkpoint executed by each peer(i.e., a resource) is used as an intermediate result and executed in other peers via its duplication and transmission. As the checkpoint is close to a final result, the reduction of execution time for each task becomes higher, leading to reducing turnaround time. To evaluate the performance of our scheduling scheme in terms of transmission cost and execution time, an analytical model with an embedded Markov chain is presented. We also conduct simulations with a failure rate of tasks and compare the performance of our scheduling scheme with that of the existing scheme based on client-server architecture. Performance results show that our scheduling scheme is superior to the existing scheme with respect to the reduction of execution time and turnaround time. 展开更多
关键词 P2P-based desktop grids checkpoint sharing task duplication embedded Markov chain
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部