8、智能合约的信任与完整性技术：投票系统实现

智能合约的信任与完整性技术：投票系统实现

1. 有限状态机图

在投票系统中，用例图只能提供静态细节，无法描述投票过程所需的动态时序和状态转换。比如，它不能规定操作的执行顺序，像注册期、投票期和确定获胜者的阶段。因此，需要一个能描述系统动态的设计图，即 UML 有限状态机（FSM）图。

FSM 图在形式计算机科学和数学中有坚实的基础，也是一种通用的 UML 设计图。它能表示智能合约随时间和其他条件发生的各种状态变化，这些条件和规则通常基于现实世界合同或过程的不同阶段。

投票过程有明确的规则：
- 注册必须在投票前且在特定截止日期前完成。
- 投票过程的功能按特定顺序进行。
- 投票仅在指定时间段内开放。
- 只有在投票结束后才能确定获胜者。

下面是一个 FSM 图的示例，它由以下部分组成：
- 状态：包括起始状态和一个或多个结束状态，通常用双圆圈表示。
- 转换：从一个状态到另一个状态的转变。
- 输入：引发状态转换的条件（如 T=0、T+10 天、T+11 天）。
- 输出：状态转换期间的零个或多个操作，如注册（Regs）、投票（Vote）和计票（Done）。

graph LR
    classDef startend fill:#F5EBFF,stroke:#BE8FED,stroke-width:2px;
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px;
    A([Init]):::startend --&