Homework6

1、问：阅读和了解什么是形式化方法？

答：形式化方法在逻辑科学中是指分析、研究思维形式结构的方法。是把各种具有不同内容的思维形式（主要是命题和推理）加以比较，找出各个部分相互联结的方式，抽取出共同的形式结构，再引入表达形式结构的符号语言，用符号与符号之间的联系表达命题或推理的形式结构。 形式化方法的一个重要研究内容是形式规约，也称规范或形式化描述，是对程序“做什么”的数学描述，是设计和编制程序的出发点和验证程序是否正确的依据。

形式化方法可以分成：面型模型的形式化方法（通过构建数学模型说明系统行为）和面向属性的形式化方法（通过目标软件的属性来间接定义系统行为）。

2、阅读《大象---thinking in UML》

答：正如书名所言，《大象---thinking in UML》以UML作为载体，将面向对象的设计思想同建模过程联系起来并进行融合。通过阅读和搜索相关资料，我知道了：

①UML又称统一的建模语言、标准建模语言。其中，UML 的”单词“就是各种元素、视图和模型，”语法“就是建模的方法。

②UML采用的是面向对象的思想。

③建模就是将生活中的问题和问题的规则通过数学模型表现出来

个人看法：
《大象---thinking in UML》通过很多的例子和图文向我们介绍了相关的知识，图片内容比较贴合实际生活流程，很直观。但是书里面的理论还是有点生涩，专业词汇较多，也很抽象，所以对理论的了解也不太深刻。而UML作为建模语言，就是为了更清晰地向用户呈现设计中的状态信息，所以在结合了个人实际项目看会更加容易理解。