UML9787030444677邹盛荣12UML形式化---2015.09.pptVIP

UML面向对象需求分析与建模教程 第12章 UML的形式化 * 邹盛荣 当当网: html 第三部分 高级课题 第12章 UML的形式化 * 第12章 UML的形式化 *目录 12.1 形式化方法介绍 1 12.2 UML与形式化方法的结合 12.3 形式化方法 3 2 12.4 形式化的案例 4 12.1 形式化方法介绍 非形式化语言 主要是指自然语言和进行了一些结构化的类自然语言，在目前实践中应用最为广泛。 形式化语言 主要以数学与逻辑的形式对系统需求进行描述，例如Z、VDM、STATECHARTS、Petri 网等。 半形式化方法 如图、表等方式，或者有选择的采用一些数学或逻辑的描述方式，试图兼顾可理解性和描述的准确性，在一定程度上兼具形式化语言和非形式化语言的特征（包括其优点和缺点），其代表例如PSL、SADT、UML等。  非形式化的需求的最大缺点是歧义性和模糊性。这很容易导致系统开发者和用户对需求有不同的理解，最后造成用户不满意所开发的系统，导致系统失败。因此，软件需求需要形式化。 形式化的需求具有无歧义、精确性等优点，形式化需求还有助于需求确认和验证。形式化方法是全面系统地使用基于数学的语言、技术和工具精确地说明、开发和验证软件系统，使