12、服务交互：模式、形式化与分析

服务交互：模式、形式化与分析

1. 引擎与控制器相关原理

在服务交互系统中，每个内部位置以及与给定开放网的每个接口位置都与特定的消息类型相关联。基于这些位置，每个单独的转换要么遵循 SEA 规则，要么从与相同消息类型相关联的位置转移令牌。与控制器的接口位置仅限制引擎转换的触发顺序，因此引擎能确保生成的适配器独立于控制器的任何具体特性而符合 SEA。

不过，引擎并非唯一的。例如，在某些情况下，可以移除引擎和控制器之间的一些接口位置，而不改变可生成的适配器。

2. 控制器的选择

对于两件式适配器的控制器选择，一般来说，开放网 (N1 ⊕N2) ⊕E 有多种策略，每种策略都可作为适配器的控制器。

其中，最宽松策略是一种特别有趣的策略。它代表了能强制建立行为属性的最大行为，对控制器接口的约束最小。但其潜在缺点是规模较大，且具有大量的不确定性，不过在很多情况下，这会在开放网方面带来良好的并发性。

另一方面，通常有许多比最宽松策略规模更小的策略。这些策略往往会限制与给定开放网的交互，特别是会降低并发性。

综上所述，最宽松策略和任意小策略都有各自的优缺点，且它们在一定程度上相互补充。这为在适配器合成的复杂性和所得适配器的质量（就其规模和运行时行为而言）之间进行权衡提供了机会。这也与适配器的两种应用场景相关：
- 第一种场景：精心选择一组服务，然后作为最终工程步骤计算适配器。这种场景允许较长的运行时间，并且期望更高的质量。
- 第二种场景：用户在运行时选择一些服务，需要适配器使这些服务协同工作。这种场景对运行时间要求更严格。

3. 工具支持

相关技术