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

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

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

摘要：模型驱动开发是对象管理组织OMG(Object Management Group)所驱动的模型驱动体系架构(Model-Driven Architecture)的一部分。面向对象Petri网(OOPN)则是一种具有面向对象特征的、可形式化描述的可视化建模语言。本文提出了一种面向对象Petri网的基本定义,详细阐述了其面向对象特征以及如何将面向对象Petri网与面向对象程序设计语言Java的基本元素及元素间的关系相对应,基于这些对应关系提出一种基于面向对象Petri网的模型驱动开发方法。并简要介绍了使用该方法进行软件开发的基本步骤。

摘要：采用基于类图和过程蓝图的程序蓝图建模语言及其模型驱动设计方法与工具对一个面向文字信息发布建站系统的java程序进行设计,给出模型驱动设计的基本概念和数据库操作程序开发模型制品示例,对模型驱动开发步骤和过程进行了总结和分析。

摘要：现有软件应用程序可分为移动版本和Web版本两大类,但这些应用程序通常只能应用于其中一个平台(移动或Web平台),而不能同时适用于另一个平台。目前的解决方案是开发两个不同程序,通过不同的设计方法和工具实现,但该方式需要双重的开发和维护成本。为解决该问题,提出一个名为WebRatio Platform的综合工具套装软件,用于Web和移动应用程序的模型驱动开发,能够同时支持Web和移动应用程序设计。该工具是根据IFML(交互流建模语言)中OMG标准语言的两个版本扩展而来,具有模型检查和全代码生成功能,可生成即时发布的Web和跨平台移动应用程序。

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

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

摘要：开放式数控系统的研究已经成为目前数控系统研究的热点,模型驱动开发技术是目前软件开发研究的先进技术。为研究模型驱动技术在数控系统软件开发中的应用,作者分析了当前数控系统设计开发中的一些问题,在开放式数控系统软件常用的开发技术基础之上,采用MDD(Model-Driven Developmen)软件设计的思想和开放式模式设计软件的模型结构,分析设计了数控系统的软件开发途径,提出了判断引擎和模式转换规则库相结合的数控模式仲裁模块设计,并利用有限状态机理论、利用Matlab和Stateflow工具箱建立了工作模式仲裁模块的行为状态模型,通过Matlab Simulink仿真环境可以实现对建立的行为模型进行了验证。通过在MATLAB中调试和进行模型的有效验证,可以建立一个无逻辑错误的可执行模型,可以仿真数控系统的运行情况,检验模型是否按照期望的模式在运行。通过这种方法设计开发软件,可使描述文档的问题尽早发现,也使软件的修改更新工作变得简单易操作,而软件的开放性特征也得到了很好地体现。

摘要：ECO(enterprise core objects)是基于UML模型驱动的面向对象的数据库开发框架,它提供了一种快速模型驱动开发的方法。ECO能实现数据库的自动生成、自动演化以及模型的高可复用性等,大大提高了软件开发的效率。介绍了ECO的相关技术,并举例说明了如何基于ECO进行模型驱动的数据库开发,用UML类图设计静态模型,用状态机设计动态模型,并把设计的对象模型映射为关系数据库模型。