ABC方法全生命期软件体系结构支持.ppt

目 录 工作背景 Internet带来的软件技术挑战 我们的工作 面向构件、基于体系结构的软件开发方法ABC Internet带来的软件技术挑战 Internet平台的特征 未来软件的基本形态 网构软件的主要特征 自主性： 软件实体具有相对独立性、主动性和自适应性 协同性： 软件实体之间多种方式的互连、互通、协作和联盟 反应性： 软件实体具有感知外部运行和使用环境的能力 演化性： 结构和实体的演化能力，包括：元素数目的可变性、结构关系的可调节性和结构形态的动态可配置性 多态性： 网构软件实体具有目标制导能力和多目标的特征协同能力，从而使系统的效果体现出相容的多目标性 网构软件对软件技术的挑战（1） 网构软件对软件技术的挑战（2） 网构软件对软件技术的挑战（3） 现行技术体系的局限 面向构件、基于体系结构的软件开发方法ABC 面向构件的网构软件开发方法学 针对网构软件的节点元素自治化、节点协同（交互）柔性化、结构和节点演化动态化的特点，开展研究 ABC释义 ABC：Architecture Based Component Composition－1998年针对构件组装而提出 2000年拓展到整个软件生存期，改为“面向构件、基于体系结构的软件开发方法”，英文保持不变，寓意“方法简单易用” ABC方法仍在不断发展完善中 研究动因（1） 软件体系结构（SA） 大型软件系统设计的关键环节 一种自顶向下的构件复用途径 基于构件的软件开发（CBSD） 基于中间件技术 自底向上的构件复用途径 研究动因（2） 相关研究的不足 SA 对体系结构描述的精化和实现关注不够 缺少对变换或组装生成可执行系统的必要能力 CBSD 缺少系统的方法学指导CBSD过程，特别是在高抽象层次的组装支持 ABC方法 面向构件、基于软件体系结构的软件开发方法 (Architecture Based Component Composition) SA + CBSD：将SA 与CBSD 相结合，以SA 模型作为系统蓝图指导系统开发的全过程，把分布式构件技术作为构件组装的实现框架和运行时的支撑，使用工具支持的映射规则缩小设计和实现间的距离，自动地组装、验证所需要的系统 ABC方法 三个层次的研究工作 领域工程与软件复用 特征模型 特征：一组相互紧密联系的需求构成的单元，反映了某种对用户或客户有价值的能力。 系统行为 功能 质量属性 约束 特征模型概念框架 基本组织结构：基于整体－部分关系 变化性建模机制 约束关系建模机制 交互关系建模机制 面向特征的优点 为领域提供一个标准的名字空间 促进各种参与者间的交流 提供了组织需求的良好框架 遵从entity-relation模式 便于图形化建模 支持对需求的复用 对共性/变性的建模支持 对变性的剪裁支持 半形式化的需求建模技术 特征与功能（Function） 两者观察事物的角度不同 功能：输入到输出的映射关系 数学、程序语言、结构化软件开发方法、软件需求规约。 特征： 用户/客户视角 一组相互关联的需求 一种对外提供的能力 有重叠 不同角度的交叉点 特征能够更全面、有效地描述问题空间 特征建模工具界面 软件体系结构建模 构件模型 ABC/ADL 支持构件组装的体系结构描述语言 映射规则 SA模型到实现 工具支持 SA的可视化建模 SA模型的验证和校验 基于SA的构件组装 ABC/ADL ABC/ADL基于上述构件模型，在三个层次上刻画构件和连接子: 基本层. 构件和连接子的语法描述. 行为层. 构件功能、行为和非功能特征的语义规约和约束. 协议层. 构件和环境之间交互的契约定义，以及由连接子封装的构件间的交互协议. ABC/ADL的特点 ABC/ADL显式区分 构件类型和实例 连接子类型和实例 构件接口中的类型相关的方法和实例相关的方法 ABC/ADL提供 复合构件 提供层次化和渐进的建模支持. 复杂连接子 拥有内部结构或复杂交互协议. 风格模板. 提供用户自定义风格的能力. Aspect 刻画具有贯穿特性的非功能系统约束，如：安全、事务…… 对连接子模型的无缝支持 ABCTool概念视图 ABCTool for J2EE 基于体系结构的部署 典型的J2EE部署 基于体系结构的部署工具 构件运行支撑平台 : PKUAS 支持J2EE的应用服务器 符合J2EE 1.3/ EJB 2.0规范 主要特色 基于微内核、构件化的体系结构 灵活的容器系统 可扩展的互操作框架 构件和系统的在线演化 基于SA的应用部署、管理与维护 引入运行时软件体系结构－RSA 构件化体系结构 基于JMX的微内核 Java Management Extension Java对象的管理规范 容器系统 构件容器 互操作框架 在线演化 基于RSA的中间件反射