57、面向服务的UML配置文件的形式化支持与分析

面向服务的UML配置文件的形式化支持与分析

1. 动态重配置规则与挑战

动态重配置规则常常依赖于复杂或非局部的条件。以连接站关闭为例，连接的汽车需要形成一个自组织网络链，并连接到相邻的运行站。若仅使用简单规则，对于每种可能需要重新配置的汽车数量，都得编写一条规则。而使用递归规则，即条件重写框架中的应用条件，就能将任意数量的汽车重新配置为线性自组织网络。

为保证架构风格的约束不被违反，在重配置规则的左右两侧使用相同类型，可确保风格的保留。不过，这仅适用于那些能通过类型进行归纳表征的风格，如常见的树或环拓扑，但不包括规则网格等。

2. ADR形式化支持

ADR通过设计来对系统进行建模，设计是一种带类型、有接口的图，其内部元素代表系统组件及其互连，接口则表示整体类型和连接能力。有效系统的领域通过设计产生式以归纳方式定义，这些产生式定义了设计术语的代数，每个术语都编码了系统的结构并提供有效性证明。重配置和行为以作用于设计术语而非设计的术语重写规则的形式给出，这使得能够灵活定义有效的（如保留风格的）重配置。

3. UML4SOA重配置配置文件的ADR语义

• 系统配置建模 ：设计是基于图的结构，技术上是一个三元组 d = ⟨Ld, Rd, id⟩ ，其中 Ld 是接口图， Rd 是主体图， id 是将接口节点映射到主体节点的函数。UML4SOA的 ≪fragment≫ 组件可映射到ADR设计， ≪service≫