软件体系结构形式化描述.ppt

;内容概要;抽象——认识事物本质的惯用法;抽象实例：运动系统;抽象实例：动力系统;形式化的抽象;内容概要;软件体系结构的描述;如何理解体系结构描述;体系结构描述方式;体系结构描述方式;非标准图形符号描述;非标准图形符号描述;非标准图形符号描述;实例;实例;实例;UML;UML特性;UML与RUP;RUP 4+1视图;RUP 4+1视图;RUP 4+1视图;RUP 4+1视图;RUP 4+1 视图;RUP 4+1 视图;RUP视图的实现方式;UML图实例;UML图实例;UML图实例;UML图实例;UML图实例;基于OO的软件体系结构描述方法;基于OO的软件体系结构描述方法;模块接口语言MIL;??块接口语言MIL;模块接口语言MIL;内容概要;我们在哪里;软件体系结构的形式化描述;软件体系结构的形式化描述;何谓形式化方法;形式化方法过程;软件体系结构形式化基础;形式化方法的进化——ADL;ADL应当有什么功能;ADL分类;ADL分类（续）;几种ADL简介;几种ADL简介（续）;几种ADL简介（续）;几种ADL简介（续）;几种ADL简介（续）;几种ADL简介（续）;通过ADL看软件;通过ADL看软件（续）;内容概要;WRIGHT;WRIGHT应用实例;;WRIGHT应用实例;WRIGHT设计目标;WRIGHT设计目标（续）;基于WRIGHT的形式化描述;基于WRIGHT的描述框架;基于