软件体系结构课件6 体系结构的一般描述.ppt

* The End Of Chapter Six 时间碎片化使得我们更加的弱智 中断嵌套一样，保护不了中断现场，无法返回中断前的处理 每天的工作回复邮件和接听电话 * * 音乐始于词尽 * * * * 公理，定理，推论 * * 计算机领域的爵士——C. A. R. Hoare，1934年出生于英国，1959年博士毕业于俄罗斯莫斯科国立大学，获得语言机器翻译专业学士学位。1960年发布了使他闻名于世的快速排序算法（Quick Sort），这个算法也是当前世界上使用最广泛的算法之一。Tony Hoare在取得博士学位后，就职于Elliott Brothers，领导了Algol 60第一个商用编译器的设计与开发，由于其出色的成绩，最终成为该公司首席科学家。他于1969年发表了论文计算机程序的公理基础提出了名为Hoare逻辑的形式系统理论。这个系统的用途是为了使用严格的数理逻辑推理计算机程序的正确性提供一组逻辑规则。他还设计了形式化语言CSP（Communicating Sequential Processes）用以描述并发进程相互作用。从1977年开始，Tony Hoare博士任职于牛津大学，投身于计算系统的精确性的研究、设计及开发。因其对Algol60程序设计语言理论、互动式系统及APL的贡献，1980年被美国计算机协会授予“图灵奖”。 1999年在牛津大学退休后，TonyHoare博士被微软剑桥研究院聘请担任高级程序员，从事微软剑桥研究院研究成果的工业化应用的工作，以及协助其它研究人员进行服务于软件产业及用户的长期基础研究项目。2000年因为其在计算机科学与教育上做出的贡献被封为爵士。 * * * * * * 体系结构的设计模式是构成负责软件的基础和常用单元，解决的是软件的底层或接近底层的结构问题。 自从1991年以来，模式的观念和理论逐渐成为面向对象领域中的热门的话题之一。 设计面向对象的软件比较困难： 找对象、归类、定义接口与层次、建立对象间的关系：目的是当前行，对今后具有通用性 但一下子要做到好的设计，好的可复用的面向对象不是说不可能，至少更加的困难。 经验，重复 设计模式使人们可以更加简单方便地复用成功的设计和体系结构，帮助设计者更好更快地完成系统设计。 此乃第七章的内容：设计模式 * §6.4 体系结构的描述 体系结构的描述语言的定义与分类 发展： MIL 定义：人云亦云 功能：能够描述体系结构的组成要素，并能对系统体系结构、体系结构风格进行建模和分析验证的描述语言。 * §6.4 体系结构的描述 体系结构的描述语言的定义与分类 分类： 描述软件体系结构配置的ADL：CHAM 描述软件体系结构实例的ADL：Rapide 描述软件体系结构风格的ADL：Wright 目标： 精确的语义描述 支持分析推理 * §6.4 体系结构的描述：类属理论 类属理论是一种表达对象关系的数学语言。最初由Samuel Eilenberg 和Sanders Maclane提出的。 提供了概念划分的统一性 软件研究者把他看成是表达抽象和依赖关系的工具 在体系结构的部件和连接器描述中都被广泛采用 * §6.4体系结构的描述：类属理论 类属理论（Category Theory）Contents 基本概念 类属规范Spec 类属规范P－Spec 函数型体系结构理论 * §6.4体系结构的描述：类属理论 基本概念 类属是由一个对象集合和一个关联两个对象的箭头集合构成的。 对象是以某种逻辑表达的形式规范，箭头定义了这些规范之间的关系。 定义1：类属。一个类属C的构成如下： 一个称作C-对象的事物集合（Collection） 一个称作C-箭头的事物集合 给每个C-箭头 f 指派一个操作 a=dom f ,并且 b=cod f 则：f:a b 或者 a f b 一个称为合成的操作o g o f:dom f cod g 对每个C-对象指派一个C-箭头idb:b b ,称作是关于b的等箭头。 * §6.4体系结构的描述：类属理论 基本概念（续） 定义2：类属图。类属C的图示形式称为类属图D，它是一个由C-对象的节点集合Dc和一个C-箭头的边集合DA构成的，对任何a包含于DA，则dom a包含于Dc并且cod a 包含于Dc * §6.4 形式化描述：类属理论 基本概念（续） 定义3：共限（Colimit） 共限可以用来把多个规范通过共同部分粘结在一切。 di c‘ c fi f fi’ * §6.4 形式化描述：类属理论 基本概念（续） 在建立结构的规范中还要用到其他操作。数据类型的元组被定义为类属的积（Product），联合（Union）类型被定义为共积。 定义4：积（Product） 定义5：