The DEVS formalism: hierarchical, modular systems specification in an object oriented framework

ABSTRACT

This paper describes a realization of DEVS (Discrete Event System Specification) formalism in an object-oriented programming environment, SCOOPS of PC-Scheme. The realization, DEVS-Scheme, is a powerful environment combining simulation modelling with AT techniques, which supports hierarchical, modular specification of discrete event models. We will describe the taxonomical organization of classes in DEVS-Scheme in which kernel-models classes will be emphasized. As an example, we will illustrate specification of kernel models including broadcast models, hypercube models, and cellular models. Finally, implementation of isomorphism checks between pairs of models in DEVS-Scheme will be discussed. Thus, DEVS-Scheme represents a significant step toward implementing system theoretic based formalisms and operations.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.5 Model Development
          Subjects: Modeling methodologies

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.8 Types of Simulation
          Subjects: Discrete event

General Terms:
Design, Performance, Theory