组合计算模型实现系统设计与仿真

System design and simulation with composing models of computation

在模块化的系统设计中,适合各个模块的最佳计算模型往往不尽相同,这些计算模型包括有穷状态自动机、Petri网、离散事件和事件关系图等。为了方便设计者和提高工作效率,有必要允许对模块采用不同的计算模型,再运用组合计算模型的理论将这些模块组合成完整的模型以用于仿真和系统的自动生成。作为应用实例,通过分层组合离散事件和事件关系图,可以设计易于扩展、修改和维护的动态系统;同样的原理也可以应用于其他计算模型,从而使它们在模块化设计中发挥各自的优点。

In a modular system design, the models of computation appropriate for the components usually vary. Those models of computation include finite state machine, Petri net, discrete events and event relationship graph. To provide flexibility for designers and to improve productivity, it is necessary to enable the use of different models of computations in the components, and to apply the theories of composing models of computation to construct complete models for simulation and automatic system generation. As an application, by hierarchically composing discrete events and event relationship graphs, dynamic systems that were easy to extend, modify and maintain could be created. The theories could also be applied to other models of computation, and thus exhibited their benefits in compositional designs.