基于xUML的MDA实现

MDA是一种以模型为中心的新的软件开发模式。可执行UML（xUML）是UML的一个扩展,通过在UML中加入精确的可执行的动作语义．使得建模者可以生成可执行的独立于平台的模型,并直接从该模型生成代码。该文将xUML与动作语言OAL结合讨论．目标是建立可执行的模型,使用这些模型最终可以为目标系统生成高质量的代码,并用一个实例说明了该方法的使用。     

网络化制造的服务匹配技术研究

结合语义的发现技术,提出了一个网络化制造的服务描述模式,在此描述模式的基础上设计了网络化制造的服务匹配计算模型,介绍了该模型的应用平台,说明了该计算模型的可行性。     

基于模型检查的XML树模式优化动作生成

针对XML数据查询的核心操作-树模式查询,提出基于XML Schema约束来优化树模式查询的方法。该方法提出了统一的优化规则描述语言ORS的语法与语义。ORS描述的优化规则中包括对树模式条件的描述、对XML Schema条件的描述以及在满足前两个条件下应该输出的动作。根据ORS语言描述的优化规则以及待处理的树模式,系统会自动输出该树模式的优化动作。该方法一方面简化了树模式优化的过程,另一方面把模型检查技术运用到XML树模式查询优化上,利用时态逻辑公式描述优化规则中的约束条件,利用模型检查的方法提取XML Schema的约束,对ORS语法和语义的严格定义确保了生成的优化动作的正确性。     

一种支持MDA的模型转换方法

平台无关模型(PIM)到平台有关模型(PSM)的转换是模型驱动体系结构(MDA)中的关键技术，但目前还没有针对该转换的有效的解决方案。从软件工程的实施出发，以抽象代数理论为基础，同时考虑建模元素的语法结构和语义特性，该文提出了一种基于体系结构映射的、可支持模型间自动转换的方法。该方法充分利用软件体系结构在软件开发各阶段间保持的良好可追踪性，使其同时成为系统分析和模型转换的基础。以J2EE目标平台为例说明了该方法的应用。     

基于语义的大型人才库检索方法研究

高效率、高质量地进行人才库检索，对于我国的大型企业集团，尤其是水利水电施工企业集团来说意义重大。传统的分类目录和关键词查询方法，不能很好地满足企业的要求。该文采用语义Web中的相关技术，使用RDF语言描述人才库系统中的本体，并将用户的查询要求转化为语义信息，结合匹配度计算模型检索所需的人才，提出了一种基于本体的对大型人才库进行语义检索的方法，并举例说明了该方法的应用。     

基于语义模式分解的英语介词语义分析和汉译

在研究英语介词相关短语和句式的基础上，给出了语义模式的概念，构建了介词相关短语语义模式库、相关句式语义模式库、主虚量库和固定搭配知识库。根据介词相关短语语义模式特点，提出了一种基于语义模式分解的介词语义分析和汉译算法，结合相关句式语义模式库和固定搭配知识库，对英语介词进行语义分析和汉译。实验表明，利用该文方法能有效解决英语介词汉译的问题。     

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

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

可编程控制器在机器人手中的应用

本文介绍了机器人手的动作构成和工作状态，并给出了模式选择方法，文中着重阐述了机器人手的控制系统，从而说明了ＰＣ在机器人中的广泛应用。     

基于Ontology的专家系统研究

针对当前专家系统领域知识语义表示不精确及推理效率低的问题,提出一种基于Ontology的专家系统框架。根据规则结构建立规则模式Ontology和动作Ontology,将用户推理条件作为模式子Ontology,设计出基于名称和实例的相似度计算及Clips推理机制的专家系统推理算法。结合高性能切削加工应用背景给出一个应用实例,应用结果表明,该系统能够明显提高推理效率和推理结果的语义表达。     

从关系数据库到面向对象语义数据库的语义捕捉和模式转换

本文提出了一个从关系数据库到面向对象语义数据库的两段模式转换方法，该方法 以语义确谯基础的，包含在局部关系模式中的语义可分为２类：一类是关系内语义，它是包含在一个避部关系模式内的语义；另一类是关系间语义，它是包含在局部关系模式之间的语义，第１阶段主要是将关系内语义捕捉到全局集成模式中来，而第２阶段则是将关系间语义通过模式重操作添加到全局集成模式中来，本文定离了一套用于建立转换机制的映射规则和转换操     

基于MDA的关联关系转换方法

根据MDA中模型自动转换到代码的特点，提出了一种UML类图中关联关系到代码的转换方法。讨论了UML中关联关系及其两种实现模式，对每种模式分别定义了一套从UML模型（平台独立模型）到Java模型（平台相关模型）的变换规则，给出了两种实现模式按规则转换的实例。     

从EDOC的业务过程建模到J2EE应用程序框架的MDA转换

OMG（Object Management Group,对象管理组织）提出的模型驱动架构（MDA,Model Driven Architecture）是解决不同中间件平台之间的集成以及技术升级所引起的问题的软件开发方法。MDA的基本思想是将系统的模型作为软件开发过程的核心制品,并且将模型区分为描述系统业务功能的平台独立模型（PIM,Platform Independent Model）和描述系统在特定技术平台上实现细节的平台相关模型（PSM,Platform Specific Model）。模型转换是MDA开发的核心内客。MDA的开发效率依赖于良好的支撑工具,特别是支持模型转换的工具的涌现。本文介绍一种对业务过程建模并将模型转换成程序代码的设计恩想和实现方法。开发者可以用该工具对企业的业务过程建模。这个工具能将建立的模型自动转换成J2EE平台上的程序代码。     

往返工程在MDA中的应用研究*

模型驱动体系(MDA)是OMG提出的一种IT系统描述和构造方法,在其发展与应用过程中,往返工程对于保证系统的实现与完善非常重要.论述了MDA中的三种往返工程方法,并给出了实例具体分析并比较,最后总结其发展趋势.     

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

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

MDA的设想与实现

模型驱动体系结构(MDA)提出了一种利用模型进行软件开发的方法，它将模型作为软件开发过程的关键，MDA的基本思想是将模型区分为平台独立模型(platform independent model)和平台相关模型(platform specific model)，通过不同抽象层次模型之间的转换完成软件开发过程。介绍了MDA的设想，包括MDA的基本概念，基于MDA的开发过程，讨论了实现MDA所涉及的几个重要问题。     

基于MDA的仿真系统开发架构研究

对象管理组织(OMG)提出的模型驱动架构(MDA)是一种先进的软件开发模式,它将系统的设计和实现相分离,设计出的平台无关模型只需建立一次,然后就可以应用于不同的软件平台。本文首先阐述了MDA的思想,然后将MDA的思想和仿真系统开发相结合,建立了一个三层的参考模型,最后分别给出了仿真模型体系和仿真服务体系的实现方法。     

MDA模型转换工具的研究

模型驱动架构MDA(Model Driven Architecture)是由OMG提出的,用于解决企业间应用集成问题的软件开发方法.自提出以来,MDA方法得到很多软件供应商和研究人员的强力支持,在工业界和学术界出现了很多支持MDA开发方法的模型转换工具.这些工具使用了不同技术和实现方法,各有千秋.这些工具的出现有力地促进了MDA开发方法的发展.从模型描述方法、模型转换方法和模型转换工具在软件生命周期中的位置等三个方面分析比较了当前流行的MDA模型转换工具.根据这些分析结果,进一步讨论了MDA模型转换工具的发展前景,并指出了进一步改进MDA模型转换工具的研究方向.     

面向方面的MDA开发方法

MDA中提出了两种重要的模型:平台无关模型和平台相关模型.PIM是反映系统功能性需求的业务模型,PSM是PIM针对实现技术的映射.对于系统的非功能性需求,如安全性、性能、内存管理和通信等,MDA中未提出明确的模型.借鉴面向方面的编程(AOP)的思想,提出了一种基于UML Profile的"方面"建模表示法,用于在MDA中对系统的非功能性需求建立方面模型(AOM),并在MDA方法中增加模型编织(Weaver)环节,得到功能更为强大的基于方面的MDA开发方法.     

基于MDA的Web应用模型到J2EE相关模型的转换

根据模型驱动架构(MDA)的基本思想和理论,参考目前广泛使用的各种开发方法及Web应用框架,提出了一种以系统任务为中心的模型转换方法.并且以形式化的表达方式给出了平台无关模型到平台相关模型的转换规则,体现了平台无关模型可复用的特点,一定程度上简化了Web应用的开发过程.