一个模型转换的验证框架

模型驱动体系结构（Model Driven Architecture,MDA）是OMG为充分利用基于UML的建模技术并分离软件系统的抽象描述和具体事项而提出的。模型转换对MDA的成功至关重要,但对于同传统软件开发过程中的测试部分同等重要的模型转换中的验证和有效性确认（V＆V）,目前的研究比较少。为此,尝试提供一个基于MDA上下文的模型转换性能的验证框架。该框架用于验证原模型包涵的性质,检查源模型与／或目标模型的各个元素是否通过模型转换规则实现了语义等价。同时,采用EMFAPI开发了一个用来分析Tefkat语言描述的模型转换规则的verifier原型系统,并通过实例验证了其有效性。     

E-R模型向关系模型转换的研究

本文通过对E-R模型及关系模型的研究，着重探讨了E-R模型向关系模型转换的原则。     

数据仓库中模型转换技术的设计

比较了数据仓库数据库与传统操作型数据库,回顾了“规范的”操作型系统设计,介绍了四种典型的数据模型——实体关系模型、对象模型、维模型和星型模型.提出了一种数据仓库设计中的模型转换技术.     

面向MCNP程序的三维模型前处理技术研究

提出了一种用于MCNP计算程序的三维模型前处理技术,并给出了CAD模型识别与简化、空腔生成以及CAD模型向半空间CSG模型转换等关键算法.设计并开发了用于MCNP计算程序的三维模型前处理系统,用于CAD模型至MCNP半空间CSG模型的快速转换.最后通过实例对软件系统进行了验证,结果表明文中所提出的方法能够快速实现复杂CAD模型至MCNP半空间CSG模型的转换,为MCNP计算程序提供了高效的三维模型处理系统,提高了MCNP程序输入文件的制作效率.      

硬度转换的神经网络模型

基于人工神经网络理论，建立了各种硬度值之间相互转换的完整一的神经网络模型，该模型可实现各种硬度之间的线性与非线性映射，并对硬主莆中没有的数据给出准确的预测，克服了查表法的不足，较线性回归具有更高的精度，网络模型可嵌入机械ＣＡＤ系统中，方便中种硬主之间的转换。     

一种基于QVT的模型转换技术

提出一种基于查询/视图/转换(QVT)规范的模型转换技术, 并采用这种模型转换技术, 利用Kermeta语言中的模型转换功能, 通过对QVT核心分层, 设计了一种基于映射四层QVT结构的模型转换工具, 实现了Ecore元模型到Kmt元模型的转换.     

可转换债券转换比率模型

将可转换债券看作内嵌期权和内含债券的组合物,从投资者一般投资心理考虑问题,即投资者是否投资取决于投资收益率大于其事先设定的投资收益率底线的可能性,得到可转换债券转换比率模型.通过模型的解发现:可转换债券转换比率仅仅与可转换债券内嵌期权和内含债券两者收益率均值、方差以及两者的相关系数有关,转换比率是内生变量.模型提供了客观确定可转换债券转换比率的方法和理论指导.     

MIS中的对象模型转换技术及其应用

介绍管理信息系统（ＭＩＳ）的对象模型转换技术及对象参数的计算机存储技术,其特点是：将工程用网络图表示,把网络图分解成对象模型,把对象模型数据存储在关系数据库中以及利用数据的链值去启动事务处理,从而实现网络工程的管理,解决了在传统ＭＩＳ中使用面向对象的编程技术问题,促进了企业管理信息系统的发展。     

显示器CRT呈色的转换模型的研究

研究了标准空间图像值与CRT呈色空间相互转换的两个相互关联的模型,建立了转换的数学模型,并进行了误差分析与校正。在计算机上运用此模型进行了实际转换,得到了高精度的转换结果。     

基于多软件的Collada模型转换应用研究

针对Google Earth虚拟平台中所使用的Collada三维模型的特殊性,首先阐述通过模型转换方式生成Collada模型的原因,接着分析三维模型转换的通用方法并提出如何利用各种3D模型制作和转换软件,将通用格式的三维模型转换成Collada模型的方法,重点研究了在国内应用广泛的3DS模型向Collada模型的转换.     

基于XMI的UML模型转换到XML Schema的研究

MDA的早日实现依赖其生成器的支持,基于XMI的UML模型与XML Schema的转换的研究属于MDA生成器的研究.首先,从不同角度分析了XMI、UML、XML Schema之间的关系,归纳了转化的原因,接着给出了转化的依据与流程,最后,基于XMI框架提出了实现转换的方案以及下一步的研究方向.     

Research on transformation from UML statechart to interface automata

This paper studies the problem of deriving an interface automata model from UML statechart, in which, interface automata is a formaliged model for describing component behavior in an open system, but there is no universal criterion for deriving behavior from component to construct the model. UML is a widely used modeling standard, yet it is very difficult to apply it to system verification and testing directly for its imprecise semantics. After analyzing the expression ability of the two models, several transformation rules are defined and each step of transformation is described in detail, after that, the approach is illustrated with an example. The paper provides a method for acquiring interface automata and lays the foundation for related research.     

基于MDA的企业应用系统元建模研究

基于MDA(ModelDrivenArchitecture)方法,使用UML扩展机制,提出一个面向企业应用系统建模的元模型。探讨了元模型的构成和语义,通过模型实例,表明此元模型可以很好地应用于企业应用系统开发过程。这种以模型为驱动的开发方法能够通过模型来保持开发过程的一致性,提高了开发效率,并可以利用模型的可执行来仿真业务流程。     

软件开发架构——MDA

详细阐述了MDA的架构和支持MDA的相关标准并介绍了从方法学的角度如何看待MDA,明确指出:MDA是一种软件开发方法,是由OMG定义的基于UML、MOF及其它相关工业标准的软件开发框架,MDA鼓励在软件开发过程中有效地使用系统模型并支持在开发类似系统时进行模型复用。同时关注了MDA在不同的抽象层次上定义的模型及在不同的抽象层次之间定义的转换。     

基于UML技术的疵点数据管理系统

针对纺织厂在疵点数据管理方面的业务需求,对整个系统的体系结构进行了深入的研究和分析,提出了一种疵点数据存取管理算法,利用UML建模技术、网络技术、数据库技术开发了一种面向对象的疵点数据管理系统.对UML技术建立系统用例图、静态模型类图及其动态模型的过程进行了论述,并对系统功能的具体实现过程进行了介绍.应用结果表明,系统建立了一个高效、规范化的疵点数据计算机管理系统,实现了疵点信息的集中式管理和在局域网内的共用.     

软件开发架构——MDA

详细阐述了MDA的架构和支持MDA的相关标准并介绍了从方法学的角度如何看待MDA,明确指出:MDA是一种软件开发方法,是由OMG定义的基于UML、MOF及其它相关工业标准的软件开发框架,MDA鼓励在软件开发过程中有效地使用系统模型并支持在开发类似系统时进行模型复用。同时关注了MDA在不同的抽象层次上定义的模型及在不同的抽象层次之间定义的转换。     

用例建模技术在需求获取中的应用研究

统一建模语言(UML)为面向对象系统定义了一个统一的标准.使用UML提高了与不同背景领域专家、工作流专家、软件工程师和其他专业人员的沟通,UML可以用在各个方面.在描述用例建模技术原理的基础上,重点讨论了它在实际系统中的应用,并对一些相关问题进行了探讨.     

关于在师范类高校计算机课程中开展MDA课程的思考

探讨了MDA架构下的系统开发,阐述了传统的软件开发模式所面临的问题,指出MDA作为一种新的软件系统开发方法,有必要尽快引进核心的课程设置,为提高师范院校计算机人才的知识水平提供帮助。     

一种基于MDA的UML顺序图到状态图的转换方法

MDA(model driven architecture)是解决基于不同中间件系统的集成问题．它将不同的系统都结构化成PIM(platform independent model)和PSM(platform specific model)，并针对不同的实现技术平台制定多个映射规则，然后通过这些映射规则及辅助工具将PIM转换成PSM，再将PSM不断求精直至形成最后的代码．MDA中的模型转换有4种：PIM到PIM，PIM到PSM，PSM到PSM以及PSM到PIM．其中PIM到PIM转换最显而易见的是分析模型到设计模型的转换．UML是MDA的模型描述语言，因此UML顺序图到状态图的模型转换必将为MDA中的PIM到PIM转换提供有力的支持．介绍了从一个顺序图转换成多个状态图的算法，并进一步讨论了从多个顺序图转换到状态图以及简化状态图的方法．处于一个系统中的多个状态图不是孤立的，他们各自的状态转换是相互约束的，最后给出了组合多个状态图的方法，以及如何生成在同步约束下多个状态图的转换关系，并最终得到系统的状态图．     

基于UML建模的电子病历系统设计与实现

以电子病历系统的开发为背景,介绍了UML在实际项目开发中的应用.在对电子病历系统进行需求分析的基础上,利用PowerDesigner对系统进行需求模型、静态模型和动态模型的建模,设计了基于UML用例图、类图和时序图的系统模型