UML 9787030444677 邹盛荣 12 UML的形式化 ---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等。  非形式化的需求的最大缺点是歧义性和模糊性。这很容易导致系统开发者和用户对需求有不同的理解，最后造成用户不满意所开发的系统，导致系统失败。因此，软件需求需要形式化。 形式化的需求具有无歧义、精确性等优点，形式化需求还有助于需求确认和验证。形式化方法是全面系统地使用基于数学的语言、技术和工具精确地说明、开发和验证软件系统，使用形式化方法描述的规约具有规范性和无二义性。而且形式化语言是一种机器可处理的描述语言，可以保证软件复用自动化成为可能。 B方法是比较流行的形式化方法之一。方法涵盖从软件开发的需求分析、设计、精化到实现的整个开发过程，相关的研究表明：这种方法对于一些复杂系统的实现也非常实用，比如：生命系统。本文提出的这样一套方法可以帮助生物学家研究靠目前的实验技术还不能完全解答的复杂免疫系统中的一些描述问题。 12.2 UML与形式化方法的结合 许多学者在UML的形式化方面进行了大量的工作，从形式化技巧的角度来看，这些方法大致可以归为两类： 一方面是直接对UML模型进行形式化的语义定义； 另一方面是结合UML和形式化方法的优点，将UML模型按照一定的规则转换为现有的形式化规范。 12.3 形式化方法  自然语言、图形等表示的规范说明 常规的精化方法，如总体设计等 人工编码、单元测试 模块测试、系统测试 最终产品 用户需求 需求分析 设计 编码 测试 12.4 形式化的案例 免疫系统是一种复杂系统，我们建议使用复杂网络的描述方法来描述这种复杂系统，然后利用复杂网络中的社团划分方法获取系统的功能需求信息，B形式化的规格说明提供了严格的数学基础与描述性，有了需求我们就可以利用B方法对其进行建模，希望将免疫系统这样的复杂系统很好的模拟出动态演化过程。 因为我们可以把需求信息用UML的图描述出来，再把它转变成B形式化的需求规格说明，这样就不会出现含有人为理解成分的有歧义的需求规格说明。 Thank you ! 学习动物精神 11、机智应变的猴子：工作的流程有时往往是一成不变的，新人的优势在于不了解既有的做法，而能创造出新的创意与点子。一味 地接受工作的交付， 只能学到工作方法 的皮毛，能思考应 变的人，才会学到 方法的精髓。 学习动物精神 12、善解人意的海豚：常常问自己：我是主管该怎么办才能有助于更好的处理事情的方法。在工作上善解人意， 会减轻主管、共 事者的负担，也 让你更具人缘。 素材天下 素材天下