20、电话交换系统中形式化需求的管理与特征交互处理

电话交换系统中形式化需求的管理与特征交互处理

1. 引言

数字电话交换系统已具备数百种功能，市场促使供应商不断添加新服务和功能。然而，特征交互（FI）问题成为添加更多功能的严重障碍。例如，终止呼叫筛选（TCS）和呼叫转移（CF）功能之间可能存在交互问题，当用户C订阅TCS并将A列入筛选列表，用户B订阅CF并将所有呼叫转移到C，此时A呼叫B，C的电话是否会响取决于对“呼叫者”概念的定义。

特征交互问题在需求文档中就已出现，因此应在需求阶段解决。形式化需求能提供精确描述，但形式化需求文档的维护是一个值得关注的方面。我们提出了形式化需求家族的概念，将所有需求变体放在一起，封装变体选择，并鼓励原规范者记录尽可能多的信息，以便后续规范者避免或检测特征交互问题。

2. 支持形式化需求家族的规范方法

2.1 基础语言CSP - OZ

我们选择CSP - OZ作为添加特征构造的基础语言。它结合了进程代数CSP和Object - Z，适用于电话交换系统，能分别指定通信和控制方面以及数据方面。CSP - OZ的继承运算符提供了纯细化或强大但不受控的更改方式。

Z语言即将有国际标准，该标准对Z的语法和语义进行了更详细的定义，并提供了一些扩展，支持规范文档的结构化。一个Z（和CSP - OZ）规范由形式文本段落组成，新标准允许在段落之上添加规范和章节，每个章节都有自包含的形式意义。

2.2 规范风格

我们倾向于约束导向的规范风格，逐个添加小约束有助于专注于系统的一个方面。在进行非单调扩展时，应控制更改粒度。我们区分特征的基本行为和可更改行为，并要求原规范者记录这些信息。同时，区分系统需求和其环