一种基于角色的MDA模型转换方法

模型转换是MDA（Model Driven Architecture）中的关键技术，正成为一个新的研究热点．提出一种基于角色的模型转换方法，通过角色的分配和组合，灵活、自然地实现模型的转换．给出了其转换规则及形式化描述方法，介绍了该方法在Web应用程序建模中的应用．使用这些转换规则及形式化描述方法可以清晰地描述角色问的约束关系，有助于设计者实现角色的分配及组合．该方法特别适用于基于模式的软件开发．     

DSL方法实现FMP-PIM到MVC-PSM的转换

DSL方法是改进软件开发（重用性，可维护性等）的有效途径．使用MTrans-DSL形式化描述模型驱动构架（MDA）中模型的转换规则，实现平台无关模型到特定平台模型的转换．以JavaServer Faces作为目标平台，通过具体的应用实例验证了该方法的可行性和易用性．DSL方法体现了模型驱动开发的特点，提升了转换规则的抽象层次．     

一种基于角色的MDA模型转换方法

模型转换是MDA(Model Driven Architecture)中的关键技术,正成为一个新的研究热点.提出一种基于角色的模型转换方法,通过角色的分配和组合,灵活、自然地实现模型的转换.给出了其转换规则及形式化描述方法,介绍了该方法在Web应用程序建模中的应用.使用这些转换规则及形式化描述方法可以清晰地描述角色间的约束关系,有助于设计者实现角色的分配及组合.该方法特别适用于基于模式的软件开发.     

构件式体系结构模型转换的语义一致性

基于软件体系结构模型的形式化描述,从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述,并建立了相应的判定标准,同时探讨了证明一个转换是否满足某些特性保持约束的方法。这些方法支持以定理证明的方式,对模型转换的语义特性保持进行验证,克服了模型检测的不足。该研究可用于指导模型转换规则的定义和模型映射关系的正确性的验证。     

基于SACRED元模型的模型驱动体系结构工具

模型驱动的体系结构（MDA）开发方法是以模型作为软件开发的主线，基于统一建模语言（UML）创建的模型不能很好地起到衔接用户需求和代码的桥梁作用，而且模型中存在不同的视角.在元对象设施（MOF）的基础上，定义了SACRED元模型，使用主题和映射来解决基于UML建模的缺陷.主题的引入为用户需求到模型增加了新的转换桥梁，采用映射方式实现了平台无关模型（PIM）到平台相关模型（PSM）的转化，使得模型不需要关注系统细节，降低了元模型的复杂度.阐述了基于SACRED元模型的开发过程，并研制了一个基于SACRED元模型的MDA工具PureX.通过一个实例说明了该元模型以及软件开发过程的有效性.与UML相比，该模型具有建模元素简单、不同阶段、不同角色模型一致、支持双向开发、便于模型复用等优点.     

一种多目标平台分布式对象模型编译器设计方法

模型编译器通过词法和语法分析,解析出模型信息,并生成特定平台的模型框架代码,提高了模型框架代码生成的速度和质量。然而大多数模型编译器都是生成某一特定平台的框架代码,可扩展性和可维护性较差。文中提出了一种基于MDA的分布式对象模型编译器设计方法,该方法通过灵活的转换规则配置,可以生成多目标平台模型,进一步生成该平台框架代码,从而有效提高分布式对象模型编译器的扩展性和可维护性。     

下一代网络中融合业务的描述与生成方法研究

现有的电信业务提供方式无法满足NGN（下一代网络） 融合业务生成的需要，为了解决这个问题，在深入探索MDA（模型驱动架构）软件开发方法 后，提出了将MDA引入到业务创建中，以支持业务建模和模型的细化. 此外，重点论证了MDA 方法中的一个重要方面——UML（统一建模语言）对业务模型准确、全面描述的能力.     

下一代网络中融合业务的描述与生成方法研究

现有的电信业务提供方式无法满足NGN（下一代网络） 融合业务生成的需要，为了解决这个问题，在深入探索MDA（模型驱动架构）软件开发方法 后，提出了将MDA引入到业务创建中，以支持业务建模和模型的细化. 此外，重点论证了MDA 方法中的一个重要方面——UML（统一建模语言）对业务模型准确、全面描述的能力.     

基于场景的并发系统需求验证方法研究

为验证并发系统需求设计的正确性,提出一种基于场景的并发系统需求验证方法.首先,用UML顺序图建模并发系统需求场景,通过定义顺序图的操作语义及转换规则,将顺序图的XML描述文件自动转换为Promela程序,而后将描述系统需求的Promela程序和描述系统规约的线性时序逻辑作为模型检测器SPIN的输入,用模型检测的方法自动...     

间歇精馏塔启动过程的流程模拟及混杂性分析

间歇精馏塔启动过程的流程模拟是通过一个动态混杂系统模型来描述的，通过分析模型中的混杂性问题，对非连续性特性进行了分类：即与启动过程状态转换有关的模型结构的不连续性；与物理过程有关的塔板动力学方程的切换，并针对动态模型所涉及的变量初始值问题，给出了不同类型变量的初值选取方法，最后通过基于gPROMS计算平台的仿真结果和实验结果的比较，验证了模型求解的有效性。     

太阳能集热器驱动的吸收式制冷系统性能分析

为了合理利用太阳能,增强制冷系统的季节适应性,提出一种中温太阳能驱动的氨水吸收式制冷系统。以抛物面槽式太阳能集热器(parabolic trough solar collector, PTSC)驱动的氨水单效吸收式制冷系统为对象,根据热力学定律和能量平衡方程,在工程求解器(engineering equation solver, EES)下,分别建立太阳能集热器模型和制冷系统模型,并对系统的关键参数进行计算。从制冷量、精馏热和系统能效比(COP)三方面分析了系统高压、系统低压、蒸发器出口温度和精馏器出口质量分数对系统的影响。结果表明:制冷量随系统低压的升高而降低;精馏热及COP随系统低压的升高而增加;蒸发器的出口温度升高时,制冷量和COP均有增加;当精馏器出口氨的质量分数为0.977~0.999, COP在氨水质量分数为0.992时出现最大值。研究结果为太阳能驱动单级吸收式制冷循环的可行性提供了理论依据。     

基于MDA的数据仓库抽取元数据交换规则

参照模型驱动构架（MDA）的思想，为各类数据仓库工具元模型，建立符合CWM（公共仓库元模型）规范的平台无关模型映射规则，以便在统一的规范上自由交换元数据. 以Informatica公司的Powermart抽取工具为例，建立PSM（平台相关模型）元模型，以CWM作为平台无关的PIM（平台无关模型）元模型，用OCL（对象约束语言）描述PSM与PIM之间的映射规则，实现了Powermart的DTD（文档类型定义）到CWM SQL（结构化查询语言）的元数据转换.     

面向服务的软件架构SOA及其支撑技术的研究

对SOA出现的技术背景,原则及特性做了简要介绍,然后将现在软件工程领域的两种新方法引入SOA,提出了基于MDA（模型驱动架构）和AM（敏捷方法）的SOA元模型.     

基于规则库的电信业务UML活动图验证机制

在分析现有的技术背景后,提出了一种基于规则库的电信业务统一建模语言（UML）活动图验证机制。通过将模型验证规则与模型验证引擎相分离的方式,提高了验证机制得可扩展性和灵活性。模型验证软件通过在模型驱动架构（MDA）业务平台中的测试证明了该验证机制的正确性和高效性。     

CMM在中国软件业的现状分析

CMM（能力成熟度模型）是当前软件行业的重要技术。文章介绍了CMM提供的阶梯式的五级框架结构,分析了我国软件企业的现状,以及实施CMM进行软件过程改进所面临的问题。     

基于COM组件计算岩层真厚度的软件设计

介绍了岩层真厚度模型的构建,并利用VB（Visual Basic）调用Matlab（Matrix Laboratory）制作的COM（Component Object Model）组件的方法开发一个方便实用的软件。该软件能够计算岩层真厚度的值,并显示岩层真厚度的三维图形,形象地展示岩层的视厚度、真厚度、倾角,以及岩层走向之间的相互关系。     

钒胁迫对芥菜生理特性的影响

通过盆栽试验研究了V（Ⅴ）在不同胁迫浓度和胁迫时间内对芥菜叶片中叶绿素含量、丙二醛（MDA）含量、过氧化氢酶（CAT）活性及过氧化物酶（POD）活性的影响。结果表明：随着V（Ⅴ）浓度的增加和胁迫时间的延长,叶绿素含量呈先上升后下降趋势;MDA含量随着V（Ⅴ）胁迫浓度的增加而增加,各浓度条件下MDA含量随时间的延长呈先升后降趋势;叶片中POD、CAT活性呈现出一定的规律性变化,均随V（Ⅴ）胁迫浓度的增加先升高后降低,但均高于对照,在50 mg/kg处理时都达到最大值。可见,芥菜对土壤低浓度V（Ⅴ）（≤100 mg/kg）的胁迫有较好的抗性和耐性,当V（Ⅴ）浓度增加时芥菜受的毒害逐渐增大,说明荠菜对重金属离子胁迫产生的适应性是有一定条件的。     

径向道变换压制线性干扰改进方法及应用

径向道变换（RTT）是一个简单地震道的映射,即将地震道集振幅值从偏移距一双程旅行时（X—T）域变换到视速度～双程旅行时（R-T）域,在R-T域中线性干扰（如面波、直达波等）的频率会得到较大程度的降低从而可将其分离出来。在径向道变换过程中其基本运算为插值,为减小插值误差对线性干扰的影响,通过改进模拟一相减法,即在R～T域分离出噪音后再将原始资料和分离出的噪音反变换回X—T域,最后相减保幅即得去噪结果。通过理论模型和实际资料试验表明这种方法同传统模拟一相减法相比,能够降低插值误差对线性干扰的影响,使线性干扰得到有效压制,提高地震资料的信噪比。