期刊文献+
共找到104篇文章
< 1 2 6 >
每页显示 20 50 100
一种基于有限状态机的模型转换方法 被引量:9
1
作者 颜玉兰 何克清 刘进 《计算机工程》 CAS CSCD 北大核心 2006年第1期93-95,200,共4页
为实现模型的自动转换,通过定义一个清晰的基于规则的模型转换框架,提出了一种基于有限状态机的模型转换方法,用有限状态机技术解决转换规则的实现问题,并定义了适合规则实现机制的形式表示法,然后结合UML模型到SQL模型转换的典型场景,... 为实现模型的自动转换,通过定义一个清晰的基于规则的模型转换框架,提出了一种基于有限状态机的模型转换方法,用有限状态机技术解决转换规则的实现问题,并定义了适合规则实现机制的形式表示法,然后结合UML模型到SQL模型转换的典型场景,通过一个模型转换示例说明模型转换方法的具体应用,结果表明了该方法的可行性和有效性。该方法适用于状态明显的模型之间的转换,促进了模型自动转换的应用和发展。 展开更多
关键词 模型驱动开发 模型转换规则 有限状态机
下载PDF
一种基于规则的模型转换方法 被引量:3
2
作者 张征 何克清 刘进 《计算机应用研究》 CSCD 北大核心 2005年第10期16-19,共4页
尽管模型驱动开发(MDD)代表软件工程的发展方向,但是目前MDD还缺乏一套完整的转换规则描述方法和相应的实现机制,难以实现模型的自动转换。为此定义了一个平台独立模型到平台相关模型的转换框架,采用UML活动图说明模型转换的实现机制;基... 尽管模型驱动开发(MDD)代表软件工程的发展方向,但是目前MDD还缺乏一套完整的转换规则描述方法和相应的实现机制,难以实现模型的自动转换。为此定义了一个平台独立模型到平台相关模型的转换框架,采用UML活动图说明模型转换的实现机制;基于OCL定义了转换规则的表示法,并结合UML模型到Java模型的转换给出了转换规则的定义。最后在一个具体的实例中验证了此方法的合理性和易用性。 展开更多
关键词 模型驱动开发 模型转换 转换规则
下载PDF
一个支持模型驱动开发的元建模平台的研制 被引量:7
3
作者 麻志毅 刘辉 +3 位作者 何啸 张乐 吉喆 戈牧 《电子学报》 EI CAS CSCD 北大核心 2008年第4期731-736,共6页
由于当今软件系统的复杂性,模型驱动的软件开发中需要的建模语言和转换定义语言往往是多种多样的.本文阐述了对一个可满足这种需要的元建模平台的研制.其中着重论述了对建模语言的元模型和表示法进行建模的技术,建模语言质量保证机制,... 由于当今软件系统的复杂性,模型驱动的软件开发中需要的建模语言和转换定义语言往往是多种多样的.本文阐述了对一个可满足这种需要的元建模平台的研制.其中着重论述了对建模语言的元模型和表示法进行建模的技术,建模语言质量保证机制,以及针对所建立的建模语言和转换定义语言提供自动生成相应工具的设施. 展开更多
关键词 元建模 模型驱动开发 平台
下载PDF
多维关注分离的模型驱动过程框架设计方法 被引量:6
4
作者 段玉聪 顾毓清 《软件学报》 EI CSCD 北大核心 2006年第8期1707-1716,共10页
当前,许多模型驱动软件项目过程采用多种开发方式相结合的形式.但开发方式的比较、选择、组合操作却缺少系统化的方法指导.提出一种多维关注分离的开发过程框架设计方法.采用一般化、行为化和抽象化作为元关注维,对开发方式进行比较.结... 当前,许多模型驱动软件项目过程采用多种开发方式相结合的形式.但开发方式的比较、选择、组合操作却缺少系统化的方法指导.提出一种多维关注分离的开发过程框架设计方法.采用一般化、行为化和抽象化作为元关注维,对开发方式进行比较.结合这三维的期望演化曲线,给出过程实现模型框架.对于模型驱动开发过程的提高开发效率、增强可跟踪性和保证一致性等非功能性需求有一定的参考意义. 展开更多
关键词 多维关注分离 过程框架 模型驱动开发
下载PDF
一种可扩展的用户界面描述语言 被引量:7
5
作者 杜一 邓昌智 +2 位作者 田丰 任磊 戴国忠 《软件学报》 EI CSCD 北大核心 2013年第5期1127-1142,共16页
用户界面描述语言是实现模型驱动的用户界面开发的重要方式.当前的用户界面描述语言一方面在对不同物理特性的交互设备上的用户界面的描述能力不足;另一方面,缺乏可扩展性及界面描述的组成部分的可复用性.针对上述问题,设计出一种界面... 用户界面描述语言是实现模型驱动的用户界面开发的重要方式.当前的用户界面描述语言一方面在对不同物理特性的交互设备上的用户界面的描述能力不足;另一方面,缺乏可扩展性及界面描述的组成部分的可复用性.针对上述问题,设计出一种界面描述语言——E-UIDL(extensible user interface description language).该语言遵循层次化、模块化的设计原则,能够支持多设备、多通道的用户界面的描述,并通过实例说明描述语言对笔式用户界面开发、多设备界面自动生成以及自适应用户界面开发的支持,深入地阐述了E-UIDL的特性. 展开更多
关键词 用户界面描述语言 笔式用户界面 XML 模型驱动 用户界面开发
下载PDF
一种模型驱动的嵌入式控制软件设计技术研究 被引量:6
6
作者 刘兴华 曹云峰 《系统仿真学报》 CAS CSCD 北大核心 2013年第7期1530-1534,1567,共6页
针对当前嵌入式控制软件开发方法的不足,研究了一种将常规模型驱动开发技术与基于模型系统设计方法相结合的嵌入式控制软件模型驱动开发技术,首先分析了其应该具备的功能、特征并给出了方案实施步骤;然后,详细研究了方案中的PIM模型设... 针对当前嵌入式控制软件开发方法的不足,研究了一种将常规模型驱动开发技术与基于模型系统设计方法相结合的嵌入式控制软件模型驱动开发技术,首先分析了其应该具备的功能、特征并给出了方案实施步骤;然后,详细研究了方案中的PIM模型设计方法、PSM模型(代码)层次结构及OXF框架,并开发了针对Arm-Linux平台的适配器;最后,给出了基于该方法设计的微型飞行器控制软件运行测试实例。 展开更多
关键词 嵌入式控制软件 统一建模语言 模型驱动开发 软件设计
下载PDF
面向嵌入式软件开发的UML到Simulink模型转换方法 被引量:5
7
作者 郭鹏 李亚晖 +1 位作者 孙磊 蔡晓乐 《计算机科学》 CSCD 北大核心 2016年第2期192-198,共7页
模型驱动开发及其关键技术模型转换是近年来软件工程领域研究的热点。在嵌入式软件开发早期,不仅需要对设计模型进行静态分析,更需要对其进行动态仿真,验证系统设计的正确性。如何把设计模型和仿真模型无缝连接起来是工业部门亟待解决... 模型驱动开发及其关键技术模型转换是近年来软件工程领域研究的热点。在嵌入式软件开发早期,不仅需要对设计模型进行静态分析,更需要对其进行动态仿真,验证系统设计的正确性。如何把设计模型和仿真模型无缝连接起来是工业部门亟待解决的问题。深入调研了UML和Simulink模型转换研究现状,详细分析了模型驱动开发中模型转换的相关技术,提出了一种UML到Simulink的模型转换方法,设计了UML元模型、Simulink元模型,撰写了UML元模型到Simulink元模型的映射规则。最后选取自动驾驶仪系统的飞行控制软件作为案例,验证了该方法的正确性。该方法能实现UML和Simulink两种异构模型同构化,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为飞行控制系统、高速铁路控制、机载航电系统等嵌入式软件开发提供了技术支持。 展开更多
关键词 模型驱动开发 模型转换 元模型 ATL UML SIMULINK
下载PDF
一种基于语义重构的模型映射方法 被引量:4
8
作者 杨潇 万建成 侯金奎 《计算机工程》 CAS CSCD 北大核心 2007年第23期45-47,50,共4页
通过对模型描述语言的语法结构和语义表达特性的抽象分析,提出了一种基于语义重构的模型映射方法。该方法通过归纳分析建立抽象目标语义模型,基于源模型语义域在目标语义域中的重新构造,以目标语义模型为中介建立源模型到目标模型的映... 通过对模型描述语言的语法结构和语义表达特性的抽象分析,提出了一种基于语义重构的模型映射方法。该方法通过归纳分析建立抽象目标语义模型,基于源模型语义域在目标语义域中的重新构造,以目标语义模型为中介建立源模型到目标模型的映射关系。该方法不仅可为模型转换的具体实现提供理论指导,还可为验证不同抽象层次模型之间映射关系的正确性提供依据。以JSF+EJB为目标平台阐述了该方法的应用。 展开更多
关键词 模型驱动开发 模型映射 语义重构 语义一致性
下载PDF
一种支持模型驱动开发的Web用户界面建模方法 被引量:4
9
作者 侯金奎 张玉艳 +1 位作者 万建成 李晓龙 《计算机应用》 CSCD 北大核心 2006年第6期1446-1448,共3页
针对W eb应用的特点,提出了一种基于XML和界面模板技术的界面建模方法。该方法以图形化的方式在模型层展示了W eb用户界面的直观样式,能够对模型驱动的软件开发提供有力的支持。
关键词 WEB用户界面 界面模板 XML 模型驱动开发
下载PDF
基于NuSMV的SysML模型形式化验证 被引量:4
10
作者 邓刘梦 葛晓瑜 宛伟健 《计算机技术与发展》 2019年第10期153-156,共4页
航空航天道路交通等高安全领域的系统开发需要保证高安全、高可靠,对于该类系统的合理建模以及模型验证则尤为重要。当前模型驱动开发方法已经广泛应用于安全关键系统的开发过程中,它支持在早期就对系统进行安全分析和验证,有效地控制... 航空航天道路交通等高安全领域的系统开发需要保证高安全、高可靠,对于该类系统的合理建模以及模型验证则尤为重要。当前模型驱动开发方法已经广泛应用于安全关键系统的开发过程中,它支持在早期就对系统进行安全分析和验证,有效地控制开发时间和成本,并降低系统出现风险的可能性。但与此同时,需求与设计模型之间仍然存在着沟壑,设计模型是否很好地满足用户所提出的需求在完成系统设计后仍需验证。针对系统建模语言缺乏精确形式化语义难以进行模型验证的问题,文中给出一套从SysML设计模型到NuSMV模型转换的语义规则,实现了一个自动转换程序,将SysML模型文件转换成NuSMV输入文件,进而利用NuSMV实现SysML模型的验证。最后通过一个铁路控制系统的案例证明了该方法的有效性。 展开更多
关键词 需求工程 模型转换 形式化验证 模型驱动开发
下载PDF
基于多尺度描述方法的移动用户界面生成框架 被引量:4
11
作者 杜一 田丰 +2 位作者 马翠霞 戴国忠 王宏安 《计算机学报》 EI CSCD 北大核心 2013年第11期2179-2190,共12页
用户界面自动生成技术随着移动设备及用户界面的多样化而变得越来越重要.当前用户界面生成技术的主要问题是缺少对界面进行良好描述的界面描述语言,或者生成的界面依然遵循传统的图形用户界面的规范.针对上述问题,文中首先提出一种多尺... 用户界面自动生成技术随着移动设备及用户界面的多样化而变得越来越重要.当前用户界面生成技术的主要问题是缺少对界面进行良好描述的界面描述语言,或者生成的界面依然遵循传统的图形用户界面的规范.针对上述问题,文中首先提出一种多尺度的界面描述方法,该方法能够在不同的层次上对界面进行模块化的描述;然后以该描述方法为基础,提出一种基于该方法的移动界面生成框架;在框架中,该文尝试对当前移动设备的界面进行控件级别的分析,并详细介绍了框架中涉及的关键算法.该方法能够提高需求分析人员、界面设计人员及界面开发人员的工作效率,降低因不同领域知识导致的额外的沟通成本. 展开更多
关键词 用户界面描述语言 用户界面生成 移动计算 用户界面开发 模型驱动的开发 移动互联网
下载PDF
基于模型驱动的省级林业有害生物灾害监测与预警平台 被引量:4
12
作者 王志宝 刘丽 +2 位作者 常原飞 乔彦友 文必龙 《东北林业大学学报》 CAS CSCD 北大核心 2013年第7期155-159,167,共6页
针对省级林业有害生物灾害监测与预警系统建设中,各省需求不一致,单省需求变化快的问题,借鉴OMG的MDA软件开发方法,提出了软件运行期元数据模型驱动的系统架构。针对流程管理、WebGIS、动态表单需求,给出了FPM-BPM元模型、FPM-GIS元模型... 针对省级林业有害生物灾害监测与预警系统建设中,各省需求不一致,单省需求变化快的问题,借鉴OMG的MDA软件开发方法,提出了软件运行期元数据模型驱动的系统架构。针对流程管理、WebGIS、动态表单需求,给出了FPM-BPM元模型、FPM-GIS元模型、FPM-Form元模型,开发了基于元模型的建模工具、执行引擎,最后采用模型组装的方式实现业务系统构造。原型验证及工程实践证明:平台具有良好的适应性,可快速定制随需演化,有效支撑省级林业部门的有害生物灾害监测与预警业务。 展开更多
关键词 林业有害生物监测 模型驱动 软件定制开发 WEBGIS 元模型
下载PDF
支持模型驱动式软件开发的建模语言框架研究 被引量:4
13
作者 李晋 战德臣 +1 位作者 聂兰顺 徐晓飞 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第4期464-475,共12页
随着模型驱动体系结构(model driven architecture,MDA)技术和环境的不断发展,模型驱动软件开发(model driven development,MDD)已经成为一种新的软件开发模式,对于MDD软件开发过程中的核心问题,即面向不同应用领域需要多种建模语言支... 随着模型驱动体系结构(model driven architecture,MDA)技术和环境的不断发展,模型驱动软件开发(model driven development,MDD)已经成为一种新的软件开发模式,对于MDD软件开发过程中的核心问题,即面向不同应用领域需要多种建模语言支持模型的建立和模型之间的转换,其中,模型转换问题的有效解决直接取决于模型如何建立.针对这些核心问题,提出了一个基于元对象机制(metaobject facility,MOF)的建模语言体系结构,支持定义建模语言的抽象语法和具体语法.该体系结构能够有效地纳入、精化统一建模语言(unified modeling language,UML)等现有的建模语言,并支持按需定义新的建模语言,支持建模语言的演化以实现不同应用领域的建模.针对模型转换与模型验证所必须的模型形式化要求,引入网络本体语言(web ontology language,OWL)实现了建模语言的形式化描述.基于Eclipse设计实现了支持该体系结构的建模工具ICE-Modeling Tool,整合现有业务和软件建模语言并扩展定义了一套完整的MDD模型元素体系,所提出的模型元素体系及工具能够支持MDD软件开发过程中准确描述语义,低成本、有效进行模型转换及快速验证模型,在物流服务行业的应用初步验证了体系结构和工具的有效性. 展开更多
关键词 模型驱动软件开发 元对象机制 建模语言 网络本体语言
下载PDF
基于模型驱动的ERP平台二次开发的设计与实现 被引量:3
14
作者 郭芳周 申永军 孙素静 《计算机工程与设计》 CSCD 北大核心 2008年第21期5490-5493,共4页
当今ERP软件发展的新方向有两个,一是ERP系统如何进行快速高效地开发,二是具备良好的扩展能力。根据新方向发展要求,提出了平台化的ERP系统与基于模型驱动二次开发的设计思想,并结合实际案例给出了具体实现技术。基于模型的设计快速实现... 当今ERP软件发展的新方向有两个,一是ERP系统如何进行快速高效地开发,二是具备良好的扩展能力。根据新方向发展要求,提出了平台化的ERP系统与基于模型驱动二次开发的设计思想,并结合实际案例给出了具体实现技术。基于模型的设计快速实现了ERP系统的开发,真正增强了系统的可扩展性,为企业解决ERP软件的高效扩展开发和成功实施提供了一种新的方法。 展开更多
关键词 ERP平台 模型驱动 二次开发 ERP系统 表单模型
下载PDF
模型驱动方法在Struts2框架中的应用与研究 被引量:3
15
作者 赵永晖 《电脑开发与应用》 2014年第2期12-13,共2页
采用Struts2等框架开发WEB应用存在支撑工具少、模型重用率低等问题。为此,提出基于Struts2框架的模型驱动开发方法,该方法首先使用棒性分析法构建平台无关模型(PIM),然后把PIM转换成PSM,最后由PSM生成程序代码。该方法的实施有效地解... 采用Struts2等框架开发WEB应用存在支撑工具少、模型重用率低等问题。为此,提出基于Struts2框架的模型驱动开发方法,该方法首先使用棒性分析法构建平台无关模型(PIM),然后把PIM转换成PSM,最后由PSM生成程序代码。该方法的实施有效地解决了以上问题,提高了软件开发的效率和质量。 展开更多
关键词 模型驱动开发 STRUTS2 模型转换
下载PDF
Investigation of Tools, Techniques and Languages for Model Driven Software Product Lines (SPL): A Systematic Literature Review 被引量:1
16
作者 Nazish Yousaf Maham Akram +1 位作者 Amna Bhatti Ammara Zaib 《Journal of Software Engineering and Applications》 2019年第7期293-306,共14页
Software development is a complex and difficult task that requires the investment of sufficient resources and carries major risk of failure. Model Driven Engineering (MDE) focuses on creating software models and autom... Software development is a complex and difficult task that requires the investment of sufficient resources and carries major risk of failure. Model Driven Engineering (MDE) focuses on creating software models and automating code generation from the models. Model Driven Software Development (MDSD) offers significantly more effective approaches. These approaches improve the way of building software. Model driven approaches partially increase developer productivity, decrease the cost of software construction, improve software reusability, and make software more maintainable. This paper investigates the methods where Model Driven Software Development is integrated with Software Product Line (SPL). This SLR has been conducted to identify 71 research works published since 2014. We have collected 18 tools, 14 techniques and 17 languages used for MDSD for SPL. We analyze which technique is suitable for SPL. We compare the techniques on the basis of features provided by these tools to understand the better-quality results. 展开更多
关键词 model driven SPL model Based PRODUCT LINES modeling for SPL model development for SPL
下载PDF
基于公共信息模型的电力项目管理模型设计 被引量:3
17
作者 徐尧强 舒乔晔 +2 位作者 黄昭 周瑾 王康元 《能源工程》 2021年第4期76-80,共5页
国家电网公司的公共数据模型(SG-CIM)已经更新至4.8版本,但在很多领域仍未足够精细。基于项目管理业务给出一种建模的技术路线,并就模型的应用给出建议;以华东分部的各业务系统中关于项目管理部分的信息为依据,以业务流程为导向;参考IEC... 国家电网公司的公共数据模型(SG-CIM)已经更新至4.8版本,但在很多领域仍未足够精细。基于项目管理业务给出一种建模的技术路线,并就模型的应用给出建议;以华东分部的各业务系统中关于项目管理部分的信息为依据,以业务流程为导向;参考IEC 61968-100标准中InfERPSupport包中的类,以及企业资源计划(ERP)中对于组织和人员的描述,使得给出的模型能够抽象项目管理全业务;最后基于该领域模型完成基于开放应用程序组集成规范(OAGIS)的系统间信息交互设计。 展开更多
关键词 CIM 项目管理 ERP 模型驱动开发
下载PDF
AADL模型的形式化研究 被引量:3
18
作者 刘玮 李蜀瑜 《计算机技术与发展》 2013年第9期43-45,50,共4页
在嵌入式系统建模领域,AADL以其软硬件协同建模的特点已经逐渐成为业界的标准。围绕AADL的形式化特点,国内外众多学者展开了热烈的讨论。为了帮助系统开发人员深入了解AADL,指导软件开发进程,提高基于AADL模型的软件开发效率,分别从AAD... 在嵌入式系统建模领域,AADL以其软硬件协同建模的特点已经逐渐成为业界的标准。围绕AADL的形式化特点,国内外众多学者展开了热烈的讨论。为了帮助系统开发人员深入了解AADL,指导软件开发进程,提高基于AADL模型的软件开发效率,分别从AADL模型可靠性分析、可调度性分析以及AADL模型测试这三个不同角度综述了已经出现的各种AADL形式化验证理论,对比分析了它们的优点和不足。简要介绍有关AADL验证工具,研究基于AADL模型的嵌入式开发平台的构建。 展开更多
关键词 模型驱动 结构化分析和设计语言 形式化研究 开发平台
下载PDF
一种基于模型驱动的笔式界面开发框架研究 被引量:3
19
作者 陈明炫 邓昌智 +2 位作者 任磊 田丰 戴国忠 《电子学报》 EI CAS CSCD 北大核心 2011年第2期268-274,共7页
本文针对笔式用户界面开发的需求个性化、平台多样化和开发难度大的问题,提出了一种基于模型驱动的笔式界面开发框架.首先,提出了一种笔式用户界面开发架构,对笔式用户界面的特点进行抽象与描述;然后基于模型驱动开发方法提出了笔式界... 本文针对笔式用户界面开发的需求个性化、平台多样化和开发难度大的问题,提出了一种基于模型驱动的笔式界面开发框架.首先,提出了一种笔式用户界面开发架构,对笔式用户界面的特点进行抽象与描述;然后基于模型驱动开发方法提出了笔式界面的平台无关模型PIPIM以及笔式界面的平台相关模型PIPSM,并建立了PIPIM与PIPSM之间的转换方法;最后,给出了一个基于模型驱动的笔式界面开发工具Iris,并使用Iris开发了一个笔式个人信息管理系统.应用实例表明:该基于模型驱动的笔式界面开发框架能够有效支持笔式界面开发、降低开发复杂性. 展开更多
关键词 模型驱动 笔式界面 软件开发方法 人机交互
下载PDF
一种模型驱动的笔式表单界面软件开发方法 被引量:2
20
作者 樊银亭 滕东兴 +3 位作者 马翠霞 杨海燕 戴国忠 王宏安 《计算机研究与发展》 EI CSCD 北大核心 2012年第12期2671-2685,共15页
由于用传统的开发方法开发笔式表单界面软件,开发周期长、成本高且难以适应需求变更,难以提供用户概念模型和系统实现模型相一致的软件,针对此问题,提出了一种模型驱动的笔式表单界面软件开发方法,首先提出笔式表单用户界面模型——PFU... 由于用传统的开发方法开发笔式表单界面软件,开发周期长、成本高且难以适应需求变更,难以提供用户概念模型和系统实现模型相一致的软件,针对此问题,提出了一种模型驱动的笔式表单界面软件开发方法,首先提出笔式表单用户界面模型——PFUIM.然后,基于PFUIM提出模型驱动的笔式界面软件的开发框架.该框架描述了笔式用户界面软件的开发模型,详细论述了各个模型的结构以及模型之间的关系;最后,在开发框架的基础上,提出了开发笔式表单界面软件的建模方法和系统自动生成方法,并通过一个实例说明该框架指导笔式表单界面软件开发的指导作用. 展开更多
关键词 笔交互 电子表单 模型驱动 表单用户界面 开发方法 MDA
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部