论文部分内容阅读
逻辑进程(LogicaI Process)是并行离散事件仿真中最广泛采用的一种建模范型，但目前通用的基于逻辑进程范型的离散事件模型均直接基于高级编程语言实现或图形界面开发，缺乏模型描述与仿真器之间的严格区分，使得模型正确性以及仿真功能性能评估准确性受到了极大影响．针对这一问题，本文提出了面向逻辑进程范型的分割事件图形式化方法及其仿真器执行语义．首先，对当前提出了分割事件图形式化方法，按照逻辑进程范型状态划分特征，在事件图上对逻辑进程进行分割映射;其次，基于分割事件图形式化语言，从模型向仿真器进行了映射，最后给出了一种抽象串行仿真器算法．本文工作为PDES模型与仿真器解耦合提供了严格的形式化基础．