基于本体的需求模型到UML模型转换方法

基于本体的需求建模能够保证需求描述的正确性和完整性,但最终得到的应用模型描述是基于应用本体的,不易于普通软件设计人员理解,无法直接成为设计时所需的需求规格说明文档.而UML语言已成为面向对象建模的实际标准.因此,将本体概念引入UML模型中,通过定义UML模型中的元本体,构建基于本体的需求模型到UML元模型的映射规则,在此基础上,设计并实现一种基于规则的图元自动转换工具,实现基于本体的需求模型到UML元模型的转换,为后期软件设计提供需求基础.     

MDA开发中的模型一致性检验

为了实现不同中间件平台之间的集成和互操作，OMG提出了一个标准的基于模型的体系结构——MDA，该结构将应用模型分为平台无关模型（PIN）和平台相关模型（PSM），通过融合UML用例图、类图、序列图，得到了需求模型和设计模型，给出了类图和序列图的形式化语义，以及模型间的协调性条件，并在此基础上进行一致性检测，为模型驱动的开发提供了基础．     

模型驱动的电信业务元模型研究

把模型驱动架构(MDA)引入到电信领域,介绍了基于MDA的电信业务开发方法的整体策略,着重分析并论述了该策略的关键点之一——建立电信业务元模型的2种途径,即重量级扩展MOF（元对象设施）和轻量级扩展UML Profile. 提出了使用UML Profile机制创建元模型的方法及实现步骤,并以消息类业务为例说明了建立电信业务元模型的过程.     

基于元模型的视图层PIM建模方法研究与实现

模型驱动架构（model driven architecture,MDA）的核心思想是将建模语言当作开发语言使用,基于UML的平台无关模型（platform independent model,PIM）建模方法主要关注于系统的体系结构与业务逻辑设计,对视图层支持较差．针对此问题,研究了基于元模型的视图层PIM建模方法,给出视图层PIM模型中界面逻辑模型和界面布局模型的表示法及语义内容;基于EMOF（essential meta objectfacility）对UML建模语言进行扩展,使其对上述两种模型提供语义上和表示法的支持;最后,基于EclipseGMF框架开发了视图层PIM辅助设计工具GMTP．     

一个模型转换的验证框架

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

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

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

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

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

基于特征领域模型的精确建模过程研究

平台无关模型是模型驱动架构（MDA）中关键模型之一，它的精确性直接关系到待发系统的质量。在介绍MDA的开发过程中模型的划分后，建立基于特征的领域模型，引入决策模型，提出了一种平台无关模型的精确建模过程。     

一种模型驱动的Web应用系统开发方法

为解决模型驱动开发过程中高层模型描述和模型转换方面存在的问题,以软件体系结构为基础,通过对UML进行扩展,提出了一种平台无关的Web应用建模方法,包括体系结构模型、逻辑视图、静态视图和界面展示视图四部分。然后基于源模型语义特征在目标语义域中的重新构造,依据转换两端建模元素的语法结构和语义表达特性定义模型间的映射规则,实现模型转换和目标代码生成。以J2EE作为目标平台进行实验验证,表明此方法保持了高层模型的平台无关特性,能够对模型驱动的软件开发提供有力的支持。     

一种面向Aspect的软件分析设计方法

基于在软件开发过程中缺乏统一的分离Aspect的标准。本文提出了一种面向Aspect的分析设计方法,采用Theme/Doc与定制UML Profile设计建模相结合,能够清晰地从需求分析中提取Aspect,并能直接从建模元素映射代码,使Aspect从需求到实现的整个开发过程中具有一致性。     

一种基于扩展UML的企业应用软件PIM模型

针对UML在企业应用软件建模中可用性差和效率低的问题,提出一种基于扩展UML的企业应用软件PIM模型.通过对企业应用软件特点的分析,建立了一个以业务对象为中心的多视图集成PIM模型,对UML进行扩展,在它的元模型中增加了描述企业应用软件PIM模型中的概念及其之间关系的元类、版型和标记,并采用包对这些概念和关系进行不同视点的划分.基于扩展UML的企业应用软件PIM模型通过业务对象的丰富语义实现了UML中各种图之间基于语义的集成,改善了UML的可用性,提高了企业应用软件的建模效率.结果表明:通过实际案例验证了该模型的可行性和有效性.     

基于UML动态模型的数据操纵建模

针对传统数据建模过少关注对系统功能的实现建立模型的问题,在UML动态模型的基础上将界面交互模型与数据操纵过程相结合,并应用于数据操纵模型的构建中.该数据操纵模型从用户界面出发,用动态模型展现用户与系统的交互过程.实验证明,该方法能够降低软件维护的复杂性,提高软件的重用率,从而提高了软件开发过程效率和可维护性.     

面向信息物理融合系统的异构模型转换方法

作为一种深度网络化嵌入式系统,信息物理融合系统(Cyber-Physical System,CPS)具有联合动态性、系统组成异质性、计算过程与物理过程的多尺度融合性等典型特征,使得基于单一模型的传统嵌入式系统模型构建和仿真验证方法面临新的挑战.在CPS系统设计开发与仿真验证时,往往需要组合使用多种设计模型或建模语言以描述信息域与物理域实体特点.针对CPS计算物理深度融合的问题,在分析基于计算模型和物理模型进行CPS系统协同开发需求和可行性的基础上,以统一建模语言(Unified Modeling Language,UML)模型和仿真(Simulink)模型分别作为计算过程和物理过程典型建模方式,研究了连续时间和离散事件模型间的结构映射和行为映射,提出了一种Simulink模型与UML类图和活动图之间的转换方法,并通过ATL(ATLAS Transformation Language)转换规则实现了技术验证.     

电子商务系统的UML模型

介绍了 UML的基本概念、建模过程、以及 U ML建模的优点 ,描述了电子商务系统的特点以及功能 ,用一个实例来说明 UML在电子商务系统开发中的应用。     

UML在客户订单管理系统建模中的应用

统一建模语言(UML)是一种通用的用于软件开发过程的标记法和语义语言,可用于对软件系统进行描述和构造软件的系统结构。介绍了UML的基本概念,总结和分析了UML在客户订单管理系统中建模的过程与方法,对面向对象的软件开发项目有一定的指导作用。     

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

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

UML在嵌入式系统设计中的应用

为开发具有可复用性、可扩展性的高质量软件,探讨了基于UML的面向对象分析方法的设汁过程,并以“心电记录仪”为例给出用UML语言为嵌入式系统建模的方法,结果表明：UML溶入了软件工程领域的新思想、新方法和新技术,其作用域不限于支持面向对象的分析与设计,还支持从需求分析开始的软件开发的全过程．用UML为软件系统建立模型不但有利于交流,还有利于对软件的维护．