Parallel DEVS: A parallel, hierarchical, modular modeling formalism and its distributed simulator

摘要

We present a parallel, hierarchical, modular Discrete Event System Specification (P-DEVS) modeling formalism which provides a modeler with both conceptual and parallel execution benefits. The parallel formalism distinguishes between transition collisions and ordinary external events in the external transition function of DEVS models. Such separation enables us to extend the modeling capability of the collisions. The formalism also does away with the necessity for tie-breaking of simultaneously scheduled events, as embodied in the select function. We next present a design for the parallel simulation procedures needed to prove the formalism's soundness and to serve as a reference for implementation. We then discuss a prototype implementation that affords a high degree of flexibility by mechanizing the "closure under coupling" property of the Parallel DEVS formalism and the object-oriented characteristics.