基于Object-Z的带OCL约束的UML类图形式化描述

UML OCL是基于一阶谓词逻辑和集合论的形式化语言,用它对UML类图进行约束后类图便具备严格语法和精确语义,同时也具备了演绎验证的基本条件;但由于目前的建模工具还无法对缺乏精确语义的UML类图进行有效的演绎验证.因此提出了一种带OCL约束的UML类图通过Object-Z进行形式化描述的方法,这样便可以充分利用Object-Z强大的演绎验证能力来验证UML类图的正确性和是否具有某种性质等.     

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

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

UML状态图的形式化

为面向对象模型建立坚实的形式化基础是近年来形式化研究的热点，UML是一种被推荐的面向对象建模语言，Z是一种广泛使用的形式化规约语言．适合用来精确表示模型的语法和语义，本文利用DFA描述了UML状态机的语法，并采用Z(Object—Z)语言对UML状态机视图进行了形式化描述．     

基于矩阵理论的UML类图形式化描述与检测

针对UML缺少形式化语义,使得开发UML自动检测工具变得困难的问题,提出了一种基于矩阵理论的UML类图形式化描述和自动检测方法.首先,分别给出了基于二元关系和基于矩阵的类图形式化描述规则;然后,讨论了UML类图的自动检测;最后,用一个实例说明了该方法的有效性.实验结果表明:该方法可以对UML类图进行形式化描述,且可以通过数学方法找出模型中存在的错误.     

UML视图的一种形式化模型及其分析

UML是一种得到广泛应用的系统建模语言，但是由于它缺乏形式化语义和严格的推理机制，从而影响了系统建模的准确性和开发效率。TCOZ是一种将Object—Z和TCSP相结合的形式化语言，具有丰富的建模能力。基于TCOZ，本文建立了UML视图的一种形式化模型，对类图和协作图等提出了转换规则，使得TCOZ中的推理可用于分析UML视图。通过某学校信息系统的实例，阐述了UML视图的形式化建模方法和分析技术。     

基于模糊描述逻辑的模糊UML类图形式化

由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的。     

面向对象的高校教材管理系统建模

面向对象建模是一种运用对象、类、继承、封装、聚合、消息传送、多态等概念来构造系统的软件开发方法.UML是一种面向对象的统一建模语言.文章介绍基于UML的三种面向对象模型,运用UML建模机制为教材管理系统建模,并给出相应的域类图、活动图、交互图和用例模型.     

基于UML的静态类图和ALSD实现建模与编码的统一的方法

统一建模语言UML(Unify Modeling Language)是面向对象软件建模的国际标准，但是UML中缺乏对过程的可视化静态建模部分。抽象逻辑结构图ALSD(Abstract Logical Structure Diagrams)是过程建模的有效表示工具。本文以程序代码的生成为目标，以UML的静态类图和ALSD为基础，结合UML的静态类图与ALSD，探讨了有关的代码生成机制，设计和实现了一个软件开发环境。它填补了类图中方法的可视化描述，实现建模和编码的有机统一，使整个程序的设计完全可视化。     

UML在学生管理信息系统分析中的应用

统一建模语言UML(Unified Modeling Language)是面向对象技术的一个重要应用,也是软件工程环境中对象分析和设计的重要工具。本文采用基于Rational统一过程RUP(Rational Unified Process)软件开发过程的UML建模方法对学生管理信息管理系统进行了建模设计,分别绘制了Use case图、类图和活动图。     

基于UML的物业管理系统设计

UML是基于面向对象技术的建模语言,它通过不同的视图为系统建模。它的主要作用是帮助用户对软件系统进行面向对象的描述和建模,它可以描述软件开发过程从需求分析直到实现和测试的全过程,是系统分析员、程序设计员和客户之间交流的工具。物业管理系统采用了UML语言对软件体系结构建模。