59、逆向工程中的稳定性抽象技术

逆向工程中的稳定性抽象技术

1. 引言

在系统分析中，我们常常需要抽象具体系统以挖掘其行为的相关高级属性。重点关注系统对刺激的反应，跳过实现诱导效果的中间步骤，评估稳定条件之间的联系。稳定性的定义是关键，不同的稳定性定义对应不同的抽象级别。

2. 稳定性抽象框架概述

• 问题提出 ：旨在抽象具体系统，模拟原模型，仅保留抽象域上的稳定状态，跳过瞬态（不稳定和不可观察）状态。
• 示例说明 ：以一个带自动安全阀的水箱定时过渡系统为例，该系统有一个时钟变量 c 监控填充和排空过程的速度，读取输入布尔变量 in.flow ，其状态由环境 E 控制。系统从 Empty 位置开始，根据输入变化在不同位置间转换，如 Filling 、 Warning 、 Full 、 Emptying 等。我们关注系统的五个位置作为感兴趣的谓词，稳定性抽象用于表示触发事件后达到的稳定条件。

以下是水箱系统的简单流程图：

graph LR
    classDef startend fill:#F5EBFF,stroke:#BE8FED,stroke-width:2px
    classDef process fill:#E5F6FF,stroke: