6、从UML设计生成性能模型的元模型解析

从UML设计生成性能模型的元模型解析

在分布式信息处理领域，如电信、业务系统和Web服务等，对性能模型的需求十分常见。本文将围绕从UML设计生成性能模型的相关内容展开，包括UML SPT Profile、核心场景模型（CSM）元模型、实际案例以及模型转换等方面。

1. 整体架构与目标

为了从UML设计（U）生成性能模型（P），我们提出了一个两步处理序列，包含两个转换步骤：U2C和C2P。U2C用于提取场景模型，C2P用于推导性能模型。不同的C2P转换可以支持不同的性能形式化方法。这个过程可以用以下流程图表示：

graph LR
    A[Annotated UML Design Model U] -->|U2C| B[Core Scenario Model CSM]
    B -->|C2P| C[Performance Model P]
    B -->|C2P’| D[Other Performance Model P’]
    C -->|Solve| E[Model Solutions S]
    E -->|Feedback| A

我们的目标是描述核心场景模型（CSM），证明它能够捕获SPT Profile中注释定义的所有信息，并探讨其推导性能模型的可行性。

2. UML可调度性、性能和时间（SPT）Profile

SPT Profile通过定义可以应用于对象实例和行为规范中动作执行实例的构造型和标签，扩展了UML标准。UML规范和构造型共同决定了性能模型的结构属性，标签则提供参数值。该