4. 批次状态机模型：状态定义、转换规则与触发条件

在Mask光刻版设计流程中，每个设计批次（Lot）的生命周期由一组严格定义的状态构成。状态机模型确保了设计任务的可追溯性、责任清晰性以及流程的不可逆性。本节将详细定义五个核心状态、它们之间的合法转换路径以及触发这些转换的具体条件。

4.1 状态定义与语义

批次状态机包含以下五个基本状态，每个状态对应设计流程中的一个关键里程碑：

4.2 状态转换规则与触发条件

状态转换必须遵循严格的规则，任何非法跳转都会被系统拒绝。下图展示了完整的转换拓扑结构：

4.3 详细转换条件表

下表列出了所有合法转换的触发条件、前置检查项以及系统动作：

4.4 状态机实现要点

在实际系统中，状态机通常通过数据库状态字段 + 事件驱动架构实现。以下是核心实现逻辑的伪代码示例：

// 批次状态机核心逻辑（伪代码）
class BatchStateMachine {
    // 状态转换映射表
    transitions = {
        'PENDING':       ['IN_DESIGN'],
        'IN_DESIGN':     ['DESIGN_DONE'],
        'DESIGN_DONE':   ['IN_REVIEW'],
        'IN_REVIEW':     ['APPROVED', 'REJECTED'],
        'REJECTED':      ['IN_DESIGN'],
        'APPROVED':      []  // 终态，无合法转换
    };

    function transition(batchId, targetState, userId, reason) {
        currentState = getCurrentState(batchId);

        // 1. 检查转换合法性
        if (targetState not in transitions[currentState]) {
            throw new IllegalTransitionException(
                "非法转换: " + currentState + " -> " + targetState
            );
        }

        // 2. 执行前置检查
        preCheck(currentState, targetState, batchId);

        // 3. 执行状态更新（原子操作）
        updateState(batchId, targetState, userId, reason);

        // 4. 触发后置动作
        postAction(currentState, targetState, batchId);
    }
}

4.5 异常状态处理

在实际运行中，状态机可能遇到以下异常情况，需要设计对应的处理策略：

• 超时滞留： 批次在“设计中”或“审核中”状态超过预设时限（如72小时），系统自动发送告警通知项目经理。
• 强制回退： 仅在极端情况下（如设计需求变更），由系统管理员执行强制回退操作，将批次从“设计完成”回退至“待设计”，该操作需双人审批。
• 并发冲突： 当多个用户同时操作同一批次时，系统采用乐观锁机制，以第一个提交的动作为准，后续操作返回冲突提示。