PCM预测软件性能的研究与设计.pdf

第 4期 冯 富霞 ，等 ：PCM 预测软件性能的研 究与设计 ·71 · ExecutionEnvironment)E ，组件开发者无法事先预知这些因素 ，具有不确定性 ．这些不确定性 由用户 使用上下文 、资源配置上下文给出．由此，SEFF只规范了建模参数 、行为、行为流程控制的元模型． uML建模 PcM建模过程 阶段 2 PCM 建模过程和建模关键 PCM 可以认为是 UML建模的衍生 ，以UML模 分 型为中心，但都源于 MOF，是系统两种视角的建模， 析 分析领域使用场景 属于系统功能、性能的完整建模． 模型 PCM 中的所有模 型都可 以在 UML中找 到类似 r 一 的模型．使用场景模型对应UML用例模型某场景的 系统模型、资源描 活动模型 ；资源描述与分配模型对 UML中的系统部 述、资源分配模型 设 计 、 仓储模型、使用 署模型 ；系统模型对应 UML中的架构模 型；SEFF模 场景模型 型对应 UML中组件设计阶段 的活动图．在系统开发 中UML与 PCM 建模可并行，建模过程如图 2所示． 两级参苏依赖性检 查 其中可能因引用第三方组件 ，SEFF模 型需要从二进 制代码创建．当然 ，从宏观角度看 PCM 的建模过程遵 图 2 PCM 建模过程 循 BCSD开发过程 ，如 RUP过程 ． 建立 PCM模型的关键之一是根据功能模型提取影响系统性能的关键信息，主要有资源使用行为、行 为流程 ；用户请求及相关信息．其中资源主要有 CPU时间、内存 、硬盘、外设 、数据库联接 、网络带宽等．用 户访 问形成系统负载信息如 ：用户数、请求类型、交互信息量 、思考时间等．在 SEFF中应 以注释的形式标 注出Action使用资源的类型及其值 (如 name—CPU specification=”2E+9Instr．”)，并注释 Action的流 程参数依赖的信息(如某分支条件 specification=”．value0”)． 这些性能信息构成影响系统性能的两类参数：架构级参数和组件级参数．若性能预测具可执行性，参数 度量空间要适度．架构级参数主要为用户访问信息和资源性能描述信息，分别属于使用场景模型和资源部署 模型，由领域专家 、部署人员引用 ，并提供参数值．组件级参数主要为资源使用和资源使用流程信息，属 SEEF 模型，由组件开发人员设定 ，但具体值 由架构级参数提供．因此，两级参数间存在同一描述的依赖性． 建立 PCM模型的关键之二是参数取值 的不确定性特征．PCM 中重视的不是具体 的用户输入值 ，而 是用户输入信息取值的发生概率 ，这主要由领域专家提供 ，需要利用概率理论、模糊集和模糊概率理论 ，如 PDF(proba