模型驱动环境下模型演化的形式化研究

在模型驱动开发中,模型演化由一系列复杂的变化活动组成,模型的变化可以分为直接施加在模型元素上的增加、删除、更改等基本演化操作以及这些基本演化操作的组合。基于模型驱动体系结构,给出了模型和模型变化的形式化定义。模型的变化以模型差异来描述,在模型差异的基础上,研究了模型的合并、逆和组合运算。     

模型驱动开发的今天

“流行、趋势”这两个词永远都可以代表时尚圈。每年,都会有一批新元素出现在时尚圈,但仔细看看,却又觉得似曾相识。今年,IT圈也有一位让大家似曾相识的新人独领风骚。它,就是桌面虚拟化。表达模型的语言。模型提供了这样一种能力,能够一致性地显示这个系统的不同视图。一个常见的错误是认为模型驱动开发是模型和代码之间的一种关系,通过代码实现了模型。     

一个决策驱动的网构软件动态演化模型

传统的建模方法比较难实现网构软件系统的动态演化和自适应性,基于决策驱动的网构软件动态建模方法研究已经成为一个热点。从决策抽象和问题分解角度,提出一个决策驱动的网构软件动态演化模型。首先使用松弛原子算法来分解问题与动态组合决策;然后采用累加累减算法建立网构软件动态演化模型;最后设计相关的网构软件系统来验证该模型。性能分析表明,相比传统模型,该模型有良好的动态演化效果。     

模型转换中特性保持的描述与验证

模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这些约束,特性保持约束必须形式化地加以描述.为了实现证明过程的自动化,需要总结通用的证明过程并给出实现算法.提出了一种基于图转换的特性保持约束描述机制,将模型演化与重构中的转换规则以及特性保持约束都描述为图转换规则.借助图转换的冲突检测机制,给出了严格证明转换规则是否满足特性保持约束的算法.     

模型驱动体系结构研究综述

模型驱动体系结构(MDA)是由 OMG 提出的应用模型技术进行软件开发的方法和标准体系,其核心技术是平台无关模型建模和平台特定模型转换。MDA 代表了现代软件开发理论与方法发展的主流趋势,可以预见到它会成为继面向对象技术后软件工程史上的又一个里程碑。本文对 MDA 进行了系统性的阐述,包括 MDA 产生背景、总体构成、模型体系、软件方法、应用与评价以及最新研究与趋势等。     

利用模型驱动体系架构开发分布仿真系统

作为现有分布交互仿真的标准,尽管HLA的原理非常优秀,但由于其实现上存在的一些问题,致使HLA的应用仅仅局限于军队的某些仿真领域。HLA所倡导的可重用性也受限于特定的仿真支撑平台,如果仿真平台改变,则现在基于HLA开发的仿真组件的可重用性将无法得到很好的体现。模型驱动体系架构(MDA)是对象管理组织(OMG)提出的一种先进的软件开发模式,其核心思想是将系统的行为逻辑模型与特定的目标平台分离,此模型仅需建立一次,然后可以重用于现有的或将来可能推出的不同的软件平台。将MDA技术应用到HLA将会带来诸多的好处。该文简要介绍了MDA的概念,阐述了MDA将会给仿真领域带来的巨大影响,最后给出了利用MDA开发分布仿真系统的一般步骤。     

模型驱动体系结构浅析

以模型驱动体系结构（ModelDriven Architecture,MDA）的基本概念为切入点,对基于MDA的应用开发过程、MDA的优点、不足及未来作了深入的探讨和思考。     

模型驱动体系结构在信息系统中的应用研究

信息系统是收集、储存、加工、传递、维护和使用信息的重要工具，是相关活动的神经中枢。作为信息化建设的中心环节，信息系统的优劣至关重要。而现有信息系统普遍存在着系统需求分析不到位、可维护性、可扩展性及可重构性差的问题。论文在分析信息系统使用中存在的问题的基础上，提出了在信息系统开发过程中应用模型驱动体系结构的思想，并且详细地分析了模型驱动体系结构在信息系统开发和改造过程中的应用。     

一种需求驱动的软件可信性评估及演化模型

软件可信性评估模型的构建依赖于对特定应用领域中可信需求的准确提取和指标系统的合理建立.对于体系结构庞大、非功能性需求复杂的软件而言,可信需求往往随着软件运行状态的转移而不断发生变化.由于可信需求的动态演化将直接影响指标系统的稳定性,因此引起了可信软件研究领域专家的广泛关注.针对该问题,给出一种需求驱动的软件可信性评估及演化模型.首先,剖析和总结软件可信性评估过程中涉及的关键技术,如需求分析与指标提取、可信证据采集与转换、可信性评估推理等,讨论了可信性需求演化背景下的可信性评估自主求解问题.其次,为了分析可信属性间的内在联系及可信属性相对权重的变化规律,给出关联矩阵的概念,并在此基础上提出应用于软件可信性评估指标系统自主配置的自适应重构器.最后,给出软件可信性评估及演化模型的整体框架.实验结果证明了该模型的合理性和正确性.     

语义可配置的模型转换

模型转换是模型驱动体系结构的核心技术之一.在一个复杂的模型驱动的开发过程中,可能同时使用多种转换语言及相应的工具实现转换程序.这一方面增加了开发人员的学习负担,也会导致各种兼容性问题的出现.提出一种语义可配置的模型转换技术,通过重新定义转换语言的语义,允许开发人员使用一种转换语言解决不同的转换问题.首先,总结出一组常见的转换原语;然后,利用一种基于OCL的脚本语言TSS来描述转换语言的语义;最后,对该方法的完全性、表达能力和复杂度进行了讨论,并通过一组案例对该方法进行了验证.     

模型驱动体系综述

模型驱动体系是OMG提出的一种IT系统描述方法,是互操作性标准进一步的发展。文章介绍了模型驱动体系的基本概念、核心基础构造及其模型体系,并介绍了当前的应用现状。     

基于Petri网的软件动态演化的一致性分析

在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对象;其次,从构件结构演化的视角对构件的子网类型进行分析,提出了保证结构一致性的方法;再次,从构件行为演化的视角,分别从内部和外部观察构件演化前后的行为,并通过建立模拟关系来分析和判断演化前后构件的行为是否一致;最后,通过案例研究对所提方法的可行性进行验证。     

需求驱动及其发展

计算机内部指令的具体驱动形式与计算机体系结构的具体组成是密切相关的，该文通过类比程序驱动、数据驱动和需求驱动的概念、驱动模式，对建立新型计算机体系结构提出了一种设想，并对该领域的国际发展给予简要说明，期望能从中获得更多对计算机体系结构的新进展。     

模型驱动体系结构及其映射规则原理分析

该文介绍了一种基于模型驱动的软件体系结构。该体系结构通过平台无关模型与平台相关模型之间的变换,来提高系统的可重用性、可移植性和互操作性,从总体上提高了工程的质量。这种体系结掏中的建模语言起到了编程语言的作用,通过对模型的重用来实现软件的重用性。另外,该文就该体系结构的核心部分——模型转换进一步系统地介绍其映射方式,探讨了映射规则形成的基本原理,清晰地阐述了如何通过扩展机制实现模型之间的间接映射。并提出了这种体系结构今后需解决的问题。     

模型驱动的业务流程执行方法研究

模型驱动体系结构对于增强业务流程管理系统的模型重用性和软件开发效率有重要作用.以往研究主要集中于MDA在流程建立阶段的作用,目的是介绍模型驱动方法在流程执行阶段的应用.采用构造基于XML Schema的业务流程集成元模型,包括过程、业务数据和组织机构三方面,再基于元模型建立易于扩展和重用的平台无关模型,最后按映射规则生成代码组件、SQL语句和用户界面,并由三种模型的逻辑关系得到业务流程执行元模型的框架.实践结果表明基于XML的业务流程模型能方便地转换为可执行的程序组件,并能在业务流程引擎的协调下有效运行.模型驱动方法能有效地运用在业务流程的执行阶段,下一步的研究重点是业务流程引擎代码框架的映射规则定义以及MDA在业务流程仿真中的应用实现.     

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

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

一种模型驱动的笔式表单界面软件开发方法

由于用传统的开发方法开发笔式表单界面软件,开发周期长、成本高且难以适应需求变更,难以提供用户概念模型和系统实现模型相一致的软件,针对此问题,提出了一种模型驱动的笔式表单界面软件开发方法,首先提出笔式表单用户界面模型——PFUIM.然后,基于PFUIM提出模型驱动的笔式界面软件的开发框架.该框架描述了笔式用户界面软件的开发模型,详细论述了各个模型的结构以及模型之间的关系;最后,在开发框架的基础上,提出了开发笔式表单界面软件的建模方法和系统自动生成方法,并通过一个实例说明该框架指导笔式表单界面软件开发的指导作用.     

电子政务系统协同式开发平台研究

当前应用于电子政务系统开发的辅助开发工具之间彼此独立，造成系统开发的不连续性和重复劳动，容易产生错误。为解决该问题，提出了电子政务协同式开发平台设计，将流程建模工具、业务逻辑建模工具、业务表单定制工具和系统运行平台等有机地结合在一个平台，使这些工具协同合作辅助系统开发。利用该开发平台，在系统开发中，后续的开发过程充分利用前面已经获得的信息，能够加速系统开发速度，避免一些错误的发生。     

模型驱动算法在皮带配料系统中的应用研究

在选煤厂皮带配料系统中,皮带秤的连续配料和称重存在着控制精度不足,抗干扰力弱等缺陷,常规的PID控制器和模糊PID控制器已不能满足大型煤矿复杂多变的工作环境和生产要求,现改用二自由度模型驱动PID控制器对其进行优化设计,并对被控对象的相关参数进行计算与修正,同时运用Matlab仿真试验进行研究,结果表明优化后的皮带配料控制系统具有超调量小、调节时间短、响应速度快、抗干扰能力强等优点,能够有效地改善皮带配料控制系统的动态品质,提高了系统的配料精度和配料速度.