论文部分内容阅读
流程是一个含义广泛的概念。本文将流程归纳为具有完整功能并能独立运行的执行实体。流程由特定算法构成。计算实体之间通过多种方式并且互相影响,它们的行为既相对独立,又彼此依赖。计算已经突破了图灵机模式,而交互是决定性因素,交互使计算成为一个开放的动态过程。
流程的计算应是一个开放的、动态并发交互的过程,由系统与外部环境的动态交互以及系统内部各组件间的协同工作来完成。多流程系统的行为是系统内、外因有机统一的具体表征。因此不能把流程的静态组合构造和动态计算行为当作两个孤立的个体分而治之。
本文利用动作逻辑扩展了自动机模型,并以此作为流程的模型。流程的动态行为则是动作执行的结果。事件是系统特性变化的抽象表示,本文用事件作为流程间交互的中介,通过事件公式来表示状态与事件的推理过程,事件公式将系统的静态特性和动态变化统一起来。而流程间的交互过程则是对事件的感知和处理过程。
借鉴黑板结构,本文建立了一个流程交互模型。通过黑板实现了对事件的集中感知,降低了各流程感知事件的复杂度。同时为黑板增加了消息传送功能,保证了事件传播过程的可靠性。各流程通过增加消息收发机制和消息处理机制,从而在不影响流程独立性的基础上增加了交互能力。