模型驱动开发相关论文
在传统的软件开发过程中,程序代码由开发人员手工编辑完成输入,当软件需求发生变化进行版本更迭时,需修改大量重复代码。现有的代......
智能制造是指导制造业转型升级和实现生产模式转变的必然途径。然而,智能制造系统混合异构的开发工具间信息交互为系统开发带来重......
本文面向适航标准DO-331和DO-333,提出了一种机载软件分层精化开发和验证方法,形成了一套完整的软件开发和验证流程。本方法开发过......
国家电网公司的公共数据模型(SG-CIM)已经更新至4.8版本,但在很多领域仍未足够精细。基于项目管理业务给出一种建模的技术路线,并......
WCDMA是世界范围内应用最广也是最成熟的3G技术,是各个通信设备厂商的主要利润来源。从3G设备的部署角度看,基站NodeB的数量最多,......
随着计算机技术，特别是Intemet技术的发展，基于Web的软件技术得到了空前的发展，各行业信息化进程日益加快，国内大小企业都在构建满足本......
随着当前互联网信息化程度日益扩大,基于互联网的信息系统得到了广泛的使用,它们大多表现为各式各样的动态Web应用。在目前开发Web......
本文以模型驱动的系统软件开发过程为核心,通过案例阐述在实际项目实施过程中需要遵循的原则和汇总的心得。同时通过对统一软件开......
系统建模语言(Systems Modeling Language,SysML)的提出使得模型驱动开发(Model Driven Development,MDD)可以应用于系统工程领域......
1553B总线最初是在七十年代末为适应飞机的发展由美国提出的飞机内部电子系统连网标准,现在它已经在我国的航空航天、军事平台等领......
近年来，随着Internet和Intranet／Extranet的快速发展，Web应用被广泛应用到各个领域，Web应用的开发效率及质量要求不断提高，开发工作的难......
随着计算机应用领域的不断扩张,计算机软件的开发规模逐渐扩大,软件复杂度不断增加,开发周期和开发成本也不断增长。为了解决这些......
随着模型驱动开发技术的逐渐成熟以及代码自动生成技术的出现，基于模型驱动的开发方法在软件开发领域被广泛应用。模型驱动开发使得......
随着模型驱动开发技术的不断成熟，针对不同领域基于模型驱动的工具不断出现。模型驱动开发使得开发重点侧重于逻辑的设计，使工程师在......
在模型驱动开发过程中,为了减轻开发人员的负担,通常采用自动工具生成代码框架。本文提出了一种基于活动图与顺序图自动生成代码框......
我们已经来到移动互联时代,移动应用正呈爆炸性速度增长,人们对各种类型移动应用的需求越来越大,要求也越来越高。移动应用搭载的......
安全关键软件广泛应用于航空电子、航天器、武器装备以及轨道交通等领域,这类软件具有高安全、资源受限、实时响应等特点。基于AAD......
目前,Web应用程序前端界面的开发仍处于不断研究发展阶段,人工编码的传统开发方式不仅需要耗费大量的人力资源和时间成本,同时所开......
AADL(Architecture Analysis and Design Language)是一种用于描述复杂嵌入式系统体系架构的建模语言国际标准,被广泛用于安全关键......
随着微型涡喷发动机(MTE)控制系统的发展,缩短软件开发时间、节省软件开发成本、保证系统鲁棒性等需求越来越不容忽视,因此寻求一......
从软件设计实践出发，针对基于Web应用服务和设计模式的软件设计方法，提出了一种新的模型驱动开发理论框架．该框架以类型范畴理论为基......
模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型。用于嵌入式系统软件建......
源模型和目标模型描述之间的异构性是燕现模型映射的主要困难。本文通过对模型描逆语言的语法结构和语义表达特性进行抽象分析，提出......
尽管模型驱动开发(MDD)代表软件工程的发展方向,但是目前MDD还缺乏一套完整的转换规则描述方法和相应的实现机制,难以实现模型的自......
行为模型的描述及其精化是模型驱动开发中的关键问题之一。根据形式化方法建模理论，提出了一种结构模型约束下的行为模型形式化描述......
针对模型驱动开发中功能代码自动生成方面存在的问题,提出了一种形式化建模方法,用以实现模型驱动架构中功能代码的自动生成。通过......
随着分布式对象技术的发展和电子商务应用的扩大，Web Services技术应运而生。由于在解决异构软件的交互和企业系统集成问题上表现了......
模型转换是模型驱动开发的一项关键技术，模型间的映射关系是模型转换的基础和依据。通过对模型描述语言的语法结构和语义表达特性进......
软件建模是软件活动的根本任务和模型驱动开发过程的核心,软件工程界一直追寻＂银弹＂式的软件建模方法。在分析现有软件建模方法的基......
在对类型范畴理论进行扩展的基础上，将其与进程代数相结合，为软件体系结构模型及其间的转换关系提供了一种统一的语义描述框架．模型的......
为解决模型驱动开发中缺乏形式化语义的问题，以有效支持模型转换和代码生成，根据面向特征的技术和范畴理论，提出了一种体系结构模型的......
由于当今软件系统的复杂性，模型驱动的软件开发中需要的建模语言和转换定义语言往往是多种多样的．本文阐述了对一个可满足这种需要的......
针对模型驱动的协同应用系统开发,将范畴理论、代数规范和进程代数相结合,为软件体系结构模型提出了一种新的语义描述方法.该方法......
开放式数控系统的研究已经成为目前数控系统研究的热点,模型驱动开发技术是目前软件开发研究的先进技术.为研究模型驱动技术在数控......
当前，许多模型驱动软件项目过程采用多种开发方式相结合的形式．但开发方式的比较、选择、组合操作却缺少系统化的方法指导．提出一种多......
模型转换是模型驱动开发中的核心技术．为了解决复杂的转换问题，需要将多个相对简单的转换组合起来构成组合转换．目前存在多种转换技术......
介绍一个搜索引擎系统的开发。运用UML用例图做系统的需求分析，运用UML类图、状态图、包图进行系统设计。以OCL表达式丰富状态图。......
采用Struts2等框架开发WEB应用存在支撑工具少、模型重用率低等问题。为此,提出基于Struts2框架的模型驱动开发方法,该方法首先使......
利用网格基础中间件GT3（Globus Toolkit 3．x）进行网格服务设计时代码工作量大，且调试过程不清晰，而在所有的网格服务或同一类型的服务中......
主要探讨了安全苛求系统在新需求下,如何在提高软件功能安全性的同时保证软件的质量和可信性。首先分析了在典型领域内安全苛求系......
采用基于类图和过程蓝图的程序蓝图建模语言及其模型驱动设计方法与工具对一个面向文字信息发布建站系统的java程序进行设计,给出......
为解决模型驱动开发中模型映射关系的定义和模型转换的正确性验证等方面存在的问题，利用范畴理论形式化描述软件体系结构模型及其间......
行为模型的精化是软件工程中的基于模型驱动开发的关键问题．基于针对环境的形式化行为模型和形式化方法中的精化理论，提出了一种基于......
为解决传统嵌入式软件开发中存在的制约嵌入式软件开发效率和质量的问题，提出在嵌入式软件开发中应用模型驱动开发技术，介绍了模型驱......
分析RIA技术的特征,研究如何将MDD（模型驱动开发）应用在RIA领域当中,即针对WebML做扩展并模型化RIA应用,完成开发的建模阶段,最后以......
ECO（enterprise core objects）是基于UML模型驱动的面向对象的数据库开发框架,它提供了一种快速模型驱动开发的方法。ECO能实现数据......
模型驱动开发技术通过不同抽象层次模型的建立和转换，可有效提高软件开发的效率和质量。本文将模型驱动开发思想引入到面向Agent软......
现有软件应用程序可分为移动版本和Web版本两大类,但这些应用程序通常只能应用于其中一个平台(移动或Web平台),而不能同时适用于另......
设计了基于模型驱动架构的海洋环境数据平台,论述了其数据模型设计和功能设计,开发了基于Web Services平台原型系统.该平台以数据......
