14、会话初始化作为一种服务

会话初始化作为一种服务

1. 引言

反应式系统是与环境进行持续刺激 - 响应行为的系统，分布式反应式系统由分离的自主组件组成，这些组件可独立发起操作、并发运行，并相互及与环境交互以提供服务。

服务的定义具有以下特性：
- 服务是一种功能，由实体执行的行为。
- 服务意味着协作，至少两个实体协作才有服务的概念。
- 服务行为具有跨职能性，涉及协调两个或多个实体行为以完成特定任务。
- 服务行为是部分的，需与系统提供的其他服务组合以获得系统的完整行为。

服务与参与者之间并非一一对应关系，为描述完整的服务行为，需理解协作行为并独立于特定系统设计或实现来建模服务。采用服务工程方法，分两步对分布式反应式系统的服务进行建模：
1. 使用 UML 2 协作定义角色和协作使用来表示子服务和接口，以此建模服务结构。
2. 使用 UML 2 活动图将全局服务行为建模为服务协作或主服务协作结构中协作使用所引用的子服务的编排。序列图可用于描述基本协作的行为。

参与者的行为设计为该参与者在不同服务中扮演的角色的组合，角色绑定分为静态和动态两种。静态角色绑定在服务开发期间将角色绑定到参与者；而动态角色绑定通常在服务执行期间动态地将角色绑定到参与者。在许多情况下，角色绑定取决于参与者的当前状态，因此在启动服务会话之前需要额外的协调功能。传统上，会话初始化行为与服务会话行为捆绑在一起，现在提议将会话初始化分离出来并建模为一种服务，可与会话行为组合并重用。

2. 动态会话初始化的案例

在系统中，同一服务的多个实例可能共存。在服务建模时，通常考虑一个孤立的服务实例，但在系统设计过程中，需要处理