-
题名基于本体的元需求模型与元需求集研究
被引量：3
- 1
-
-
作者
罗新星
王卫芳
-
机构
中南大学商学院
-
出处
《计算机应用研究》
CSCD
北大核心
2012年第4期1391-1394,共4页
-
基金
国家自然科学基金资助项目(90818014)
国家自科基金委创新群体项目(70921001/G0104)
-
文摘
针对大型信息系统需求的复杂性,从需求的元级概念出发,提出了元需求概念,分析定义了元需求的构成要素、要素间关系及特征;用模型的方法来表示元需求,构建元需求模型,并形式化地表示模型。引进本体概念,将元需求模型看做是一个本体,用本体网络语言表示元需求模型;借鉴本体构建方法,基于Protégé工具构建了元需求集。元需求模型及元需求集实现了需求获取与分析,为基于元需求的需求获取及分析提供基础。
-
关键词
软件需求
元需求
元需求模型
元需求集
本体
本体网络语言
-
Keywords
requirement
meta-requirement
meta-requirement model
meta-requirement set
ontology
OWL
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种支持用例分析技术的需求元模型
- 2
-
-
作者
陈立哲
马永刚
-
机构
电子工程学院
-
出处
《计算机应用与软件》
CSCD
2011年第5期168-171,180,共5页
-
文摘
为了体现在不同需求活动中需求的抽象层次,建立了一种支持用例分析技术的两层需求元模型。其中,用户层需求元模型定义需求获取活动输出的需求模型;软件层需求元模型定义需求分析活动输出的需求模型。同时,为表现不同层次需求模型之间的关系,建立了两层需求元模型之间的追踪和精化关系,提出并使用谓词逻辑描述了追踪和精化关系应满足的规则和定理。
-
关键词
需求元模型
用例分析技术
追踪
精化
-
Keywords
Requirement metamodel Use case analysis technique Tracing Refinement
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名C^4ISR系统能力需求行为建模及验证
被引量：4
- 3
-
-
作者
何红悦
王智学
董庆超
徐景
张兆巍
-
机构
解放军理工大学指挥自动化学院
中国人民解放军
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2012年第6期1153-1160,共8页
-
基金
国家高技术研究发展计划(863计划)(2007AA01Z126)
"十一五"国防重点预研基金项目(9140A06040108JB8101)资助课题
-
文摘
针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。
-
关键词
能力需求元模型
行为建模
模型形式化
模型验证
-
Keywords
capability requirement metamodel behavioral modeling model formalization model verification
-
分类号
E917
[军事]
-
-
题名化解“信息孤岛”危机的软件模型按需服务互操作技术
被引量：12
- 4
-
-
作者
王翀
何克清
王健
冯在文
何扬帆
何非
-
机构
武汉大学计算机学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2018年第6期1314-1331,共18页
-
基金
国家自然科学基金(61373037
61672387)
国家"九七三"重点基础研究发展规划项目基金(2014CB340404)资助~~
-
文摘
"沟通成就一切、互动创造价值".面对无处不在的网络化交互,实现"互联网+"应用的创新价值服务,其关键在于如何通过支撑供-需交互的语义互操作技术,实现多样化涉众需求制导的业务协作以及面向软件模型资源的服务供给侧可互操作构造,以化解云计算中深层Web服务资源的"信息孤岛"难题.该文从软件服务工程的角度,探索了从模型驱动架构MDA到模型交互驱动架构MiDA的演进;提出并论述了MiDA的三大内核技术,即RGPS需求元描述、服务供给侧的O-RGPS构造元模型以及互操作性元模型框架标准系列MFI(O-RGPS),揭示了三者之间多个"含意三角形"模式联动的基本过程以及虚实互动的软件模型互操作过程,阐明了MiDA与MDA的兼容性.最后,论述了作者负责研制的、面向模型语义互操作性治理与管理的ISO国际标准系列,对其中"过程模型注册元模型"的语义互操作性能力进行了分析与度量.上述理论和方法有助于提升我国"互联网+"企业在云计算与大数据关联分析方面的创新服务能力,可满足企业的动态业务协作以及面向多租户的个性化服务推荐需求,能够为供-需互动提供可互操作的服务供给侧结构,具有重要的实际应用价值.
-
关键词
模型交互驱动的架构
RGPS需求元模型
服务供给侧的可互操作构造
模型语义互操作性治理与管理
互操作性能力分析与度量
服务计算
-
Keywords
model-interaction driven architecture
RGPS requirements metamodel framework
interoperable construction of “Supply-Side” services
model semantic interoperability governance and management
interoperability capability analysis and measurement
service computing
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于MDA的需求捕获工具的设计与实现
- 5
-
-
作者
曾一
黄兴砚
李函逾
王翠钦
-
机构
重庆大学计算机学院
软件理论与技术重庆市重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2014年第10期204-209,共6页
-
基金
国家自然科学基金(61272194)资助
-
文摘
目前MDA开发过程中仍采用人工捕获、文字描述的传统需求获取形式,这影响了需求模型与PIM模型的精度和一致性,降低了MDA开发的自动化程度。重点研究开发了一个可视化需求捕获工具。该工具采用MDA框架以及GEF等技术进行开发,基于目标-情景的捕获方式进行需求获取,同时支持以需求文档与XML的形式将需求模型导出,为需求模型到PIM模型的转换提供了足够信息。最后通过实例验证了该捕获工具的有效性。该工具弥补了MDA中没有独立需求捕获阶段的不足,在一定程度上完善了MDA的开发流程,提高了MDA软件开发的自动化程度。
-
关键词
模型驱动架构
需求捕获
需求元模型
EMF
GEF
-
Keywords
MDA, Requirement capture, Requirements metamodel, EMF, GEF
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
