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

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

基于SACRED元模型的模型驱动体系结构工具

模型驱动的体系结构（MDA）开发方法是以模型作为软件开发的主线，基于统一建模语言（UML）创建的模型不能很好地起到衔接用户需求和代码的桥梁作用，而且模型中存在不同的视角.在元对象设施（MOF）的基础上，定义了SACRED元模型，使用主题和映射来解决基于UML建模的缺陷.主题的引入为用户需求到模型增加了新的转换桥梁，采用映射方式实现了平台无关模型（PIM）到平台相关模型（PSM）的转化，使得模型不需要关注系统细节，降低了元模型的复杂度.阐述了基于SACRED元模型的开发过程，并研制了一个基于SACRED元模型的MDA工具PureX.通过一个实例说明了该元模型以及软件开发过程的有效性.与UML相比，该模型具有建模元素简单、不同阶段、不同角色模型一致、支持双向开发、便于模型复用等优点.     

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

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

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

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

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

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

事件驱动的电信业务过程建模方法

通过分析电信业务过程中涉及的动作和事件的关键概念,提出一种基于扩展UML活动图的方法. 该方法通过事件驱动机制将动作和事件进行组合,使业务逻辑能正确响应来自网络的各种异步事件,而且能满足对电信业务过程建模的需求. 重点研究了UML活动图的扩展、事件驱动机制的模型描述和业务过程模型的执行机制.     

业务过程建模及其形式化验证

针对业务过程建模复杂、模型一致性难以保证的问题,提出一种求精式业务过程建模及其形式化验证方法.结合语义本体技术、基于统一建模语言(UML)的扩展机制,实现对业务过程中的不同关注点进行多视角地可视化建模.业务过程建模是一个“整体抽象过程→声明式过程→命令式过程”多阶段的求精过程.引入环境本体的概念,以软件交互对环境状态的影响来描述软件行为和能力,并在此基础上给出了模型相关定义及其形式化语义.结合一个简化的产品交易系统实例详细论述如何采用声明式形式化语言Alloy进行业务过程模型定义和模型求精的形式化验证.实例表明,采用分阶段求精式业务过程建模方法,并围绕模型语义通过Alloy语言进行形式化验证,可以有效地提升建模过程的灵活性和保证模型规范的一致性.     

基于过程蓝图的Web服务建模

基于模型驱动架构(MDA,model driven architecture)为Web服务开发提供了一个有效途径,但在使用统一建模语言(UML,unified modeling language)建模过程中缺乏严格的语义描述。对Web服务建模进行了研究,给出了新的web服务开发流程。利用过程蓝图对UML中的用例图、顺序图和类图进行了扩展,使得建模过程中包含了严格的语义信息。通过实例对新的服务开发流程进行验证,证明了其可行性。实验结果表明,这一开发流程具有较强的实用价值,有效提高了软件的开发效率。     

整体与部分关系中的语义传播机制研究

为了用UML严格、准确表示领域模型中整体与部分关系间的语义传播,从整体与部分关系的语义特征出发研究整体与部分关系之间的属性值的传播机制;从对象的生命周期出发,详细分析研究部分对象和整体对象之间的依赖关系,进而研究其操作的传播机制。在此基础上,分析研究UML在表示这些语义传播机制时的不足,扩展UML使其能可视化地描述整体与部分关系之间的语义传播机制,同时用代数理论形式化地定义它们,为准确建立领域模型以及后续的设计及实现莫定了较好的基础。     

基于UML2.0的面向方面建模方法研究

面向方面编程是一种基于关注点分离的新技术,它成功解决了面向对象编程中所存在的代码缠结和散射问题,但在软件设计阶段并没有得到很好的支持。通过分析面向方面编程的特点及其概念,比较UML2.0的两种不同扩展方法,提出了基于Profile机制来定义新的模型元素,并为其增加新的语义,再通过对象约束语言(OCL)来对这些新增模型元素加以约束,从而实现了UML2.0对面向方面建模的支持。     

一种从UML类图和协作图到状态图的转换方法

统一建模语言(unified modeling language,UML)状态图是基于UML开发的软件设计模型的重要组成部分,它描述了一个对象所处的可能状态以及状态之间的转换。对一种生成状态图的方法进行了改进,以类图和协作图为基础,创建单个对象的状态图,对系统中单个对象的状态图进行集成生成整个系统的状态图。结果表明,生成的状态图具有较高的结构化和可读性。     

复杂分布式系统的面向智能agent建模

为了有效管理复杂分布式系统建造过程中的复杂性,提出了一种面向智能多agent系统的工程化软件建模技术.该方法使用扩展的UML用况图和顺序图来认定角色并建立角色模型,通过对agent的心智状态建模,使用扩展的UML状态图和Petri网图来发展agent自治行为和交互行为的动态模型.给出了一个覆盖了从问题域分析到生成agent类模型和agent交互模型全部过程的网络资源管理系统应用实例,并验证了建模方法抽象和管理系统复杂性的有效性.     

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

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

UML建模技术在机房管理系统中的应用研究

文中对统一建模语言UML中的用例图、时序图和协作图进行了深入研究.所提到的建模技术是以UML的图表符号为基础的.UML图表符号提高了需求模型的可理解性、可追踪性、可验证性和可修改性.并且把这一建模技术充分运用到了机房管理系统中,说明了在该系统中的应用.     

装备制造项目联盟企业计算机管理系统建模

随着重型设施项目的增加。装备制造联盟企业应运而生。装备制造联盟企业的成功运作与管理需要支持其信息系统的、动态的、集成的、项目拉动的联盟企业模型。基于一般企业建模方法论与体系结构。运用面向对象、基于组件的建模方法及面向过程的分析技术。建立了装备制造项目联盟企业多视图集成的管理系统模型框架。     

UML技术在程序建模中的应用

UML(标准建模语言)是面向对象技术的一个重要应用,也是近代软件工程环境中对象分析和设计的 重要工具。首先介绍了UML技术,然后就UML技术在程序建模中的应用进行了阐述。