基于ＯＯＺＳ的ＵＭＬ类图形式化描述及其应用

统一建模语言UML是一种面向对象分析和设计过程中重要的建模工具。但由于UML缺乏精确的形式化语义,不利于对其所描述的需求进行进一步分析和验证。这一点上,形式化方法可与之互补。基于此,本文采用一种面向对象的、基于Z的扩展语言OOZS———结构化面向对象形式规格说明语言,对UML的类图进行了形式化描述,寻求一种在软件设计与系统建模过程中UML到OOZS的映射与转换机制,最后给出一个基于OOZS的UML类图的形式化描述实例,结果表明本文的研究工作在实践中是可行的。     

基于UML的面向对象设计

UML作为一种面向对象的建模方法,以活动图模型来表达业务模型,以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑,以用例图表达系统需求,讨论了需求分析及其建模的过程概念。一方面可方便地同大多数面向对象的设计语言链接;另一方面可运用到除软件设计以外的其他方面,如金融商务、信息系统、高校开放式学籍管理系统、甚至是面向对象设计语言的开发等。     

基于UML建模的房屋租赁管理系统分析

统一建模语言UML是一种面向对象的建模语言。本分析了UML的建模机制，并以UML为工具进行房屋租赁管理系统建模，给出了设计过程中的用例图、类图、序列图、状态图及活动图，并详细分析了创建这些图的要点及过程，对房屋租赁管理系统的开发具有一定的指导意义。     

面向对象建模与UML研究

UML是一种支持系统开发全过程的图形化建模语言,是面向对象分析与设计的重要工具,对软件产业的发展具有重要意义.本文结合面向对象的建模方法,介绍了UML的结构以及它和面向对象建模方法学中三种模型的对应关系,并简单介绍UML在柔性开发中的应用.     

基于common logic的UML类图形式化及验证

统一建模语言(UML)是目前广泛使用的一种面向对象建模语言,其图形化,半形式化的特点,使其缺乏精确的语义描述,模型之间容易出现不一致问题,因此,UML类图的形式化问题尤为重要.common logic是一阶逻辑的一个特殊拓展,语法简洁,无符号,易读易掌握易使用,语义精确,满足一阶模型理论,相较于其它逻辑语言,更适合UML类图进行形式化规约.因此,提出采用common logic对UML类图进行形式化,得到形式化的语义规约,并对实例模型进行一致性验证.     

基于UML的图书馆管理系统研究

探讨了基于UML进行面向对象的系统分析方法,提出了一种实用的基于UML的需求分析及其静态建模方法,以用例图模型来表达业务模型,并以图书馆管理系统的需求分析作为案例示范。     

基于UML的三层分布式图书馆管理系统开发设计

UML是一种面向对象的统一建模语言,本文以UML为工具对三层分布式原理的信息管理系统进行建模分析,给出了系统用例图,序列图等.     

基于UML的图书馆系统的设计与实现

面向对象技术是软件工程领域中的重要技术,统一建模语言UML则是近几年国际上比较流行的面向对象的标准建模语言.本文阐述了基于UML建模的图书馆系统的开发.建模是开发优秀软件所有活动的核心部分,也是本文工作的重点所在.基于这个过程我们从系统分析,设计,实现与测试,运用UML建模思想与各种模型对图书馆系统进行了详细的描述.     

UML在指纹门禁系统开发中的应用

标准建模语言UML是一种广泛使用的面向对象系统的可视化建模方法.本文指出了使用UML设计嵌入式系统的作用和意义,并将其运用到指纹门禁系统的开发中,论述了使用UML对系统进行分析、建模设计到实现的整个过程.     

基于UML-Java类的软件产品复杂性度量研究

如何提高软件的质量始终是软件工程领域研究的重要方向.软件开发的成本、进度和潜伏的错误数量都与复杂度有密切的关联.由于OOA和OOD被广泛运用,度量面向对象的软件复杂性成为必然的需求.UML类图描述了系统中的类及其相互之间的各种静态关系,为了对UML类图提供客观的评价,提出了一种基于UML类图针对Java工具语言从不同侧面来评价一个类图复杂性的方法,并用W eyuker提出的复杂性度量的评价标准对其进行了评价.