需求结构化：Response（响应）模式

1 背景

OneLogic对常见需求实例进行抽象，形成面向需求的“模式”库，能够以较为直接的方式，将自然语言等非结构化需求转换为结构化需求，以便能够被形式化计算。

在各种需求模式中，Response（响应）模式可能是最常用的。

2 一般结构

Response模式的一般结构如下图所示。

即：当Trigger事件发生后，经过至少Tmin个单位时间、最多Tmax个单位时间，Action发生。

3 基本Response模式

当Tmin、Tmax均为0时，则为Response的基本模式，即：当Trigger事件发生后，Action立即发生。表示为蕴涵关系，即为Trigger → Action。

OneLogic提供的基本Response模式如下图所示。

<