23、开放分布式处理行为概念解析

开放分布式处理行为概念解析

1. 核心行为概念

在行为规范方面，存在多种指定分布式系统行为的方法。我们将并发系统表示为一个三元组集合，包含状态集、动作集和行为集。每个行为被建模为可互换的状态和动作的有限或无限序列。描述此序列主要有两种方法：
- 方法一：通过描述系统的动作集和行为来建模系统。
- 方法二：通过描述系统的状态空间和可能的状态变化序列来建模系统。

这两种观点是对偶的，因为动作可定义状态变化，而状态序列中的状态可视为动作的抽象表示。我们使用RM - ODP模型的形式化方法，用UML/OCL编写，主要采用RM - ODP中“基本建模概念”的相关概念，包括行为、动作、时间、约束和状态。

行为的定义使用了动作和约束两个概念，行为是“一组动作以及对这些动作何时可能发生的一组约束”。形式化定义如下：

Context c: constraint inv:
c.constrained_act -> size > 1
Context m :modelbehaviour inv:
m.behaviour->includesAll(m.Actions->union(m.constraints))
Context b: behaviour inv:
m.behaviour->forall(b |(m.actions->includes(m.b) and b.constraints->notempty) or
(m.constraints->includes(m.b) and b.actions->notempty)

为了使定义更形式化，还需考虑时间