一个支持模型驱动开发的元建模平台的研制 被引量：7

1

作者 麻志毅 刘辉 +3 位作者 何啸 张乐 吉喆 戈牧 《电子学报》 EI CAS CSCD 北大核心 2008年第4期731-736,共6页

由于当今软件系统的复杂性,模型驱动的软件开发中需要的建模语言和转换定义语言往往是多种多样的.本文阐述了对一个可满足这种需要的元建模平台的研制.其中着重论述了对建模语言的元模型和表示法进行建模的技术,建模语言质量保证机制,... 由于当今软件系统的复杂性,模型驱动的软件开发中需要的建模语言和转换定义语言往往是多种多样的.本文阐述了对一个可满足这种需要的元建模平台的研制.其中着重论述了对建模语言的元模型和表示法进行建模的技术,建模语言质量保证机制,以及针对所建立的建模语言和转换定义语言提供自动生成相应工具的设施. 展开更多

关键词 元建模 模型驱动开发 平台

在线阅读 下载PDF 职称材料

一种支持模型驱动开发的Web用户界面建模方法 被引量：4

2

作者 侯金奎 张玉艳 +1 位作者 万建成 李晓龙 《计算机应用》 CSCD 北大核心 2006年第6期1446-1448,共3页

针对W eb应用的特点,提出了一种基于XML和界面模板技术的界面建模方法。该方法以图形化的方式在模型层展示了W eb用户界面的直观样式,能够对模型驱动的软件开发提供有力的支持。

关键词 WEB用户界面 界面模板 XML 模型驱动开发

在线阅读 下载PDF 职称材料

模型驱动开发方法的应用研究 被引量：14

3

作者 王赟华 陈蔚薇 《计算机工程》 EI CAS CSCD 北大核心 2006年第13期63-65,共3页

为了研究最先进的模型驱动开发方法,并将之应用于工程,以提高工程的质量和效率,该文采用了Telelogic公司的UML2.0工具Tau Developer,利用其最强大的两个功能——模型验证和代码自动生成,进行了某空间实验设备的热控系统建模设计,实现了... 为了研究最先进的模型驱动开发方法,并将之应用于工程,以提高工程的质量和效率,该文采用了Telelogic公司的UML2.0工具Tau Developer,利用其最强大的两个功能——模型验证和代码自动生成,进行了某空间实验设备的热控系统建模设计,实现了模型验证和代码自动生成。 展开更多

关键词 UML 模型驱动架构 模型驱动开发 模型验证 代码自动生成

在线阅读 下载PDF 职称材料

支持模型驱动开发的飞控系统数字样机设计 被引量：12

4

作者 刘兴华 曹云峰 《计算机集成制造系统》 EI CSCD 北大核心 2011年第1期23-29,共7页

针对飞控系统设计面临的各种问题,研究了一种基于图形化建模语言、支持模型驱动开发的飞控系统数字样机设计技术。基于Rhapsody,STATEMATE,Simulink等搭建了用于飞控系统数字样机设计的支撑平台,研究了基于支撑平台的飞控系统数字样机... 针对飞控系统设计面临的各种问题,研究了一种基于图形化建模语言、支持模型驱动开发的飞控系统数字样机设计技术。基于Rhapsody,STATEMATE,Simulink等搭建了用于飞控系统数字样机设计的支撑平台,研究了基于支撑平台的飞控系统数字样机设计流程及数字样机的四个不同侧面;以一小型无人机飞控系统为例,详细介绍了其数字样机设计,并进行了两个层次的检查和仿真验证。设计实践表明该方法能有效缩短设计时间,提高设计质量,支持后期软件的模型驱动开发,适用于各类飞行器控制系统数字样机的设计。 展开更多

关键词 无人机 飞控系统 数字样机 支撑平台 模型驱动开发

在线阅读 下载PDF 职称材料

面向Web Services的模型驱动开发方法 被引量：1

5

作者 于笑丰 胡军 +1 位作者 李宣东 郑国梁 《计算机科学》 CSCD 北大核心 2006年第4期260-265,共6页

随着分布式对象技术的发展和电子商务应用的扩大,Web Services 技术应运而生。由于在解决异构软件的交互和企业系统集成问题上表现了极大潜力,因此学术界和工业界对 Web Services 都备加关注。MDA 是 OMG 提出的用于解决不同中间件系统... 随着分布式对象技术的发展和电子商务应用的扩大,Web Services 技术应运而生。由于在解决异构软件的交互和企业系统集成问题上表现了极大潜力,因此学术界和工业界对 Web Services 都备加关注。MDA 是 OMG 提出的用于解决不同中间件系统交互和集成问题的新的软件开发方法,是目前软件工程领域最引人注目的研究热点。本文阐述了 Web Services 和 MDA 的基本概念,对二者的交叉研究进行了分析和综述,提出了面向 Web Services 的模型驱动开发框架,并对未来工作做了展望。 展开更多

关键词 WEB SERVICES 模型驱动开发 MDA

在线阅读 下载PDF 职称材料

搜索引擎系统:UML/OCL模型驱动开发

6

作者 马苏拉 朱盛 《计算机工程与应用》 CSCD 北大核心 2010年第22期54-61,共8页

介绍一个搜索引擎系统的开发。运用UML用例图做系统的需求分析,运用UML类图、状态图、包图进行系统设计。以OCL表达式丰富状态图。使用C#语言和ASP.NET编程,SQLServer存储信息,系统运行在微软.NET环境上。遵循面向对象方法,如逐步求精... 介绍一个搜索引擎系统的开发。运用UML用例图做系统的需求分析,运用UML类图、状态图、包图进行系统设计。以OCL表达式丰富状态图。使用C#语言和ASP.NET编程,SQLServer存储信息,系统运行在微软.NET环境上。遵循面向对象方法,如逐步求精和模块化,建立UML/OCL模型、组织程序,将系统逐层分解成具有特定功能的模块。系统由收集器、索引器、检索器三大部分组成,分别负责数据收集、数据分析和索引构建、用户检索接口。论文报告系统分析、设计和实现的思想和过程。 展开更多

关键词 模型驱动开发 面向对象程序设计 对象约束语言(OCL) 搜索引擎 软件工程 统一建模语言(UML)

在线阅读 下载PDF 职称材料

支持模型驱动开发的软构件形式化描述方法 被引量：2

7

作者 侯金奎 王成端 《计算机应用》 CSCD 北大核心 2015年第9期2692-2700,共9页

针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法。在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探... 针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法。在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探讨,从图表结构、端口与配置约束、外部行为以及可替换性等四个方面对特性约束保持的问题进行了描述,并建立了相应的判定标准。该方法能为模型之间转换规则的定义提供指导,并为模型转换的效果分析和正确性验证提供依据。应用研究表明,该方法使得构件模型的语义描述能力显著增强,可作为已有软件建模方法的一个有效补充。 展开更多

关键词 模型驱动的软件开发 模型转换 特性描述 语义验证

在线阅读 下载PDF 职称材料

模型驱动开发在安全苛求系统中的应用

8

作者 王庆胜 朱罕 《城市轨道交通研究》 北大核心 2016年第B08期55-59,共5页

主要探讨了安全苛求系统在新需求下,如何在提高软件功能安全性的同时保证软件的质量和可信性。首先分析了在典型领域内安全苛求系统开发的标准流程,然后提出了基于模型驱动开发(MDD)SCADE(安全苛求应用开发环境)工具的开发流程。目的是... 主要探讨了安全苛求系统在新需求下,如何在提高软件功能安全性的同时保证软件的质量和可信性。首先分析了在典型领域内安全苛求系统开发的标准流程,然后提出了基于模型驱动开发(MDD)SCADE(安全苛求应用开发环境)工具的开发流程。目的是规范和指导领域内安全苛求系统中的MDD开发,最终可以实现降低软件开发成本、提高软件交付质量和确保软件安全性的目的。 展开更多

关键词 安全苛求系统 模型驱动开发 安全苛求应用开发环境

在线阅读 下载PDF 职称材料

基于模型驱动的Web应用服务系统开发理论框架 被引量：5

9

作者 侯金奎 鹿旭东 +1 位作者 陈春雷 王磊 《小型微型计算机系统》 CSCD 北大核心 2018年第10期2345-2352,共8页

从软件设计实践出发,针对基于Web应用服务和设计模式的软件设计方法,提出了一种新的模型驱动开发理论框架.该框架以类型范畴理论为基础,以服务构件标识为范畴对象,以服务构件之间的交互和依赖关系为范畴态射,从而用范畴图表给出了软件... 从软件设计实践出发,针对基于Web应用服务和设计模式的软件设计方法,提出了一种新的模型驱动开发理论框架.该框架以类型范畴理论为基础,以服务构件标识为范畴对象,以服务构件之间的交互和依赖关系为范畴态射,从而用范畴图表给出了软件体系结构模型的框架描述.设计模式看成是构件规范的模板,模板的实例化和规范的集成过程就是软件设计和实现的过程,从而建立起了模型转换和精化中特性描述和一致性研究的统一框架.应用研究表明,该框架符合模型驱动软件设计的本质要求,为模型转换和模型驱动的Web应用服务开发提供了新的认知、分析和研究的指导架构. 展开更多

关键词 Web应用服务系统 模型驱动开发 模型转换 模型精化

在线阅读 下载PDF 职称材料

一种模型驱动的Web应用系统开发方法

10

作者 侯金奎 万建成 王帅强 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2007年第S1期92-96,共5页

为解决模型驱动开发过程中高层模型描述和模型转换方面存在的问题,以软件体系结构为基础,通过对UML进行扩展,提出了一种平台无关的Web应用建模方法,包括体系结构模型、逻辑视图、静态视图和界面展示视图四部分。然后基于源模型语义特征... 为解决模型驱动开发过程中高层模型描述和模型转换方面存在的问题,以软件体系结构为基础,通过对UML进行扩展,提出了一种平台无关的Web应用建模方法,包括体系结构模型、逻辑视图、静态视图和界面展示视图四部分。然后基于源模型语义特征在目标语义域中的重新构造,依据转换两端建模元素的语法结构和语义表达特性定义模型间的映射规则,实现模型转换和目标代码生成。以J2EE作为目标平台进行实验验证,表明此方法保持了高层模型的平台无关特性,能够对模型驱动的软件开发提供有力的支持。 展开更多

关键词 模型驱动开发 WEB应用系统 平台无关模型 模型映射

在线阅读 下载PDF 职称材料

支持模型驱动式软件开发的建模语言框架研究 被引量：4

11

作者 李晋 战德臣 +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 职称材料

面向嵌入式软件开发的UML到Simulink模型转换方法 被引量：5

12

作者 郭鹏 李亚晖 +1 位作者 孙磊 蔡晓乐 《计算机科学》 CSCD 北大核心 2016年第2期192-198,共7页

模型驱动开发及其关键技术模型转换是近年来软件工程领域研究的热点。在嵌入式软件开发早期,不仅需要对设计模型进行静态分析,更需要对其进行动态仿真,验证系统设计的正确性。如何把设计模型和仿真模型无缝连接起来是工业部门亟待解决... 模型驱动开发及其关键技术模型转换是近年来软件工程领域研究的热点。在嵌入式软件开发早期,不仅需要对设计模型进行静态分析,更需要对其进行动态仿真,验证系统设计的正确性。如何把设计模型和仿真模型无缝连接起来是工业部门亟待解决的问题。深入调研了UML和Simulink模型转换研究现状,详细分析了模型驱动开发中模型转换的相关技术,提出了一种UML到Simulink的模型转换方法,设计了UML元模型、Simulink元模型,撰写了UML元模型到Simulink元模型的映射规则。最后选取自动驾驶仪系统的飞行控制软件作为案例,验证了该方法的正确性。该方法能实现UML和Simulink两种异构模型同构化,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为飞行控制系统、高速铁路控制、机载航电系统等嵌入式软件开发提供了技术支持。 展开更多

关键词 模型驱动开发 模型转换 元模型 ATL UML SIMULINK

在线阅读 下载PDF 职称材料

多维关注分离的模型驱动过程框架设计方法 被引量：6

13

作者 段玉聪 顾毓清 《软件学报》 EI CSCD 北大核心 2006年第8期1707-1716,共10页

当前,许多模型驱动软件项目过程采用多种开发方式相结合的形式.但开发方式的比较、选择、组合操作却缺少系统化的方法指导.提出一种多维关注分离的开发过程框架设计方法.采用一般化、行为化和抽象化作为元关注维,对开发方式进行比较.结... 当前,许多模型驱动软件项目过程采用多种开发方式相结合的形式.但开发方式的比较、选择、组合操作却缺少系统化的方法指导.提出一种多维关注分离的开发过程框架设计方法.采用一般化、行为化和抽象化作为元关注维,对开发方式进行比较.结合这三维的期望演化曲线,给出过程实现模型框架.对于模型驱动开发过程的提高开发效率、增强可跟踪性和保证一致性等非功能性需求有一定的参考意义. 展开更多

关键词 多维关注分离 过程框架 模型驱动开发

在线阅读 下载PDF 职称材料

一种模型驱动的嵌入式控制软件设计技术研究 被引量：6

14

作者 刘兴华 曹云峰 《系统仿真学报》 CAS CSCD 北大核心 2013年第7期1530-1534,1567,共6页

针对当前嵌入式控制软件开发方法的不足,研究了一种将常规模型驱动开发技术与基于模型系统设计方法相结合的嵌入式控制软件模型驱动开发技术,首先分析了其应该具备的功能、特征并给出了方案实施步骤;然后,详细研究了方案中的PIM模型设... 针对当前嵌入式控制软件开发方法的不足,研究了一种将常规模型驱动开发技术与基于模型系统设计方法相结合的嵌入式控制软件模型驱动开发技术,首先分析了其应该具备的功能、特征并给出了方案实施步骤;然后,详细研究了方案中的PIM模型设计方法、PSM模型(代码)层次结构及OXF框架,并开发了针对Arm-Linux平台的适配器;最后,给出了基于该方法设计的微型飞行器控制软件运行测试实例。 展开更多

关键词 嵌入式控制软件 统一建模语言 模型驱动开发 软件设计

在线阅读 下载PDF 职称材料

基于模型驱动的海洋环境数据平台研究与应用 被引量：1

15

作者 刘美健 《海洋通报》 CAS CSCD 北大核心 2014年第2期193-198,221,共7页

设计了基于模型驱动架构的海洋环境数据平台,论述了其数据模型设计和功能设计,开发了基于Web Services平台原型系统。该平台以数据对象模型为核心,实现了海洋环境数据与用户业务逻辑的松散耦合,解决了传统数据库设计模式在面对具有时空... 设计了基于模型驱动架构的海洋环境数据平台,论述了其数据模型设计和功能设计,开发了基于Web Services平台原型系统。该平台以数据对象模型为核心,实现了海洋环境数据与用户业务逻辑的松散耦合,解决了传统数据库设计模式在面对具有时空动态变化特性的海洋环境数据存储与管理时出现的效率低、扩展性和通用性不足等问题,提高了海洋数据管理效率和共享服务能力。 展开更多

关键词 模型驱动开发 元模型 数据平台 海洋环境数据

在线阅读 下载PDF 职称材料

基于自然语言需求的SCADE模型测试用例自动生成方法 被引量：3

16

作者 邵温欣 杨志斌 +1 位作者 李维 周勇 《计算机科学》 CSCD 北大核心 2024年第7期29-39,共11页

随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法... 随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法主要采用手工方式构造SCADE模型测试用例,存在需求与测试用例不一致、成本代价高且容易出错的问题。文中提出了一种基于自然语言需求的SCADE模型测试用例自动生成方法。首先,给出了基于模型检测的测试用例自动生成方法,通过自然语言需求处理生成原子命题,用于生成前提假设Assume和观察者模型,同时给出了陷阱性质(Trap Properties)生成规则来生成陷阱性质用于模型检测;其次,给出了基于覆盖分析和变异测试的测试用例质量评估方法,并在SCADE模型上进行变异测试;最后,设计和实现了原型工具,并基于一个工业界案例飞行员弹射座椅控制系统进行了案例分析,验证了所提方法的有效性。 展开更多

关键词 安全关键软件 模型驱动开发 SCADE 测试用例自动生成 模型检测

在线阅读 下载PDF 职称材料

一种模型驱动的可视化生成系统 被引量：12

17

作者 杜一 郭旦怀 +2 位作者 陈昕 任磊 戴国忠 《软件学报》 EI CSCD 北大核心 2016年第5期1199-1211,共13页

随着可视化与可视分析需求的增加,可视化开发所需的总成本不断提高.模型驱动的开发方法能够提高软件开发的效率,但在可视化开发中并没有发挥应有的作用.在此背景下,给出DVDL(data visualization description language)——一种模块化、... 随着可视化与可视分析需求的增加,可视化开发所需的总成本不断提高.模型驱动的开发方法能够提高软件开发的效率,但在可视化开发中并没有发挥应有的作用.在此背景下,给出DVDL(data visualization description language)——一种模块化、层次化描述的可视化描述语言,利用DVDL可以对组成可视化的各个部分进行不同抽象层次上的描述.在DVDL基础上,给出一种模型驱动的可视化生成系统DVIZ(data visualization).该系统通过数据源选择、可视化配置、发布与分享这3个步骤以及所见即所得的配置,实现可视化的快速生成;系统支持多可视化图形之间的交互与关联配置;并且该系统基于Web开发,支持多种社交平台,易于分享与传播. 展开更多

关键词 可视化系统 用户界面描述语言 模型驱动的开发方法 最终用户编程

在线阅读 下载PDF 职称材料

模型驱动的大数据流水线框架PiFlow 被引量：8

18

作者 朱小杰 赵子豪 杜一 《计算机应用》 CSCD 北大核心 2020年第6期1638-1647,共10页

复杂流程的大数据处理多依托于流水线系统,但大数据处理的流水线系统在易用性、功能复用性、扩展性以及处理性能等方面存在不足。针对上述问题,为提高大数据处理环境的构建与开发效率,优化处理流程,提出了一种模型驱动的大数据流水线框... 复杂流程的大数据处理多依托于流水线系统,但大数据处理的流水线系统在易用性、功能复用性、扩展性以及处理性能等方面存在不足。针对上述问题,为提高大数据处理环境的构建与开发效率,优化处理流程,提出了一种模型驱动的大数据流水线框架PiFlow。首先,将大数据处理过程抽象为有向无环图;然后,开发一系列组件用于构建数据处理流水线,并设计了流水线任务执行机制。同时,为规范和简化流水线框架的描述,设计了基于模型驱动的大数据流水线描述语言--PiFlowDL,该语言以模块化、层次化的方式对大数据处理任务进行描述。PiFlow以所见即所得(WYSIWYG)的方式配置流水线,集成了状态监控、模板配置、组件集成等功能,与Apache NiFi相比有2~7倍的性能提升。 展开更多

关键词 大数据 流水线 流水线调度 模型驱动的开发方法 数据处理

在线阅读 下载PDF 职称材料

构件式体系结构模型映射的形式化语义 被引量：8

19

作者 侯金奎 万建成 +1 位作者 杨潇 王海洋 《计算机研究与发展》 EI CSCD 北大核心 2009年第2期310-320,共11页

语义一致性是模型驱动开发中模型转换正确性的一个重要标准,但目前模型转换中语义特性保持的定义、描述和验证仍是一个尚未解决的难题.基于软件体系结构,利用范畴理论和代数规范形式化描述体系结构模型及其间的映射关系,使之具有精确的... 语义一致性是模型驱动开发中模型转换正确性的一个重要标准,但目前模型转换中语义特性保持的定义、描述和验证仍是一个尚未解决的难题.基于软件体系结构,利用范畴理论和代数规范形式化描述体系结构模型及其间的映射关系,使之具有精确的语义.体系结构模型的形式化语义用类型范畴图表来表示,态射合成被用来追踪构件模型之间的关联和映射,不同层次模型间的映射关系用态射和函子来形式化描述.以此为基础,进一步分析了模型转换应保持的语义特性.范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪.应用研究表明,该描述框架很好地把握了模型驱动开发的实质、过程和要求,为模型转换和模型驱动开发提供了新的认知、设计和语义计算的指导架构. 展开更多

关键词 模型驱动开发 模型映射 形式化语义 软件体系结构 构件模型

在线阅读 下载PDF 职称材料

一种针对模型转换的图形化建模语言 被引量：5

20

作者 何啸 麻志毅 +1 位作者 邵维忠 胡长军 《计算机研究与发展》 EI CSCD 北大核心 2015年第9期2145-2162,共18页

模型转换是模型驱动开发的核心操作,它通常被实现成一种特殊的程序.模型转换可以实现不同模型、模型和代码,以及模型和各种结构化文档之间的转换.随着模型驱动方法的发展,模型转换正在被运用到越来越复杂的问题上,从而导致越来越庞大的... 模型转换是模型驱动开发的核心操作,它通常被实现成一种特殊的程序.模型转换可以实现不同模型、模型和代码,以及模型和各种结构化文档之间的转换.随着模型驱动方法的发展,模型转换正在被运用到越来越复杂的问题上,从而导致越来越庞大的规模和越来越复杂的程序结构.为了更好地控制转换开发过程中的复杂性,需要一种图形化的建模语言,支持对转换程序的分析和设计.提出一种针对模型转换程序的可视化建模语言VisTML(the visual transformation modeling language).它包含7种不同的视图,每个视图都包含一组建模概念.这些概念覆盖了整个转换程序开发过程中(从需求到部署运行)的所有主要阶段,支持开发人员在不同的抽象层次基于不同视角刻画模型转换.用VisTML对转换程序进行建模,有助于控制其复杂性,并促进开发人员的相互沟通与分工合作.最后介绍了VisTML的支持工具TModeler,并且通过3个案例论证VisTML的可行性与有效性. 展开更多

关键词 模型转换 转换模型 可视化建模语言 模型转换开发过程 模型驱动开发

在线阅读 下载PDF 职称材料