[工学]软件体系结构-6 体系结构的一般描述.ppt

* §6.11 软件体系结构集成环境：ACME系统介绍 ACME的核心概念 部件 是系统描述的基本组块，代表了系统计算的核心 可以用来表达硬件或者软件 连接器 体系结构模型的一个重要特征是把交互看成是建模的概念。这与OO不同。 通过显式的连接器的概念，为明确地表达系统的通信关系提供了机制。 ACME句法结构 Modeling a system with ACME中给出了完整的句法结构描述。 * §6.12 软件工程设计方法与体系结构描述 在软件工程中，大量使用自然语言和多种符号。虽然对于分析、设计并结合复审提高了软件的质量，但系统规约中可能产生矛盾、二义性等。 软件体系结构作为软件工程学科研究软件系统总体结构的一个重要分支而出现，采用自然语言和图形符号描述体系结构就不可避免的具有上述问题。 * §6.12 软件工程设计方法与体系结构描述 目前，对于体系结构的描述可以分成两类，但各有优缺点： 把现有的图形化方法应用到体系结构设计中 开发体系结构描述语言 每种体系结构描述语言都以独立的形式存在，描述语法不同而且互不兼容，这给体系结构描述语言的推广带来了一定的困难。 * §6.12 软件工程设计方法与体系结构描述 软件工程设计方法与体系结构描述 软件工程设计方法是针对软件的工程实现所提出的一整套思想和概念，提出的各种模型虽然未提及SA，但也代表了对软件构成的一种视图，也属于SA的范畴。 从描述软件构成结构上看，软件工程设计方法和SA描述的目标一致。软件工程设计强调的是功能和逻辑结构，而SA注重的是与运行和特性相关的结构，包括部件和连接器的规范、接口、规约、非功能特性等。 * Chapter Six 体系结构的一般描述 主子程序 数据抽象和面向对象 层次结构 理论的形式化方法 Z Notation CSP 类属理论 化学抽象机模型 软件体协结构集成环境 UniCon Darwin Wright ACME 软件工程设计方法与体系结构描述 * The End Of Chapter Six * * * * * * * §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：共积（Coproduct） * §6.4体系结构的描述：类属理论 基本概念（续） c b a f i1 g i2 a+b [f;g] [f;g] 0 i1=f并且[f;g] 0 i2=g