42、基于抽象状态机的多领域应用研究

基于抽象状态机的多领域应用研究

1. 仲裁器模式在工作流管理系统中的应用

1.1 基本概念与背景

在工作流管理系统中，为了实现动态适应机制，人们考虑将模型交换机制或选项纳入模型解释器机器。其基本设想是存在一种机制，能确保扩展模型在当前上下文中的有效性，并且支持工具可以实现图表 D 在给定的当前运行过程上下文或环境中成为 D 的有效扩展，这里用函数 validInCurrentAmb(D ,D) 作为占位符，这也是后续研究的方向之一。

1.2 仲裁器模式介绍

仲裁器模式源于机器人领域，由 R.C. Arkin 引入，最初用于编程乐高 Mindstorm 机器人与未预先定义的环境进行交互。该模式允许对独立机器人进行快速有效的编程，但最初建议仅用于机器人领域。其基本原理是假设机器人具有输入和输出设备，不编写一个大型复杂程序来控制机器，而是由一个仲裁器决定多个较小行为程序（简称“行为”）中当前要执行的程序。这些行为可能只包含简单指令，如“向前移动”。当前控制机器人的行为由基于每个行为的传感器输入动态重新评估的优先级决定。一旦外部事件（如机器人撞到墙壁）需要改变，优先级就会转移，仲裁器会执行不同的行为。如果包含优先级计算函数，行为可以按需添加。

1.3 仲裁器模式在 S - BPM 中的应用

在 S - BPM （Subject - Based Process Management）的上下文中，单元或主体与环境交互的方式是通过接收和发送消息，这些消息可以指向其他主体（环境）。此外，内部输入（用户选择或其他决定主体动作的计算）可以并且应该影响行为的优先级，即可以确定执行哪个行为。在这里，主体的“消息