软件工程作业7：thinking in UML --- 形式化方法

目录

一、阅读书籍《大象---thinking in UML》

1.1 书籍简介

1.2 内容说明

1.3 阅读有感

二、形式化方法

---

一、阅读书籍《大象---thinking in UML》

1.1 书籍简介

        《大象---thinking in UML》是一本由谭云杰所著的书籍，主要讲述了如何以对象的思考方式将复杂化的业务用其的建模方法的方法形象的表达出来。这本书以UML为载体，将面向对象的分析设计思想巧妙地融入建模过程中，通过贯穿全书的实例将软件系统开发过程中方方面面的知识有机地结合在一起，用生动的语言和精彩的事例将复杂枯燥的软件过程讲解得津津有味。
        

---

1.2 内容说明

全书分为四个部分：

1. 第一部分讲述面向对象分析的一些基本概念，及学习建模需要了解的一些基本知识。
2. 第二部分对UML 的基础概念重新组织和归纳整理，进行扩展和讨论，引申出针对UML 的这些概  念在面向对象方法中应用方法的思考。
3. 第三部分以一个实例贯穿全篇，阐述如何使用UML 从头到尾地实施一个项目。
4. 第四部分针对在现实中经常遇到并且较难掌握的问题进行深入的探讨，升华在前几篇学习到的知识。

---

1.3 阅读有感

        书籍呈现出强烈的模型化思想，将复杂问题模型化，这就像在求解一个通式，放入任何相关的变量都可以求解。这更像将面向过程设计转变为面向对象的设计，通过UML进行类与对象封装的思路说明。书中也详细介绍了如何从头到尾实施一个项目，这能够很好的让程序员深入其中思考，并不断改进思想，熟练使用UML。

---

二、形式化方法

        在阅读完《大象---thinking in UML》，我对于形式化方法有了更深一层的理解。

        形式化方法（formal methods）是一种在计算机科学和软件工程领域中广泛使用的技术，它基于数学，适用于软件和硬件系统的描述、开发和验证。

形式规约	使用形式语言构建所开发的软件系统的规约，它们对应于软件生命周期不同阶段的制品，刻画系统不同抽象层次的模型和性质，例如需求模型、设计模型甚至代码和代码的执行模型等。
形式验证	根据某个或某些形式规约或属性，使用数学的方法证明其正确性或非正确性。
形式建模	对计算机软硬件系统的行为和性质用某种形式模型精确的刻画。
形式语言	在数学、逻辑和计算机科学中，形式语言（Formal language）是用精确的数学或机器可处理的公式定义的语言。

表 形式化方法概念

        形式化方法也是以模式为基础，通过UML建模将复杂问题以面向对象的方法形式化，以巧妙的解决问题。

---

刘耀升

桂林理工大学 软件工程22-3班