66、UML 2.x 与组合策略在服务组合规范中的应用及安全策略框架

UML 2.x 与组合策略在服务组合规范中的应用及安全策略框架

在当今的软件开发领域，服务组合与安全策略的制定和实施至关重要。本文将介绍使用 UML 2.x 和组合策略来规范服务组合的方法，以及一种基于模型的安全策略规范、部署和测试框架。

服务组合中的 PESM 图与组合策略

在服务组合中，PESM（Policy-Enabled Service Modeling）图和组合策略起着关键作用。策略规则在服务部署后可以进行更改，例如在已部署的服务中要求更强的认证级别。运行时系统中的策略管理器可以管理动态更改，用更强的认证模式替代较弱的模式。虽然我们的研究未直接涉及此方面，但 Chisel 框架可为实现该方法提供环境。

全局 PESM 图的语义

为定义全局 PESM 图的语义，我们将 PESM 视为交互概述图，并扩展了策略决策点（PDP）和相应的策略规则。单个策略规则的语义在之前已定义，PDP 的语义则定义为所有相应策略规则语义的并集：
[
[[ PDP ]] \stackrel{\text{def}}{=} \bigcup_{p\in PDP} [[ p ]]
]

设计模型层

在设计模型层，每个基本角色的行为由 UML 2.x 状态机表示。它们通过局部组合策略和局部 PESM 图协调成复合角色，每个复合角色对应一个局部 PESM 图。

• 局部组合策略
  • 服务模型层的每个全局策略规则对应两个局部规则，分别用于参与协作的两个复合角色。接收触发的角色称为发起角色，另一个称为参与角色。发起角色除了在