组合计算模型实现系统设计和仿真.docVIP

组合计算模型实现系统设计和仿真 　　摘 要:在模块化的系统设计中,适合各个模块的最佳计算模型往往不尽相同,这些计算模型包括有穷状态自动机、Petri网、离散事件和事件关系图等。为了方便设计者和提高工作效率,有必要允许对模块采用不同的计算模型,再运用组合计算模型的理论将这些模块组合成完整的模型以用于仿真和系统的自动生成。作为应用实例,通过分层组合离散事件和事件关系图,可以设计易于扩展、修改和维护的动态系统;同样的原理也可以应用于其他计算模型,从而使它们在模块化设计中发挥各自的优点。 　　 　　关键词:系统设计; 系统仿真; 计算模型; 离散事件; 事件关系图 　　中图分类号:TP311.5文献标志码:A 　　文章编号:1001-3695(2010)06-2116-03 　　doi:10.3969/j.issn.1001-3695.2010.06.035 　　 　　System design and simulation with composing models of computation 　　 　　FENG Hui??ning 　　 　　(Oracle Corporation, Redwood Shores, CA, USA) 　　 　　Abstract: 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. 　　Key words:system design; system dimulation; models of computation; discrete events; event relationship graph 　　 　　0 引言 　　系统设计可以借助各种建模软件。大型系统常常是通过组合模块而成的,而对于不同功能的模块,最佳的设计手段不尽相同。这些设计手段包括有穷状态机FSM(finite state machine)、UML序列图(sequence diagram)、同步数据流(synchronous dataflow, SDF)、进程网络(process network, PN)、Petri网和离散事件(discrete events, DE)等。它们都被称为计算模型(models of computation)。 　　最近研究发现,一种由传统的有穷状态机和活动图演变而来的计算模型――事件关系图(event relationship graph, ERG)[1],适用于动态时序系统,并可与其他一些计算模型组合以实现更复杂的设计[2]。本文提出分层组合DE和ERG,并为组合而成的系统进行仿真以了解其实际性能。藉此为例,阐明使用组合计算模型在系统设计中的优点。 　　1 离散事件和事件关系图 　　离散事件(DE)[3]和事件关系图(ERG)均可用于设计和模拟随时间改变状态的系统,它们有各自的长处,适用于设计不同类型的模块。虽然在一定程度