49、用例图的抽象操作语义解析

用例图的抽象操作语义解析

1. 抽象状态机基础

抽象状态机（ASM）定义了一种基于状态的计算模型。计算过程表现为从给定初始状态 (S_0) 开始，通过反复执行转换 (δ_i) 得到的有限或无限状态序列 ({S_i})，可以表示为：
[S_0 \stackrel{\delta_1}{\longrightarrow} S_1 \stackrel{\delta_2}{\longrightarrow} S_2 \cdots \stackrel{\delta_n}{\longrightarrow} S_n]

ASM (A) 是基于固定词汇表 (V) 定义的，(V) 包含有限的函数名和关系名集合。其中的名称可分为以下三类：
- 静态（Static） ：在 (A) 的每个计算状态中具有相同（固定）的解释。
- 动态（Dynamic） ：函数名可在计算步骤中通过触发的转换进行更改。
- 外部（External） ：其解释由环境决定，不受系统控制。

给定一个词汇表，(A) 由其程序 (P) 和一组特定的初始状态 (S_0) 定义。程序 (P) 由转换规则组成，以有限的局部函数更新集合来指定 (A) 在给定全局状态下可能的状态转换，这些转换是原子操作。转换规则的形式如下：

if Condition then <Updates> else <Updates> endif

其中，(Updates) 是一组