UML系统模型的组织

用UML对系统建模，可能要产生大量的描述系统模型的制品。说明了如何从系统的观点组织模型，并阐述了系统、子系统、视图和模型间的关系。     

使用领域模型构建UML类模型

论述了构建领域模型的重要性以及建立领域模型的方法,并在此基础上指导UML静态模型的建立。     

基于规则的UML设计模型的一致性检验

统一建模语言(UML)是业界公认的主流面向对象建模语言,为系统开发提供了丰富的建模元素。由于UML不同建模元素之间缺乏准确定义的关系,因此UML模型往往会出现不一致性问题。针对该问题,提出了一种基于规则的检验方法。该方法把UML设计模型和一致性条件分别映射为规则系统的事实库和规则库,如果事实库与规则库不匹配,则表示设计模型中存在不一致性。我们使用自主开发的一种“面向对象-规则语言系统”作为检验一致性的规则系统,它集成了面向对象语言和规则语言两种范型,有利于统一使用C++语言来设计并实现一致性检验工具,提高一致性检验效率。     

基于UML的网上商店购物车模型构建

探讨利用UML统一建模语言进行面向对象的分析、设计等问题,对购物车模块进行了详细的需求分析,确定了系统的参与者和用例,运用RSA建模工具,创建了分析与设计模型,给出了类和序列图描述。     

基于UML的RUP系统模型构建

RUP是一种用例驱动的,以架构为中心采用迭代增量方式开发的软件工程过程。根据系统的开发过程,结合高校的一个软件工程的案例,在介绍了系统建模语言UML的基础上,构建系统的用例模型、领域模型和动态模型,搭建系统体系框架,为高校软件工程专业的学生提供管理软件复杂性的能力,设计出一个有弹性、能适应变化的、易于理解、可重用性的软件系统。     

基于UML的嵌入式系统模型验证机制的研究

随着嵌入式系统在各个领域的广泛应用,嵌入式系统变得越来越复杂,研究一种支持嵌入式系统从分析、设计、验证到编码这一整个开发过程的模型系统及建模方法变得越来越重要。UML(UnifiedModelingLanguage,统一建模语言)作为面向对象的分析与设计技术的代表,已经获得了广泛的承认,并在多个领域中有成功的应用。然而,UML是一种符号化语言系统,其语义采用自然语言描述,没有完全形式化,无法精确和严格地描述模型的行为从而实现模型的验证。为了解决这个问题,文章提出了一种用于嵌入式系统UML模型验证的方法,其核心是可执行(Executable)UML,它是UML的增强性子集,采用与UML相同的符号表示法,并集成了状态图(StateChart)所用的形式化语义定义。嵌入式系统的UML模型经过语义分析能够很方便地生成可执行UML模型,并实现系统模型的验证。     

基于Object—Z的UML对象模型的形式化

1 引言 UML作为面向对象的可视化建模语言,己被对象管理集团(OMG)作为面向对象分析和设计的标准,获得了众多工具的支持。UML提供了不同抽象层次的描述以支持面向对象的分析、设计和实施,它从不同的视图描述软件系统,减少了建模的复杂度,更为重要的是建立了基于元模型的体系结构,提供了较为灵活的扩充机制,使开发人员可以根据不同的领域需求定制UML,也易于加入新的建模概念。     

基于UML的面向对象的图形用户界面设计模型

1.前言图形用户界面(GUI)最早由Macintosh操作系统所采用,后被各种操作系统如Unix,Window所借鉴。目前GUI已经形成了一系列标准的图形用户界面模式。图形用户界面开发的工作量相当大,它占到了软件设计实现工作量的40-50％。同时,GUI的设计与实现又存在各种困难。在设计时难以真正理解用户需求;用户界面层次结构复杂,缺乏有效的描述方法;界面的任务复杂,缺乏清晰的设计工具;对面向对象的GUI设计实现支持不够;界面设计开发涉及多个领域,如文档的编写,美工设计,标准化,国际化和性能优化等。GUI在实现时也面临设计文档的不明确,实现的复杂性,程序健壮性难以保证,难于测试和维护等诸多问题。     

UML可视化建模系统的模型一致性检查机制

ＵＭＬ标准建模语言是面向对象技术领域中的重要成果,使用ＵＭＬ解决现实世界中的问题是当前该领域的研究热点。ＵＭＬ集成支持环境既可提高建模的效率,也可在一定程度上保证所建模型间的一致性;通过模拟动态模型的行为,可在建模的早期发一模型中存在的问题;代码生成,逆向变换系统将模型和程序代码有机地统一起来。     

UML模型与软件测试

UML不仅支持面向对象的分析和设计,而且支持从需求分析开始的软件开发的整个过程,这为UML引入到面向软件测试中提供了可能.随着UML模型的广泛使用,基于UML模型的软件测试越来越受到人们的关注.通过系统设计阶段的UML模型生成测试用例,可充分利用已有的设计结果来减少软件测试的总成本,对于已使用UML的工业界有着重要的意...     

面向嵌入式软件开发的UML到Simulink模型转换方法

模型驱动开发及其关键技术模型转换是近年来软件工程领域研究的热点。在嵌入式软件开发早期,不仅需要对设计模型进行静态分析,更需要对其进行动态仿真,验证系统设计的正确性。如何把设计模型和仿真模型无缝连接起来是工业部门亟待解决的问题。深入调研了UML和Simulink模型转换研究现状,详细分析了模型驱动开发中模型转换的相关技术,提出了一种UML到Simulink的模型转换方法,设计了UML元模型、Simulink元模型,撰写了UML元模型到Simulink元模型的映射规则。最后选取自动驾驶仪系统的飞行控制软件作为案例,验证了该方法的正确性。该方法能实现UML和Simulink两种异构模型同构化,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为飞行控制系统、高速铁路控制、机载航电系统等嵌入式软件开发提供了技术支持。     

智能投票系统的UML建模

简要介绍了如何运用UML建模技术来设计智能投票系统,给出了系统的结构和主要功能,并举例就其中的主要模块详细介绍了UML建模。成功实现的智能投票系统验证了该模型的正确性。模型的建立过程对于同类软件的开发具有参考价值。     

UML模型一致性问题研究

在定义模型一致性问题的基础上,以软件体系结构建模为例对模型一致性问题进行了分类,分析并总结出出现模型一致性问题的根本原因,最后,给出解决该问题的方法、步骤以及规则。     

UML在ERP生产管理子系统建模中的应用

介绍了UML的主要概念和基于UML的建模过程;以某企业ERP生产管理子系统为例;详细讨论和分析了UML在企业ERP生产管理子系统建模中的应用。并用支持UML的Rational Rose工具建立了系统的模型,解决了领域专家、软件设计人员和客户之间交流的难题,从而加速了开发的进程。     

基于UML的3D打印系统平台架构设计

针对小批量定制产品,3D打印可满足不同材料、工艺参数、加工精度等多种需求,但需要采用不同的3D打印方法加工零件,单一的打印设备很难满足不同客户的需求,建立一个3D加工中心服务平台,可为不同用户提供快速便捷的加工服务.UML作为面向对象建模语言,以多种视图的形式表示软件系统的静态结构和动态行为.用UML设计了3D打印系统...     

基于UML的嵌入式系统模型设计

针对心电扫描记录仪功能扩展受限问题，提出了基于UML的心电仪嵌入式系统模型设计方法。在设计过程中，按照统一软件开发过程设计，文中讨论了需求分析、静态结构模型和动态行为模型，利用协作图构造了一个物理模型。实践表明，按上述思想设计有可能使原系统升级与重用。     

基于UML的关系数据库模型设计

本文介绍了一种基于统一建模语言UML,使用统一建模方法并结合面向对象的建模工具Rational Rose设计关系数据库模型的方法,并结合一个简单实例具体说明这种方法的使用过程及其优点,从而引入了一种全新的关系数据库设计模式.     

基于UML的CORBA分布式系统开发研究

在介绍CORBA和UML技术结构基础上,以科学基金评审系统为例研究以UML进行建模开发一个符合CORBA规范的分布式应用系统.     

基于UML的面向对象软件设计

UML是一种通用的可视化建模语言,用于对软件进行描述、可视化处理、构造和建立软件系统的文档。使用UML进行软件设计能够比较显著地提高软件的开发效率,保证软件的开发质量。以中华童装网的开发为例,介绍了一种使用面向对象的UML软件设计方法。