基于模型操纵的模型集成理论的研究

基于模型操纵的模型集成的主要研究对象是模型的输入输出参数，因此，本文给出了模型的二元组表示，即输入集、输出集，提出了模型组合关系与模型集成结果等概念，具体分析了模型集成结果的存在性问题，证明了其存在的几个充分条件，在证明中给出了在满足充分条件下模型集成的构造方法．     

QVT的模型转换方法的研究

模型转换是MDA中最重要的部分之一,其性能的好坏直接影响到软件开发工作的进行.介绍了模型、计算无关模型、平台无关模型、平台相关模型、模型转换和转换规则等的理论知识.其次通过对目前比较流行的直接转换方法、基于关系代数的转换方法和基于元模型间映射的转换方法等模型转换方法的研究,分析了其存在的不足之处,并且提出了QVT的模型转换方法.研究结果表明,文中提出的方法具有很大的性能优势.     

基于CMMI的软件过程性能模型

在高成熟度组织的CMMI(能力成熟度模型集成)实施过程中,正确的建立并使用过程性能模型对有效的策划、预测、监督和控制组织过程有显著的作用.在分析并建立4个基本的过程性能模型之间的关系之后,以生命周期模型的定义为基础,提出了基于GQM的度量模型构建方法、资源模型构建方法以及质量模型构建方法,由于各过程性能模型的信息和数据都来源于生命周期模型,因而可以有效保证其之间信息与数据的一致.     

SMV的观察迁移系统的模型检测分析

模型检验技术是开发高可信系统的重要途径.提出了一种基于定理证明的模型验证方法,并实现了工具验证.它以代数规约语言CafeOBJ描述系统的无限状态并把它转换成有限状态的SMV规约.通过观察迁移系统,证明产生的SMV规约的反例即CafeOBJ规约的反例,来找出开发早期阶段的系统的潜在错误,从而避免时间、金钱的耗费及重复性的劳动.     

软件工程中几种常用软件生命周期模型的简介

本文简单介绍了软件工程中几个常用的软件生命周期模型，包括漠布模型、原型法模型、喷泉模型、边做边改模型和增量模型，描述了他们的主要内容和特点。     

软件项目管理的知识语义模型

探讨了构建一个基于软件项目管理的知识语义模型，它是软件项目管理系统的核心，包含过程模型、资源模型和产品模型。使用这个模型去开发一个软件项目管理系统，以帮助管理员去控制软件开发过程。     

基于CMM一3的软件测试过程模型的研究

软件测试是保障软件质量的重要措施,而软件测试过程模型是软件测试的基础。首先对当前的测试模型进行了研究和分析,总结了各模型的优缺点,接着阐述CMM-3（Capability Maturity Model,能力成熟度模型,CMM-3,已定义级）的理论思想,最后提出了在CMM-3的软件开发模式下的软件测试过程模型。     

基于MDA的模型转换研究与应用

模型驱动方法解决了软件开发的效率低、可移植性差等问题,其中的模型转换是开发基于模型驱动构架(MDA)应用工具的关键技术。为此,在模型驱动方法的基础上,提出基于模式的平台无关模型到平台相关模型的模型转换方法,并根据该转换方法确立转换规则,在一个MDA应用系统开发实例中进行验证,实现从平台无关层模型到J2EE平台相关层EJB模型的转换。     

一种基于关系数据模型的知识模型

本文提出了一种基于关系数据模型的知识模型(关系知识模型).该模型在关系数据模型的结构和访问特性基础上,扩充了表达和处理语义知识的能力.     

对软件测试过程模型的思考

在深入分析传统软件测试过程模型特点的基础上,提出了一种新的软件测试过程模型——并行"与"模型,并详细描述了各阶段的具体任务,更贴切地描绘出软件测试活动的复杂关系,充分反映出软件测试活动与开发活动之间的时序性、层次性、迭代性和并行性。     

软件可靠性模型选择的SRMS算法

在软件可靠性评估中经常用到软件可靠性模型。如何对每一特定用例进行可靠性模型的选择一直是可靠性领域研究人员的兴趣之一。文献中已有的软件可靠性模型的选择方法和工具因为使用了受限的模型选择标准而得不到广泛的应用。该文根据软件开发生命周期(SDLC)的阶段对可靠性模型进行了分类,对可靠性模型的选择提出一系列新的标准,在此基础上提出了一种新的模型选择算法并对其进行举例说明。     

CIM逻辑模型的关系实现

针对逻辑模型在查询和存储方面的不足,定义与其具有一致表示能力的关系模型,并将逻辑模型中以句子形式表示的逻辑约束转化为针对关系模型中逻辑关系的势的约束。根据模型的访问,以IEC61970所采用的数据访问接口DAF为例,在上述关系模型中给出基于关系代数的实现。研究结果表明,通过选择合理的关系模型,可以在保持逻辑模型丰富的表达能力的基础上,利用关系代数提高模型访问的效率,同时保证约束判定的有效性。     

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

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

基于编织的模型合成研究*

模型合成是MDA的一个新课题。将模型合成分成三个实施阶段,并设计了一种模型合成的编织框架WMCF（weaving-based model composition framework）,在模型合成中引入编织技术,输入模型的合成语义定义在编织模型中,通过WMCF框架自动实现模型合成。WMCF框架支持QVT(query/view/transformations)规范,这也是将模型合成与模型转换相结合的有益尝试。     

一种面向OPENGL的三维模型的转化方法

在对OpenGL的显示列表和VRML的研究基础上，提出了一种将3DMAX制作的三维模型用VRML模型作中介，将模型数据(包括网格顶点数据，材质，贴图)进行分离、提取、规范化，优化保存．最后在OpenGL建立的虚拟场景中快速生成三维模型并显示其虚拟影象的方法．该方法能使由三维建模软件产生的三维模型方便快速的移植到支持OpenGL的应用程序开发环境中．对于建立虚拟场景的模型有较大的实用价值。     

MDA模型转换平台中模型转换方法的研究

为有效解决目前基于MDA(模型驱动架构)的模型转换平台功能单一、操作不方便等问题,结合Web应用开发的特点,设计了一个功能完善并可扩展的模型转换平台。介绍了该转换平台表示层、控制层、核心层、基础技术支持层的组成和功能。在此基础上,详细设计了核心层中的模型转换模块。对模型转换方法进行深入研究,分析比较现有的模型转换方法。重点介绍了基于元模型间映射的模型转换方法,最后通过一个实例验证该方法的可行性。     

元模型支持下的模型转换

模型转换是MDA的核心思想,包括模型到代码的转换和模型到模型的转换。文章所提出的模型转换方法用元模型表示转换规则,通过基于图转换的模型转换,最终得到目标模型的元模型表达。元模型支持下的模型转换可以对转换规则进行精确的描述,使转换具有明确的语义,更便于工具实现。     

基于代理的消息中间件的设计与实现

为消息中间件的实现引入了一种基于代理的软件模型，并对该模型进行了剖析，阐述它的基本原理和工作机制，给出了这种基于代理的消息中间件设计和实现。     

一种基于ASL的将UML 1.x模型转换为UML 2.0 模型的方法

从宏观上比较了UML 1.x和UML 2.0两个版本的不同,并给出一种转换模型的方法,该方法是基于动作语义语言（Action Semantic Language,ASL）的。期望该方法可以推进所需工具的开发。而且该方法不仅仅局限于此,它适用于所有的模型－模型转换。