排序方式: 共有42条查询结果,搜索用时 171 毫秒
1.
为了统一描述军事电子信息系统(command control communication computers intelligence surveillance and reconnaissance, C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language, UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。 相似文献
2.
C4ISR系统能力需求行为建模及验证 总被引:1,自引:0,他引:1
针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language, UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL-DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。 相似文献
3.
基于描述逻辑的能力需求模型验证方法 总被引:4,自引:1,他引:3
针对C4ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWL DL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。 相似文献
4.
面向服务计算(SOC)提供了一种满足C4ISR系统动态需求的新的集成架构,面向服务集成是未来C4ISR系统综合集成的必然趋势。为了解决C4ISR高层需求描述到系统设计的映射问题,将面向服务思想引入C4ISR系统的能力需求分析,提出了一种面向服务的C4ISR系统能力需求分析建模方法。该方法在3层多本体的基础上,由活动分析驱动服务建模,通过整合服务提供能力需求,为C4ISR系统分析设计和系统集成提供了一种更灵活的解决方案。最后,采用一个案例说明了方法的有效性和可用性。 相似文献
5.
UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。 相似文献
6.
基于三维目标建模的需求分析方法 总被引:4,自引:4,他引:0
面向目标的需求分析方法是需求工程领域研究的热点问题之一.在深入研究目前有代表性的目标分类方法基础上,提出一种不依赖于具体应用领域的、较为系统和完整的目标分类框架和建模方法.该框架从三个角度对目标进行划分,分别将其归类为操作性或非操作性目标,硬目标或软目标以及实现型或维持型目标.这三种分类虽然相互独立,但在实际建模时可以相互补充,形成一个完整的体系,为目标建模提供不同的帮助.在此基础上,还提供了一种目标建模的具体算法,可以较好地完成目标建模任务. 相似文献
7.
8.
为了解决电子信息系统开发过程中领域需求模型的复用问题,结合基于本体的需求获取方法,在介绍领域需求模型构建的基础上,提出了领域需求模型的共享方法.该方法通过领域的根本体对领域不同的需求模型进行合并、关联和修正等操作.这些操作可以识别出现有领域的不同需求模型的共同和相异特征,进而构造完整和一致的新模型.为复用领域需求模型,提高系统开发的效率和质量奠定了基础. 相似文献
9.
当前对于系统互操作的研究主要集中在技术层面,关注于系统间如何有效交换及利用所交换的数据.如何从战略理念,组织结构,业务进程等更高的组织层面分析系统的互操作性问题,指导体系设计,在系统众多、协作关系复杂的C4ISR系统中尤为重要.本文首先给出组织互操作基本概念,分析了我军指挥信息系统的互操作需求;在此基础上基于权变理论给出组织互操作框架及相关制品;最后,以某前沿阵地防空系统为例论述了组织互操作框架在体系分析与设计中的应用. 相似文献
10.
为了实现领域约束规则的可视化表示,检验需求模型与领域知识之间的一致性,该文提出一种领域规则建模及需求模型验证方法.在借鉴本体定义元模型和语义网规则语言(SWRL)基础上,定义了一种领域规则定义元模型.用该元模型扩展统一建模语言,使其可用于领域规则建模.给出了领域规则模型到SWRL描述的转换方法,使需求模型验证可通过形式化推理引擎自动完成.通过模型验证案例分析,说明了该方法的可用性. 相似文献