期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
8
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种支持用例分析技术的需求元模型
1
作者
陈立哲
马永刚
《计算机应用与软件》
CSCD
2011年第5期168-171,180,共5页
为了体现在不同需求活动中需求的抽象层次,建立了一种支持用例分析技术的两层需求元模型。其中,用户层需求元模型定义需求获取活动输出的需求模型;软件层需求元模型定义需求分析活动输出的需求模型。同时,为表现不同层次需求模型之间的...
为了体现在不同需求活动中需求的抽象层次,建立了一种支持用例分析技术的两层需求元模型。其中,用户层需求元模型定义需求获取活动输出的需求模型;软件层需求元模型定义需求分析活动输出的需求模型。同时,为表现不同层次需求模型之间的关系,建立了两层需求元模型之间的追踪和精化关系,提出并使用谓词逻辑描述了追踪和精化关系应满足的规则和定理。
展开更多
关键词
需求元模型
用例分析技术
追踪
精化
下载PDF
职称材料
基于ReqWiki的需求元模型
2
作者
刘佳
曾文艺
《中国新通信》
2014年第11期11-11,共1页
本文提出ReqWiki需求获取框架,并对此模型的概念,模型中的相关要素予以了介绍。通过此模型的使用,提高了在线异步获取需求时的涉众参与度。
关键词
ReqWiki
需求元模型
下载PDF
职称材料
基于本体的元需求模型与元需求集研究
被引量:
3
3
作者
罗新星
王卫芳
《计算机应用研究》
CSCD
北大核心
2012年第4期1391-1394,共4页
针对大型信息系统需求的复杂性,从需求的元级概念出发,提出了元需求概念,分析定义了元需求的构成要素、要素间关系及特征;用模型的方法来表示元需求,构建元需求模型,并形式化地表示模型。引进本体概念,将元需求模型看做是一个本体,用本...
针对大型信息系统需求的复杂性,从需求的元级概念出发,提出了元需求概念,分析定义了元需求的构成要素、要素间关系及特征;用模型的方法来表示元需求,构建元需求模型,并形式化地表示模型。引进本体概念,将元需求模型看做是一个本体,用本体网络语言表示元需求模型;借鉴本体构建方法,基于Protégé工具构建了元需求集。元需求模型及元需求集实现了需求获取与分析,为基于元需求的需求获取及分析提供基础。
展开更多
关键词
软件
需求
元
需求
元
需求
模型
元
需求
集
本体
本体网络语言
下载PDF
职称材料
工作流理论中系统需求模型及其形式化描述
被引量:
2
4
作者
纪晓东
边馥苓
《武汉大学学报(信息科学版)》
EI
CSCD
北大核心
2005年第3期230-233,共4页
描述了系统需求元模型的概念体系,提出了系统需求元模型的内容,描述了系统需求定义与分析的流程,最后采用了一种层次描述法与Petri网描述法相结合的形式化描述方法对系统需求的结果进行描述。
关键词
系统
需求元模型
概念
模型
层次描述法
下载PDF
职称材料
化解“信息孤岛”危机的软件模型按需服务互操作技术
被引量:
12
5
作者
王翀
何克清
+3 位作者
王健
冯在文
何扬帆
何非
《计算机学报》
EI
CSCD
北大核心
2018年第6期1314-1331,共18页
"沟通成就一切、互动创造价值".面对无处不在的网络化交互,实现"互联网+"应用的创新价值服务,其关键在于如何通过支撑供-需交互的语义互操作技术,实现多样化涉众需求制导的业务协作以及面向软件模型资源的服务供给...
"沟通成就一切、互动创造价值".面对无处不在的网络化交互,实现"互联网+"应用的创新价值服务,其关键在于如何通过支撑供-需交互的语义互操作技术,实现多样化涉众需求制导的业务协作以及面向软件模型资源的服务供给侧可互操作构造,以化解云计算中深层Web服务资源的"信息孤岛"难题.该文从软件服务工程的角度,探索了从模型驱动架构MDA到模型交互驱动架构MiDA的演进;提出并论述了MiDA的三大内核技术,即RGPS需求元描述、服务供给侧的O-RGPS构造元模型以及互操作性元模型框架标准系列MFI(O-RGPS),揭示了三者之间多个"含意三角形"模式联动的基本过程以及虚实互动的软件模型互操作过程,阐明了MiDA与MDA的兼容性.最后,论述了作者负责研制的、面向模型语义互操作性治理与管理的ISO国际标准系列,对其中"过程模型注册元模型"的语义互操作性能力进行了分析与度量.上述理论和方法有助于提升我国"互联网+"企业在云计算与大数据关联分析方面的创新服务能力,可满足企业的动态业务协作以及面向多租户的个性化服务推荐需求,能够为供-需互动提供可互操作的服务供给侧结构,具有重要的实际应用价值.
展开更多
关键词
模型
交互驱动的架构
RGPS
需求元模型
服务供给侧的可互操作构造
模型
语义互操作性治理与管理
互操作性能力分析与度量
服务计算
下载PDF
职称材料
C^4ISR系统能力需求行为建模及验证
被引量:
4
6
作者
何红悦
王智学
+2 位作者
董庆超
徐景
张兆巍
《系统工程与电子技术》
EI
CSCD
北大核心
2012年第6期1153-1160,共8页
针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,...
针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。
展开更多
关键词
能力
需求元模型
行为建模
模型
形式化
模型
验证
下载PDF
职称材料
基于MDA的需求捕获工具的设计与实现
7
作者
曾一
黄兴砚
+1 位作者
李函逾
王翠钦
《计算机科学》
CSCD
北大核心
2014年第10期204-209,共6页
目前MDA开发过程中仍采用人工捕获、文字描述的传统需求获取形式,这影响了需求模型与PIM模型的精度和一致性,降低了MDA开发的自动化程度。重点研究开发了一个可视化需求捕获工具。该工具采用MDA框架以及GEF等技术进行开发,基于目标-情...
目前MDA开发过程中仍采用人工捕获、文字描述的传统需求获取形式,这影响了需求模型与PIM模型的精度和一致性,降低了MDA开发的自动化程度。重点研究开发了一个可视化需求捕获工具。该工具采用MDA框架以及GEF等技术进行开发,基于目标-情景的捕获方式进行需求获取,同时支持以需求文档与XML的形式将需求模型导出,为需求模型到PIM模型的转换提供了足够信息。最后通过实例验证了该捕获工具的有效性。该工具弥补了MDA中没有独立需求捕获阶段的不足,在一定程度上完善了MDA的开发流程,提高了MDA软件开发的自动化程度。
展开更多
关键词
模型
驱动架构
需求
捕获
需求元模型
EMF
GEF
下载PDF
职称材料
基于Ontology和工作流的主动式应用服务系统
8
作者
刘宁
谢强
丁秋林
《中国制造业信息化(学术版)》
2008年第10期1-4,11,共5页
针对企业人员如何提高利用应用服务的效率问题,提出了基于Ontology和工作流的主动式应用服务系统框架。首先利用Ontology实现对目前无语义Web服务的集成,同时提出了服务组件的概念。然后结合工作流技术,建立了基于业务过程的应用服务需...
针对企业人员如何提高利用应用服务的效率问题,提出了基于Ontology和工作流的主动式应用服务系统框架。首先利用Ontology实现对目前无语义Web服务的集成,同时提出了服务组件的概念。然后结合工作流技术,建立了基于业务过程的应用服务需求元模型,实现了服务的主动推送。最后给出了一个应用实例。
展开更多
关键词
主动式应用服务
ONTOLOGY
服务集成
工作流
应用服务
需求元模型
下载PDF
职称材料
题名
一种支持用例分析技术的需求元模型
1
作者
陈立哲
马永刚
机构
电子工程学院
出处
《计算机应用与软件》
CSCD
2011年第5期168-171,180,共5页
文摘
为了体现在不同需求活动中需求的抽象层次,建立了一种支持用例分析技术的两层需求元模型。其中,用户层需求元模型定义需求获取活动输出的需求模型;软件层需求元模型定义需求分析活动输出的需求模型。同时,为表现不同层次需求模型之间的关系,建立了两层需求元模型之间的追踪和精化关系,提出并使用谓词逻辑描述了追踪和精化关系应满足的规则和定理。
关键词
需求元模型
用例分析技术
追踪
精化
Keywords
Requirement metamodel Use case analysis technique Tracing Refinement
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于ReqWiki的需求元模型
2
作者
刘佳
曾文艺
机构
中船重工
出处
《中国新通信》
2014年第11期11-11,共1页
文摘
本文提出ReqWiki需求获取框架,并对此模型的概念,模型中的相关要素予以了介绍。通过此模型的使用,提高了在线异步获取需求时的涉众参与度。
关键词
ReqWiki
需求元模型
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于本体的元需求模型与元需求集研究
被引量:
3
3
作者
罗新星
王卫芳
机构
中南大学商学院
出处
《计算机应用研究》
CSCD
北大核心
2012年第4期1391-1394,共4页
基金
国家自然科学基金资助项目(90818014)
国家自科基金委创新群体项目(70921001/G0104)
文摘
针对大型信息系统需求的复杂性,从需求的元级概念出发,提出了元需求概念,分析定义了元需求的构成要素、要素间关系及特征;用模型的方法来表示元需求,构建元需求模型,并形式化地表示模型。引进本体概念,将元需求模型看做是一个本体,用本体网络语言表示元需求模型;借鉴本体构建方法,基于Protégé工具构建了元需求集。元需求模型及元需求集实现了需求获取与分析,为基于元需求的需求获取及分析提供基础。
关键词
软件
需求
元
需求
元
需求
模型
元
需求
集
本体
本体网络语言
Keywords
requirement
meta-requirement
meta-requirement model
meta-requirement set
ontology
OWL
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
工作流理论中系统需求模型及其形式化描述
被引量:
2
4
作者
纪晓东
边馥苓
机构
武汉大学空间信息与数字工程研究中心
出处
《武汉大学学报(信息科学版)》
EI
CSCD
北大核心
2005年第3期230-233,共4页
基金
国家863计划资助项目(2002AA135340)
文摘
描述了系统需求元模型的概念体系,提出了系统需求元模型的内容,描述了系统需求定义与分析的流程,最后采用了一种层次描述法与Petri网描述法相结合的形式化描述方法对系统需求的结果进行描述。
关键词
系统
需求元模型
概念
模型
层次描述法
Keywords
system requirement meta-model
conceptual model
hierarchy describing method
分类号
P208 [天文地球—地图制图学与地理信息工程]
下载PDF
职称材料
题名
化解“信息孤岛”危机的软件模型按需服务互操作技术
被引量:
12
5
作者
王翀
何克清
王健
冯在文
何扬帆
何非
机构
武汉大学计算机学院
出处
《计算机学报》
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 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
C^4ISR系统能力需求行为建模及验证
被引量:
4
6
作者
何红悦
王智学
董庆超
徐景
张兆巍
机构
解放军理工大学指挥自动化学院
中国人民解放军
出处
《系统工程与电子技术》
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 [军事]
下载PDF
职称材料
题名
基于MDA的需求捕获工具的设计与实现
7
作者
曾一
黄兴砚
李函逾
王翠钦
机构
重庆大学计算机学院
软件理论与技术重庆市重点实验室
出处
《计算机科学》
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 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于Ontology和工作流的主动式应用服务系统
8
作者
刘宁
谢强
丁秋林
机构
南京航空航天大学计算机应用研究所
出处
《中国制造业信息化(学术版)》
2008年第10期1-4,11,共5页
文摘
针对企业人员如何提高利用应用服务的效率问题,提出了基于Ontology和工作流的主动式应用服务系统框架。首先利用Ontology实现对目前无语义Web服务的集成,同时提出了服务组件的概念。然后结合工作流技术,建立了基于业务过程的应用服务需求元模型,实现了服务的主动推送。最后给出了一个应用实例。
关键词
主动式应用服务
ONTOLOGY
服务集成
工作流
应用服务
需求元模型
Keywords
Proactive Service
Ontology
Service Integration
Workflow
Application Service Requirement Meta- model
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种支持用例分析技术的需求元模型
陈立哲
马永刚
《计算机应用与软件》
CSCD
2011
0
下载PDF
职称材料
2
基于ReqWiki的需求元模型
刘佳
曾文艺
《中国新通信》
2014
0
下载PDF
职称材料
3
基于本体的元需求模型与元需求集研究
罗新星
王卫芳
《计算机应用研究》
CSCD
北大核心
2012
3
下载PDF
职称材料
4
工作流理论中系统需求模型及其形式化描述
纪晓东
边馥苓
《武汉大学学报(信息科学版)》
EI
CSCD
北大核心
2005
2
下载PDF
职称材料
5
化解“信息孤岛”危机的软件模型按需服务互操作技术
王翀
何克清
王健
冯在文
何扬帆
何非
《计算机学报》
EI
CSCD
北大核心
2018
12
下载PDF
职称材料
6
C^4ISR系统能力需求行为建模及验证
何红悦
王智学
董庆超
徐景
张兆巍
《系统工程与电子技术》
EI
CSCD
北大核心
2012
4
下载PDF
职称材料
7
基于MDA的需求捕获工具的设计与实现
曾一
黄兴砚
李函逾
王翠钦
《计算机科学》
CSCD
北大核心
2014
0
下载PDF
职称材料
8
基于Ontology和工作流的主动式应用服务系统
刘宁
谢强
丁秋林
《中国制造业信息化(学术版)》
2008
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部