Skip to main content

输入:最终执行计划

最终执行计划必须采用以下结构。示例展示两份样品加液并进行光谱表征的最小闭环:
steps 使用绑定中的结构。

执行计划字段

下发方式

执行服务按 steps[].request_class 选择 FSP 分类入口:
执行服务不得根据操作名称猜测请求分类。设备技能是否同步或异步,由 FSP 完整技能定义和实际返回决定。

仿真输出

方法在进入物理执行前必须生成仿真报告:
仿真通过只证明方案在当前函数和状态模型中可运行,不证明物理设备已经执行。

状态提交

失败回退与再验证

执行服务不能把计划中的预期状态当作真实结果。read 完成后保存观测时间和数据新鲜度;write 完成后回读或取得等价确认;invoke 完成后按技能的系统维度验证实际结果。只有验证通过后才能决定是否提交研究对象状态。
  1. 设备成功且返回值满足操作完成条件:保存结果、诊断和证据引用,提交实际状态变化;
  2. 设备失败、取消或返回未知结果:不提交预期状态,保留已确认状态并读取对象和系统最新值;
  3. 将失败步骤、实际状态、能力修订号和诊断反馈给方法生成与验证阶段;
  4. 只有重新生成的方法通过完整验证并重新绑定后,才允许形成新的执行任务。
这使“生成—验证—执行”形成可追溯闭环:重新执行前必须以设备实际状态为新的输入,而不是沿用失败前的状态假设。

真实执行证据边界

真实执行至少应当返回:
  • 实际调用的操作和参数;
  • 开始和完成状态;
  • 实际对象和系统状态;
  • 结果或诊断;
  • 可以关联到研究对象来源记录的执行引用。

执行证据输出示例

执行服务必须使用异步任务定义的任务状态和本页定义的证据记录,不得以执行计划中的预期状态代替设备确认结果。