模型驱动开发方法的应用研究

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

模型驱动的产品应用服务建模方法

为了将应用服务需求转换成模型,最终指导和实现产品应用服务系统的快速构建,提出一种模型驱动的产品应用服务建模方法。在元对象机制的元模型层建立可拓物元形式化描述与面向对象元模型元素的映射关系,给出UML可拓扩展机制,形成适合描述产品应用服务的可拓UML复合语言;分析产业链业务协作过程中的产品资源与组成服务要素,建立面向产品应用服务的四层模型驱动架构,研究架构的四层驱动模型之间的转换关系;通过案例验证了所提方法的可行性和有效性。     

模型驱动的软件开发模式研究

文中详细论述了模型驱动的软件开发模式。阐述了以代码为中心的传统软件开发模式的缺点,并通过对模型驱动架构（MDA）涔系结构的讨论．分析出模型各个层次描述语言的要求。分别讨论了MDA软件开发生命周期、MDA软件开发参与者及活动的变更和MDA开发工具的更新,并对MDA软件开发模式进行了评价。在模型驱动的软件开发模式下,软件开发生命周期是由软件系统建模行为驱动的．其开发过程围绕模型的创建和变换开展,其最终目的就是要通过架构性的分离来实现软件开发的轻便性、互操作性和可重用性.     

企业数据集成模型的研究

本文从现代企业实施数据集成的需求出发,对联邦数据库系统、中间件模式和数据仓库模式等几种经典数据集成体系进行了分析,并指出了它们的局限;提出了一种基于OMG模型驱动和XML的企业数据集成的模型框架,并阐述了该数据集成模型的相关技术和优越性,同时也说明了应用模型的概念设计应用时应把握的观点。     

模型驱动的软件开发模式研究

文中详细论述了模型驱动的软件开发模式.阐述了以代码为中心的传统软件开发模式的缺点,并通过对模型驱动架构(MDA)体系结构的讨论.分析出模型各个层次描述语言的要求.分别讨论了MDA软件开发生命周期、MDA软件开发参与者及活动的变更和MDA开发工具的更新,并对MDA软件开发模式进行了评价.在模型驱动的软件开发模式下,软件开发生命周期是由软件系统建模行为驱动的,其开发过程围绕模型的创建和变换开展,其最终目的就是要通过架构性的分离来实现软件开发的轻便性、互操作性和可重用性.     

基于DDS的模型驱动研究

目前模型已经可以部分参与生产环节,但还无法在大规模软件开发中直接使用模型,对象分析和设计模型还是主要用作软件系统的文档。软件分析师和设计师构建的模型仅仅作为程序员编写参考材料的辅助工具,而不能跟软件直接挂钩。为了解决这些软件生产过程中的非自动化和非标准化问题,OMG组织发布了模型驱动架构。通过对MDA标准的实现,软件模型可以直接被MDA工具翻译和执行,从而实现软件生产从人工到工业化的飞跃。决策支持系统是辅助决策者通过数据、模型和知识,以人机交互方式进行半结构化或非结构化决策的计算机应用系统。它是管理信息系统向更高一级发展而产生的先进信息管理系统。它为决策者提供分析问题、建立模型、模拟决策过程和方案的环境,调用各种信息资源和分析工具,帮助决策者提高决策水平和质量。     

模型驱动架构中模型构造与集成策略

模型驱动式开发是以模型构造、模型转换和精化为核心的.对象管理组织OMG选择将统一建模语言UML作为标准建模语言,并将其作为模型驱动架构MDA的支持平台.但UML模型缺乏严格的语义,不同视角和不同开发阶段的模型很难集成,所以目前MDA中各种模型之间是脱节的.基于统一程序设计理论UTP,将对象精化演算系统rCOS与UML结合起来,提高了UML模型的精确性与模型转换能力.建立模型驱动式开发中不同层次、不同视角的相关模型并将它们集成起来,建立了一个统一的模型系统.     

基于SOA的模型驱动测试应用研究

随着应用系统规模增大,功能复杂性增强,对于用于保证软件质量的现有软件测试技术显得越来越力不从心。特别是近几年兴起的基于模型驱动架构的分布式并发系统对软件测试提出了更高的要求。模型驱动测试从系统层面上分析测试系统,根据系统需求说明书和测试任务,设计系统测试模型,生成测试代码,执行测试过程,大大提高了软件测试的效率。本论文基于模型驱动架构设计一个功能简单的货币交换Service,阐述模型驱动测试软件测试过程。     

模型驱动架构MDA研究

本文首先对软件开发的过程进行了分析,表明了模型驱动架构MDA研究的必要性;然后对MDA的核心概念进行了描述,总结了MDA的体系框架,分析了MDA的核心技术。在本文最后介绍了支持MDA标准工具,并重点介绍了Compuware公司的OptimalJ工具。     

基于模型驱动架构的决策支持系统开发方法

针对当前决策支持系统开发所面临的系统复杂度高、扩展性差等问题,提出一个基于模型驱动架构的决策支持系统的开发方法,给出一个基于模型驱动框架的决策支持系统开发框架,并通过一个具体的开发实例说明如何应用该框架进行决策支持系统开发。应用表明,该方法可有效地缩短开发周期,降低系统复杂度,提高开发效率,同时保证实施的可行性和扩展性。     

模型驱动的软件测试研究

MDA(Model-DrivenArchitecture)旨在基于平台无关的模型(PIM)和平台相关的模型(PSM)之间的分离和相互转换来复用平台无关的设计,实现异构中间件平台之间的集成和互操作,从而把软件开发的重点提前到PIM的设计上,也使得在模型级解决测试生成问题成为研究热点。本文从过程、方法与工具三个方面研究了模型驱动的测试,首先提出与软件开发过程集成的模型驱动的软件测试过程;其次讨论了与过程对应的模型驱动的测试方法,基于PIM生成平台无关的测试(PIT),定义并实现了从PIT到平台相关的测试(PST)的映射算法,使得PST能够直接在相应平台上执行以发现软件实现是否与规约一致;最后,对上述过程中的方法提供工具支持。本文过程和方法在一个基于三层Web应用的在线银行系统上得到了实现。     

集成系统的软件安全分析

阐述了集成系统中软件安全的重要性，分析了软件在事故机理的作用，提出了综合安全分析框架，以改进的瀑布模型为基础，具体论述了软件开发各阶段的安全分析工作。     

Predicting Incompatibility of Transformations in Model-driven Development

The grand vision of model-driven development and model-driven architecture (MDA) is to generate automatically an implementation from a high-level model of the application. The primary ingredients of model-driven development are a platform-independent model (PIM) of the application and a platform-specific model (PSM) which is derived from the PIM for a given target platform. The transformation from PIM to PSM could be done automatically if necessary mappings are defined. Even if this grand vision were to be realized sometime in the future, the evolution of applications developed in this way still poses interesting challenges. We point out specific problems that arise when evolving an application to support different platforms and different technologies. We then propose a supporting tool called a "portability checker" that can help the application developer in evolving applications developed using MDA.     

面向软件安全性需求分析过程的追踪模型

追踪性即关联一些制品及其中各种相关要素的机制或能力。安全关键系统开发不仅包括一般系统的开发过程,更重要的是必需要有独立的安全性分析,建立并验证系统的安全性需求。目前针对安全性分析过程的追踪性研究较少。安全相关标准如ARP-4761和DO 178C等提供了安全性分析过程的指导意见,然而其由于涉及的概念和方法很多,因此在实际应用和研究中常会忽略对一些关键信息的追踪。此外,软件安全性需求分析不仅应考虑系统到软件的安全性分析,还应考虑软件到系统的安全性分析。面向软件安全性需求分析过程建立安全性相关信息的双向追踪,有助于了解安全性需求的前因后果,为验证工作和影响分析提供便利。参照标准,构建面向软件安全性需求分析过程的追踪模型。     

一种支持多目标框架的模型驱动开发方法

平台无关模型到平台相关模型的转换是OMG提出的模型驱动架构(MDA)中的关键技术。目前多数开发工具将平台相关模型定义为具体的目标运行框架,这严重降低了软件演化过程中设计模型的可重用性。为此,引入抽象平台相关模型和具体平台相关模型的概念,使基于某种平台的业务逻辑设计与目标运行框架相分离,提出一种支持多目标框架代码生成的扩展MDA开发模型。实验证明,该方法提升了模型描述的灵活性和可重用性,能够对模型驱动的软件开发提供有力的支持。     

构件化软件系统安全性分析技术研究

复杂系统的软件安全性分析中存在众多的含糊表述和不确定性问题,主观评价和模糊集理论即为处理此类问题的有效方法。首先对复杂软件涉及到的安全性要素进行模糊数学化表述,按照构件化的思想,对单个构件/模块的安全度进行分析,进而利用Dempster-Shafer证据理论对整个软件系统进行安全度综合,实现对软件系统的安全性分析和评估,最终按照DO-178B标准给出软件的安全等级,并通过实例加以说明。     

基于系统思维的软件安全性需求开发框架

糟糕的软件需求是导致安全性关键系统发生灾难性事故的最主要原因。为解决需求开发问题,建构了一个系统建模与系统分析相结合、基于系统思维的软件安全性需求开发框架。针对系统模型的特定等级特定领域,提出了集成安全性分析的需求开发方法。该方法既能最大限度地约束安全性需求缺陷,防止其向同一分析等级内的其它领域或下一分析等级传播,并尽早重新生成安全性需求,又能够不断生成证据,支持安全性论据的构建。     

基于正反向工程的模型驱动的软件开发过程研究

主要探讨基于正反向工程的模型驱动的软件开发过程。本文把建模过程分为系统建模与数据库建模两个过程,首先介绍了两款主流的建模工具,然后给出这两款建模工具的建模流程,并且阐述在正反向工程中选择建模工具的依据;其次,以PowerDesigner为例叙述了具体的基于建模工具的开发流程;最后,给出结论。     

Integration of DFDs into a UML-based Model-driven Engineering Approach

The main aim of this article is to discuss how the functional and the object-oriented views can be inter-played to represent the various modeling perspectives of embedded systems. We discuss whether the object-oriented modeling paradigm, the predominant one to develop software at the present time, is also adequate for modeling embedded software and how it can be used with the functional paradigm. More specifically, we present how the main modeling tool of the traditional structured methods, data flow diagrams, can be integrated in an object-oriented development strategy based on the unified modeling language. The rationale behind the approach is that both views are important for modeling purposes in embedded systems environments, and thus a combined and integrated model is not only useful, but also fundamental for developing complex systems. The approach was integrated in a model-driven engineering process, where tool support for the models used was provided. In addition, model transformations have been specified and implemented to automate the process. We exemplify the approach with an IPv6 router case study.This article is an extension of two papers [1,2] published in the proceedings of IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2004).     

模型驱动效能评估软件构建平台

效能评估软件开发过程中设计阶段的模型与效能评估软件结构具有高度相似性,传统软件开发方式中设计阶段与开发阶段相分离,效能评估的复杂化导致传统开发方式低效的弊端愈加明显,充分利用设计阶段模型是提高效能评估软件开发效率的关键。提出模型驱动的效能评估软件构建平台（Effectiveness Evaluation Software Develop Platform, EESDP）,EESDP通过将效能评估描述为计算流程来完成效能评估软件的模型设计,通过模型转换和代码生成构建效能评估软件,开发过程具有高效性和易用性。