排序方式: 共有42条查询结果,搜索用时 15 毫秒
1.
基于三维目标建模的需求分析方法 总被引:4,自引:4,他引:0
面向目标的需求分析方法是需求工程领域研究的热点问题之一.在深入研究目前有代表性的目标分类方法基础上,提出一种不依赖于具体应用领域的、较为系统和完整的目标分类框架和建模方法.该框架从三个角度对目标进行划分,分别将其归类为操作性或非操作性目标,硬目标或软目标以及实现型或维持型目标.这三种分类虽然相互独立,但在实际建模时可以相互补充,形成一个完整的体系,为目标建模提供不同的帮助.在此基础上,还提供了一种目标建模的具体算法,可以较好地完成目标建模任务. 相似文献
2.
电子信息系统领域需求模型复用方法 总被引:1,自引:0,他引:1
为了解决电子信息系统开发过程中领域需求模型的复用问题,结合基于本体的需求获取方法,在介绍领域需求模型构建的基础上,提出了领域需求模型的共享方法.该方法通过领域的根本体对领域不同的需求模型进行合并、关联和修正等操作.这些操作可以识别出现有领域的不同需求模型的共同和相异特征,进而构造完整和一致的新模型.为复用领域需求模型,提高系统开发的效率和质量奠定了基础. 相似文献
3.
C4ISR系统能力需求行为建模及验证 总被引:1,自引:0,他引:1
针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language, UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL-DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。 相似文献
4.
为了统一描述军事电子信息系统(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建模技术在特定领域效能分析方面的不足。 相似文献
5.
UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。 相似文献
6.
面向服务计算(SOC)提供了一种满足C4ISR系统动态需求的新的集成架构,面向服务集成是未来C4ISR系统综合集成的必然趋势。为了解决C4ISR高层需求描述到系统设计的映射问题,将面向服务思想引入C4ISR系统的能力需求分析,提出了一种面向服务的C4ISR系统能力需求分析建模方法。该方法在3层多本体的基础上,由活动分析驱动服务建模,通过整合服务提供能力需求,为C4ISR系统分析设计和系统集成提供了一种更灵活的解决方案。最后,采用一个案例说明了方法的有效性和可用性。 相似文献
7.
8.
基于描述逻辑的能力需求模型验证方法 总被引:4,自引:1,他引:3
针对C4ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWL DL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。 相似文献
9.
针对复杂系统早期验证评估过程中,由于模型不可执行造成的问题,提出了一种复杂系统可执行模型仿真方法。从复杂系统的精确模型定义入手,将复杂系统模型分为结构模型和行为模型,扩展fUML元模型得到复杂系统的可执行元模型,使用这些元模型来构建复杂系统的可执行模型,并为可执行模型定义了行为语义。为了支持可执行模型的仿真,设计了相应的仿真执行系统,定义模型仿真所需要的仿真语言和执行规约,将行为模型转换为可执行的进程项,依据执行规约对进程项进行仿真执行来实现复杂系统的可执行模型仿真。最后以区域防空系统为例说明了方法的可行性。复杂系统; 可执行模型; 可执行模型代数; 模型验证 相似文献
10.
基于领域知识的模型检验方法 总被引:1,自引:1,他引:1
提出了一种基于领域知识的模型检验方法.该方法主要是采用本体论方法,将业务领域内的潜规则表示成领域知识,构成领域规则库,对领域规则采用图形化表示与使用SWRL描述相结合的方式,形成了对规则知识的内、外部表示,为领域知识的直观显示和有效推理提供基础.领域规则形成的规则库为模型检验提供了依据和复用基础,确保用户构建的应用模型满足业务领域需求. 相似文献