期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
UML-based combat effectiveness simulation system modeling within MDE 被引量:5
1
作者 ZHU Zhi LEI Yonglin +2 位作者 SARJOUGHIAN Hessam LI Xiaobo ZHU Yifan 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2018年第6期1180-1196,共17页
To reduce complexity, the combat effectiveness simulation system(CESS) is often decomposed into static structure,physical behavior, and cognitive behavior, and model abstraction is layered onto domain invariant knowle... To reduce complexity, the combat effectiveness simulation system(CESS) is often decomposed into static structure,physical behavior, and cognitive behavior, and model abstraction is layered onto domain invariant knowledge(DIK) and application variant knowledge(AVK) levels. This study concentrates on the specification of CESS’s physical behaviors at the DIK level of abstraction, and proposes a model driven framework for efficiently developing simulation models within model-driven engineering(MDE). Technically, this framework integrates the four-layer metamodeling architecture and a set of model transformation techniques with the objective of reducing model heterogeneity and enhancing model continuity. As a proof of concept, a torpedo example is illustrated to explain how physical models are developed following the proposed framework. Finally, a combat scenario is constructed to demonstrate the availability, and a further verification is shown by a reasonable agreement between simulation results and field observations. 展开更多
关键词 domain specific modeling model-driven development system engineering effectiveness simulation
在线阅读 下载PDF
一种面向特征的领域模型及其建模过程 被引量:120
2
作者 张伟 梅宏 《软件学报》 EI CSCD 北大核心 2003年第8期1345-1356,共12页
特征模型作为捕获领域需求的重要模型已被现阶段的主流领域工程方法所接受,但这些方法缺乏对特征模型组织框架的细致研究和说明,在一定程度上导致了特征模型在表现形式上的冗余性和混乱性,也使得领域分析人员在实践中很难有效地进行领... 特征模型作为捕获领域需求的重要模型已被现阶段的主流领域工程方法所接受,但这些方法缺乏对特征模型组织框架的细致研究和说明,在一定程度上导致了特征模型在表现形式上的冗余性和混乱性,也使得领域分析人员在实践中很难有效地进行领域建模活动,从特征模型的基本组织结构、变化性的表现方式和限制机制、变化性 的绑定时间等方面对特征模型的组织框架及剪裁机制进行了统一、抽象的描述,在考察服务、周例(use case)、功能、行为特点等不同类型的特征及其相互关系的基础上,给出了一种特征模型的具体形式,并结合具体的领域,对其建模过程进行了详细论述。此项研究对于领域建模活动的成功实施具有一定的指导作用。 展开更多
关键词 特征模型 领域分析 领域工程 软件复用
在线阅读 下载PDF
基于描述逻辑的特征语义建模及验证 被引量:8
3
作者 沈国华 张伟 +5 位作者 黄志球 张钰龙 金澜涛 何文民 贾哲 赵子玥 《计算机研究与发展》 EI CSCD 北大核心 2013年第7期1501-1512,共12页
在软件产品线方法中,特征模型已被广泛用于获取领域需求以支持软件复用.但在一定程度上,各种方法对刻画特征模型以及特征之间约束关系存在语义上的冗余和混乱,不能有效对特征模型进行验证,也限制各种不同特征建模方法之间特征信息的共享... 在软件产品线方法中,特征模型已被广泛用于获取领域需求以支持软件复用.但在一定程度上,各种方法对刻画特征模型以及特征之间约束关系存在语义上的冗余和混乱,不能有效对特征模型进行验证,也限制各种不同特征建模方法之间特征信息的共享.采用描述逻辑刻画了特征模型中的特征类、特征间关系与约束等方面,定义了特征间互斥、需要等约束的规则集合,用于对知识库中的语义特征模型实例进行一致性、完整性验证.并结合一个具体领域,对基于描述逻辑的特征建模及推理验证进行了详细论述.此研究对于领域特征模型的语义建模与验证、支持领域模型共享具有一定的指导作用. 展开更多
关键词 特征模型 领域工程 软件复用 模型验证 描述逻辑
在线阅读 下载PDF
基于模型对比和组合的软件产品线领域需求建模 被引量:10
4
作者 聂坤明 张莉 《计算机学报》 EI CSCD 北大核心 2014年第3期539-550,共12页
软件产品线作为系统化的软件复用方式,可以提高软件的开发效率和质量.软件产品线变化性建模是软件产品线的关键技术,通过建立变化性模型以记录软件产品线成员产品的共性和变化性.目前的软件产品线变化性建模方法大都通过领域专家进行分... 软件产品线作为系统化的软件复用方式,可以提高软件的开发效率和质量.软件产品线变化性建模是软件产品线的关键技术,通过建立变化性模型以记录软件产品线成员产品的共性和变化性.目前的软件产品线变化性建模方法大都通过领域专家进行分析建立,这种方法过度依赖于领域专家的分析能力,在系统规模较小的情况下,变化性分析比较容易,但是如果系统规模变大,则系统的规模对于变化性分析的影响会越来越大.文中提出一种半自动的软件产品线领域需求建模方法,基于关注点分离的思路,利用特征模型表示软件产品线中系列产品的不同方面的特征信息,通过特征模型的对比和组合实现领域需求模型的构建.为有效地实现特征模型对比与组合,文中提出一种基于标记和结构的特征模型对比方法,同时,文中实现了基于约束的特征模型组合.基于公开的特征模型,文中对提出的方法进行了验证,实验结果表明,文中提出的领域需求建模方法能够在一定准确率的情况下有效地实现领域需求模型的构建. 展开更多
关键词 模型对比 模型组合 特征模型 领域需求模型 需求工程 软件产品线中图法
在线阅读 下载PDF
基于二分决策图的特征模型验证方法 被引量:2
5
作者 闫华 张伟 +1 位作者 赵海燕 梅宏 《软件学报》 EI CSCD 北大核心 2010年第1期84-97,共14页
特征模型是领域分析活动产生的具有复用价值的软件需求模型.对特征模型的复用通常采用定制的方式.特征模型定制中的一个重要问题是验证问题.该问题的存在是因为特征之间往往具有一定的约束关系,而一个合法的定制结果必须保证特征之间所... 特征模型是领域分析活动产生的具有复用价值的软件需求模型.对特征模型的复用通常采用定制的方式.特征模型定制中的一个重要问题是验证问题.该问题的存在是因为特征之间往往具有一定的约束关系,而一个合法的定制结果必须保证特征之间所有约束关系的被满足性.由于特征模型验证问题NP-hard所具有的性质,如何高效地进行特征模型的验证就成为一件相对困难的事情.在深入挖掘特征模型验证问题特殊性的基础上,将这种特殊性和二分决策图的结构特点进行了有效的结合,提出了一种通过对二分决策图的一次遍历即能实现特征模型验证的方法.需要指出的是,该方法并非试图在一般意义上解决特征模型验证问题中NP-hard的困难性,而是尽可能地利用该问题的特殊性,以提高处理特征模型定制问题的规模和效率.实验数据表明,相比较以前采用的验证方法,基于BDD(binary decision diagram)的方法在处理特征模型验证问题的规模和效率上都具有显著的提高. 展开更多
关键词 特征模型 验证 BDD(binary DECISION diagram) 领域工程 软件复用
在线阅读 下载PDF
面向机械设计手册的基于Pro/TOOLKIT的三维标准件库开发 被引量:7
6
作者 曹岩 杨艳丽 +2 位作者 白瑀 杜江 范春霞 《制造技术与机床》 CSCD 北大核心 2011年第9期56-61,共6页
利用Pro/ENGINEER提供的二次开发工具Pro/TOOLKIT、Family Table和VisualC++6.0对Pro/ENGINEER进行二次开发,开发符合我国标准的铆连接标准件库系统。运用特征建模和Fam-ily Table创建铆连接标准件3D库。利用动态链接库(DLL)方式实现Pro... 利用Pro/ENGINEER提供的二次开发工具Pro/TOOLKIT、Family Table和VisualC++6.0对Pro/ENGINEER进行二次开发,开发符合我国标准的铆连接标准件库系统。运用特征建模和Fam-ily Table创建铆连接标准件3D库。利用动态链接库(DLL)方式实现Pro/ENGINEER与MFC间的接口,突破Pro/TOOLKIT的局限,构建符合工程习惯的人机界面。以最新版《机械设计手册》为依据,建立了包含了各种不同类型的铆钉、铆螺母的Access数据库,通过开发Pro/ENGINEER与Access数据库接口,实现在Pro/ENGINEER环境下对Access数据库的调用。该系统具有直观、友好,减少了产品设计中的重复性工作,提高了开发效率和质量。该方法可用于开发专门应用领域的所需的标准件库和通用件库。 展开更多
关键词 铆连接 CAD 标准化 特征建模 标准件库 PRO/enginEER PRO/TOOLKIT Visual C++ 二次开发
在线阅读 下载PDF
生成式程序设计研究概述 被引量:5
7
作者 范少锋 张乃孝 《计算机科学》 CSCD 北大核心 2005年第3期12-16,25,共6页
随着软件规模越来越大、软件复杂度越来越高,如何高效地开发出高质量的软件以及如何有效地维护和更新软件都是当前软件方法学研究所关注的重点。为了实现这一目标,已经陆续出现一些有效的方法和技术。KrzysztofCzarnecki和U.Eisenecker... 随着软件规模越来越大、软件复杂度越来越高,如何高效地开发出高质量的软件以及如何有效地维护和更新软件都是当前软件方法学研究所关注的重点。为了实现这一目标,已经陆续出现一些有效的方法和技术。KrzysztofCzarnecki和U.Eisenecker融合先进方法和技术的精髓,提出了一种新的软件工程范型——生成式程序设计:基于为软件系统族进行建模,对给定的需求规格说明,利用配置知识,把基本的可重用构件根据需求进行自动化的配置以产生离定制、优化的软件产品。生成式程序设计的基础是面向系统族的生成式领域模型,该模型包括三个基本成分:问题域、解域和连接这两个域的配置知识。生成式程序设计包含两个开发周期:一个是设计和实现生成式领域模型,即支持重用的开发;另一个是利用生成式领域模型生产出具体的软件系统,也即利用重用的开发。本文将详细地介绍此软件工程范型的分析与设计方法和实现技术。 展开更多
关键词 生成式程序设计 软件规模 软件复杂度 建模 配置知识
在线阅读 下载PDF
特征建模方法研究 被引量:2
8
作者 曹晓兰 彭佳红 《计算机工程与设计》 CSCD 北大核心 2008年第11期2809-2813,共5页
在领域工程中,特征模型描述了领域需求之间的关系,在共性和特性之间进行区别,在复杂软件系统设计和实现中扮演了重要的角色。介绍了特征建模方法的起源和发展,分析和比较了两种典型的特征定义,从特征模型体系结构、特征模型的表现、特... 在领域工程中,特征模型描述了领域需求之间的关系,在共性和特性之间进行区别,在复杂软件系统设计和实现中扮演了重要的角色。介绍了特征建模方法的起源和发展,分析和比较了两种典型的特征定义,从特征模型体系结构、特征模型的表现、特征变化性和组合规则、特征建模工具和特征模型的应用等方面阐述了特征建模领域的若干研究活动,介绍了特征建模方法的主要研究现状以及研究方向。 展开更多
关键词 特征 特征模型 共性 特性 领域工程
在线阅读 下载PDF
FODA:一种面向特征的领域分析方法 被引量:3
9
作者 赵毅 胡丹 《重庆工学院学报》 2004年第5期45-47,共3页
领域工程是创建重用构件的活动 ,它强调对领域模型和体系结构的系统的创建。领域分析是寻一个领域中的相关信息进行识别、收集、组织和表示的过程 ,是领域工程的起点和最重要阶段。介绍了由软件工程组织提出的FODA领域分析方法 ,利用这... 领域工程是创建重用构件的活动 ,它强调对领域模型和体系结构的系统的创建。领域分析是寻一个领域中的相关信息进行识别、收集、组织和表示的过程 ,是领域工程的起点和最重要阶段。介绍了由软件工程组织提出的FODA领域分析方法 ,利用这种方法为领域分析定义了一个过程 ,并为将来的使用创建待定的产品 ; 展开更多
关键词 领域分析 领域工程 领域模型 软件工程 重用 构件 表示 创建 过程 特征
在线阅读 下载PDF
FDD中特征的并行开发及实例研究
10
作者 马舜雄 赵文耘 +2 位作者 彭鑫 程洪 张志 《计算机应用与软件》 CSCD 北大核心 2007年第4期4-6,12,共4页
FDD(feature-driven development)是一种特征驱动的软件迭代开发过程。FDD把特征作为每次迭代开发的基本增量单元和里程碑,通过特征优先级控制、特征开发时间控制等措施,达到减少软件项目实施时间的目的。以FDD为基础,阐述了一种基于领... FDD(feature-driven development)是一种特征驱动的软件迭代开发过程。FDD把特征作为每次迭代开发的基本增量单元和里程碑,通过特征优先级控制、特征开发时间控制等措施,达到减少软件项目实施时间的目的。以FDD为基础,阐述了一种基于领域特征并行开发的方法,并结合学生收费领域的系统开发给出了其实施FDD的过程。该方法可以有效提高特征开发的并发性。 展开更多
关键词 特征驱动开发 特征建模 领域工程 时间控制
在线阅读 下载PDF
面向交通领域构件的特征建模方法
11
作者 王凡 谭国真 +1 位作者 王皓 何钦来 《计算机工程》 CAS CSCD 北大核心 2009年第1期280-282,共3页
将领域工程应用于智能交通系统,对交通领域内变化性需求进行封装、隔离和抽象,指导交通构件的设计与实现。解决交通领域内可复用信息的识别、组织和利用,满足交通领域内软件复用、资源共享与协同的要求。基于FODA领域工程分析方法,扩展... 将领域工程应用于智能交通系统,对交通领域内变化性需求进行封装、隔离和抽象,指导交通构件的设计与实现。解决交通领域内可复用信息的识别、组织和利用,满足交通领域内软件复用、资源共享与协同的要求。基于FODA领域工程分析方法,扩展其面向特征的建模方法。结合交通领域工程的交通信息发布服务应用实例,说明面向特征领域建模方法的可行性。 展开更多
关键词 领域工程 特征建模 构件
在线阅读 下载PDF
基于特征的军械测试系统软件需求分析
12
作者 赖根 肖明清 何景峰 《弹箭与制导学报》 CSCD 北大核心 2006年第S9期1027-1029,共3页
通过在军械测试系统软件开发中引入领域工程,较好地解决了军械测试领域的测试程序复用问题;详细介绍了在领域分析阶段如何采用上下文模型和特征模型捕获军械测试领域软件需求的方法和过程。
关键词 军械测试 特征 特征模型 领域工程 软件复用
在线阅读 下载PDF
基于语义的特征模型重构方法
13
作者 张力生 张悦 雷大江 《计算机科学》 CSCD 北大核心 2019年第5期135-142,共8页
在软件产品线的领域工程开发中,特征模型被广泛用于捕获和组织领域的可复用需求。目前,构建特征模型大多依赖于建模人员的分析,而随着领域需求的日益复杂,构建满足需求的特征模型不仅会增加建模人员的工作量,还会使特征模型的正确性降... 在软件产品线的领域工程开发中,特征模型被广泛用于捕获和组织领域的可复用需求。目前,构建特征模型大多依赖于建模人员的分析,而随着领域需求的日益复杂,构建满足需求的特征模型不仅会增加建模人员的工作量,还会使特征模型的正确性降低。为解决不同特征模型之间建模词汇不统一的问题,提出一种分析特征语义并为语义定义术语的方法。为有效地重构特征模型,提出一种采用描述逻辑语言定义半自动化的重构方法,该重构方法可以推理模型的一致性。基于两个特征模型实例对提出的方法进行验证,实验结果表明该方法可以重构特征模型,并且可以检验重构的特征模型的一致性。 展开更多
关键词 领域工程 特征模型 重构 语义 描述逻辑
在线阅读 下载PDF
面向领域的语义搜索引擎的应用研究 被引量:5
14
作者 赵宏亮 杨鹤标 《计算机工程与设计》 CSCD 北大核心 2012年第5期1801-1805,共5页
针对基于关键字的搜索引擎缺乏语义的问题,提出了一种面向专业领域的语义搜索引擎模型。以领域本体形式化描述为基础,构建本体语义框架,进而给出语义搜索模型。在模型中,以概念、概念-实例以及关键字等3种扩展特征项作为基础,对查询扩... 针对基于关键字的搜索引擎缺乏语义的问题,提出了一种面向专业领域的语义搜索引擎模型。以领域本体形式化描述为基础,构建本体语义框架,进而给出语义搜索模型。在模型中,以概念、概念-实例以及关键字等3种扩展特征项作为基础,对查询扩展算法和文档语义标注算法进行了研究,并且构建了语义索引,通过引入向量空间模型判定扩展检索词与语义文档的相似度。实验结果表明,该模型较传统模型较大提高了检索的查准率和查全率。 展开更多
关键词 搜索引擎 语义索引 查询扩展 语义标注 领域本体
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部