基于软件模式的PIM到PSM的模型变换

模型驱动体系结构（MDA）是一种以模型为中心的新的软件开发模式。MDA的基本思想是将模型主要分为平台无关模型（PIM）和平台相关模型（PSM），然后通过变换规则实现PIM到PSM的变换。文中将软件模式的概念引入到PIM到PSM模型变换中，从而提高模型变换效率和降低模型变换出错率。同时，设计了基于软件模式的PIM到PSM的模型变换方法的框架。     

基于软件模式的PIM到PSM的模型变换

模型驱动体系结构(MDA)是一种以模型为中心的新的软件开发模式。MDA的基本思想是将模型主要分为平台无关模型(PIM)和平台相关模型(PSM),然后通过变换规则实现PIM到PSM的变换。文中将软件模式的概念引入到PIM到PSM模型变换中,从而提高模型变换效率和降低模型变换出错率。同时,设计了基于软件模式的PIM到PSM的模型变换方法的框架。     

基于本体的PIM到PSM模型变换方法的研究

首先研究了MDA和本体技术．指出应用UML描述本体的好处；为实现PIM到PSM的模型自动变换．提出了基于本体的模型变换方法，并设计了该模型变换方法的框架。该方法用本体实现语义层的模型变换．提高了模型自动变换的效率和MDA技术的应用。     

基于本体的PIM到PSM模型变换方法的研究

首先研究了MDA和本体技术,指出应用UML描述本体的好处;为实现PIM到PSM的模型自动变换,提出了基于本体的模型变换方法,并设计了该模型变换方法的框架。该方法用本体实现语义层的模型变换,提高了模型自动变换的效率和MDA技术的应用。     

基于MDA的PIM到J2EE平台PSM的转换方法

MDA是解决基于不同中间件系统的集成问题。它将不同的系统都结构化成PIM和PSM并针对不同实现技术与平台制订多个映射规则,然后通过这些映射规则及辅助工具将PIM转换成PSM,再将PSM不断求精直至形成最后代码。MDA中的模型转换有4种：PIM到PIM,PIM到PSM,PSM到PSM以及PSM到PIM。其中的PIM到PSM转换是难点。本文提出了一种PIM到J2EE平台的PSM转换的方法：首先将一个用PIM配置图和类图描述的系统根据映射规则转换成J2EE平台下的PSM配置图、类图;然后根据精化规则对PSM模型进一步精化,生成不同的EJB以及构件图,为最后代码的自动生成打下基础。     

一种B语言描述的需求模型到PIM的转换方法

MDA为软件的自动化构造提供了一种良好的途径,但是MDA更多地关注PIM到PSM的转换,却忽视了需求阶段对PIM精确性的影响。本文针对这种问题,首先对MDA的基本过程进行改进,提出对需求进行必要的形式化描述的思路,使得需求模型到PIM的转换变得更为容易,从而达到增强PIM精确性的目的;其次,通过对三种形式化语言的对比研究,发现B语言在需求模型的表示及转换方面具有优势,并结合例子展示了如何使用B语言对软件需求进行形式化描述;最后,本文结合模型转换框图,给出了B方法和类图的ecore元模型的图形化描述,进一步给出了用B语言描述的需求模型到PIM的基本转换规则,并借助JavaCC、JJTree和ATL插件等工具实现了需求模型到PIM的转换。     

MDA模型转换的OCL扩展

模型驱动架构(MDA)是继CORBA,UML之后由OMG推出的重要的软件开发方法学.MDA的核心是模型转换,模型转换语言又是实施模型转换的关键.本文从MOF元模型的角度首先对OCL进行动态特性的扩展,使其具备表达动态行为语义的能力;然后通过扩展相关关键字,定义了一个完整的模型转换程序框架;并提出创建中间转换对象实现了模型转换的可追溯性以及源模型和目标模型转换的同步性.     

MDA中从PIM到PSM的模型转换

基于在MDA中PIM到PSM的模型转换实现,提出了用UML描述PIM的一种有效性补充(E-)LOTOS,试图达到在模型映射前实现对模型的有效逻辑验证;对模型转换的基础理论进行了探索,分析了目前在MDA中实现从PIM到PSM模型转换的主要途径和困难;最后展望了模型转换的实现前景。     

基于OCL的模型转换语言应用研究

模型转换语言是实施MDA的关键,在整个MDA体系中必须要有明确完备的转换语言.首先对模型转换语言的特性和现有的主要模型转换语言进行了简要的说明和分析,然后对对象约束语言（OCL）作为模型转换语言进行理论相关分析.在分析的基础上,提出了对对象约束语言进行扩展,最后提出了一个基于对象约束语言的模型转换框架.     

MDA中PIM到PSM变换规则的研究

在MDA开发模式中,将模型分为PIM(平台独立模型)和PSM(平台相关模型),其目的在于通过一定的变换规则实现PIM到PSM的自动转换,从而可以方便地生成应用程序代码以及测试框架。要实现PIM到PSM的自动转换,关键在于变换规则的精确定义。本文对变换规则提出了一种形式化的定义,并结合特定的PSM给出了一个具体的转换实例,最后给出在此基础上设计的平台的实践结果。     

基于UML的本体表示方法研究

研究本体表示相关技术,并且从表达和推理能力等方面对当前本体表示方法进行分析和比较,总结各种表示方法的利弊。在此基础上提出一种基于统一建模语言（UML）和对象约束语言的本体表示方法,特别研究该表示方法的推理机制,并对这种表示方法进行应用。     

基于OCL的面向方面监控框架

基于面向方面编程技术提出一种软件性质监控框架。该框架根据对象约束语言的约束条件生成监控方面,对监控方面与被监控软件进行编织,使软件在运行时具备发现约束违背的能力。使用模型约束检查工具USE可以进一步分析违约信息,实现其在模型上的可视化呈现。     

基于UML的适应调度知识系统开发

对复杂制造系统进行有效的适应调度，构建性能优良的知识系统是基础和核心。采用统一建模语言对适应调度知识系统的分析、设计和实现进行描述，建立了反映知识系统静态结构和动态行为的各种视图，使用对象约束语言对在系统设计中出现的类对象进行精确语义约束。使用这种建模技术减小了对领域知识专家的严重依赖，提高了知识系统开发的质量和效率。最后给出了应用实例验证该方法的可行性。     

基于OCL优化企业人力资源信息本体模型

企业实施管理信息化是企业核心竞争能力的主要组成部分,也是企业实现可持续发展的重要保证。人是企业中最重要的资源,对于企业人力资源信息模型的研究具有重要的理论意义和实用价值。本文在对企业人力资源信息进行本体论建模的基础上引入OCL约束,一方面消除了单纯使用本体描述语言时存在的不足,弥补了本体论建模时可能存在的属性不一致或是不相容的现象,而且通过扩充OCL约束集,采用一阶二元谓词的描述转换,实现了对企业人力资源领域状态的动态转移的描述,最终形成了对企业人力资源信息的静态和动态的形式化描述。     

基于MDA的地理信息系统开发方法

从模型驱动开发的角度研究如何利用模型驱动体系结构(MDA)指导地理信息系统(GIS)建设。对OMG的模型驱动架构作了研究,分析了MDA的系统架构和核心技术,并结合地理信息相关标准、规范,提出一种利用MDA技术实现GIS领域建模,模型转换和应用开发的方法。该方法提高了软件开发效率、增强了系统的跨平台互操作性、可移植性、平台无关性和易维护性。     

带OCL的活动图多态性测试用例生成方法

研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历,生成测试用例。实验结果表明,该方法能生成含多态性信息的测试用例,提高测试覆盖度。