UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

基于扩展ITCPN的UML状态图建模

在ITCPN（IntervalTimedColoredPetriNets）模型的基础上引入变迁条件函数和变迁数据操作函数,实现对UML状态图中数据计算的建模;利用抑止孤对迁移的优先级进行建模;同时借助抑止弧实现了对UML状态图中子状态之间“或”语义的建模。     

基于UML和RUP的中小项目开发过程的设计和实现

近些年来URUP(Unified Modeling Language and Rational Unified Process)已经被广泛应用于规范软件的开发过程中。随着软件的规模和复杂性不断加剧,软件危机已经变得越来越严重。解决这个问题的行之有效的办法是软件复用。鉴于软件复用的重要性并结合中小型项目的特点,本文在剪裁和改进RUP模型的基础上提出了一个SRUP模型。本文在首先介绍了一些UML和RUP相关的概念后,对RUP模型中现有问题进行分析并提出了改进的SRUP模型。最后,为了验证新模型的功效,在建筑行业动态管理信息系统中应用此模型来指导开发过程。实践表明,此软件系统的开发效率和质量得到了显著地提高。     

Web布局的UML Profile建模

UML是当前建立面向对象复杂系统比较流行的可视化语言,虽然在Web系统开发时可以使用UML对系统的结构和行为建模,但却不能对界面布局建模,设计者只能用勾绘草图等方法来进行界面布局设计,这给UML设计者带来很大的不便.基于UML2.0的扩展机制并结合UML2.0的图交换规范建立的Web布局元模型,很好地解决了这一问题,使得Web布局建模可以统一在UML语言和UML的建模工具中,并可产生原型化的界面.     

基于UML的物流管理信息系统设计与实现

针对当前中小型物流企业的信息化管理,通过对整个系统架构的设计,将基于UML的可视化建模方法应用于物流信息管理业务过程的分析、软件设计和开发全过程,设计建立了若干业务过程模型,并介绍了系统具体实现过程.通过在实践中的具体应用,取得了预期的成效,具有良好的可行性和可推广价值.     

基于UML需求建模的一种形式化分析方法及其应用

UML是软件开发过程中广泛使用的建模语言,但由于缺乏精确的语义,难以直接对其建立的需求模型进行精化和验证,因而无法进一步提高软件的正确性和可靠性,也不具备实现软件自动化的前提条件.提出了一种基于UML需求建模进行形式化分析的方法.采用Object-Z对UML建立的需求模型进行形式化描述,采用Perfect弥补了Object-Z在精化与验证方面缺少自动化工具支持的不足,最后通过一个实例说明了该方法在实际应用中的可行性.     

Rational统一过程的可视化建模的应用

为了提高开发软件的效率和软件的质量,采用新一代软件开发过程Rational 统一过程,以及功能强大的可视化建模语言UML,二者在软件开发过程中得到了广泛的应用.简要介绍RUP技术和UML语言的基本内容,并在RUP的指导下,运用UML建模技术,对设备缺陷管理及分析系统进行设计,对系统开发的各个阶段进行建模,该过程不但优化了系统的各阶段的迭代与建模过程,而且可以较容易应对需求变更,提前降低开发系统的风险,降低系统的复杂度,提高了软件开发的质量、效率和维护性.     

基于UML活动图的动态工作流过程建模的研究

在形式语义的支持下,提出了一种适合动态工作流过程建模的方法.该方法在扩展UML活动图的基础上给出了一种建模机制,利用扩展的UML活动图来对动态工作流的过程进行建模.最后,将该方法用于一个汽车企业产品研发的过程建模实例,且建模结果证明该方法是适合的.说明了基于扩展的UML活动图的工作流过程建模方法对动态工作流过程建模的有效性.     

RAD环境下用户界面密集型软件快速建模方法

研究一种规范化且易于实施的软件项目开发方法,针对界面密集类型的软件项目,应用面向对象分析设计方法,对软件项目的开发过程进行可视化分析,提出了一个在快速程度开发环境（RAD）下进行以用户界面为中心的软件建模方法,应用该方法,可以提高软件开发效率并保证产品质量。     

基于UML软件开发过程的CASE平台研制

针对基于UML的面向对象软件开发支持环境CASE平台的研制,给出了平台的需求定位和实现目标,讨论了平台组织的总体方案和功能,并据此给出了平台体系结构的设计和实现方案,阐述了平台设计和实现中的模型建立、数据存储机制实现方案,较成功地用于基于UML软件开发过程的CASE平台。