• DocumentCode
    2168931
  • Title

    Single-threaded specification of process-interaction formalism in Java

  • Author

    Jacobs, Peter H M ; Verbraeck, Alexander

  • Author_Institution
    Dept. of Syst. Eng., Delft Univ. of Technol., Netherlands
  • Volume
    2
  • fYear
    2004
  • fDate
    5-8 Dec. 2004
  • Firstpage
    1548
  • Abstract
    In order to support the conceptualization and specification of simulation models of complex systems, several formalisms or world views exist. Petri nets, differential equations, discrete event system specification and process interaction are typical examples. Throughout the last decade many have attempted to implement the process interaction formalism in Java. These initiatives mostly resulted in multi-threaded simulation languages in which a process extends a thread. These threads are then sequentially suspended and resumed. The article "Why are Thread.stop, Thread.suspend and Thread.resume Deprecated?" (Sun Microsystems 1999) implicitly ended most of these deadlock prone initiatives. This paper introduces a unique single-threaded implementation of this world view by introducing a Java-based Java interpreter, which is used only to interpret pausable processes. This interpreter supports all Java programming constructs and hopefully serves as a cornerstone for renewed development of process oriented Java based simulation languages.
  • Keywords
    Java; digital simulation; formal specification; multi-threading; program interpreters; simulation languages; Java interpreter; Java programming; Petri nets; complex systems; differential equations; discrete event system specification; multi-threaded simulation languages; process interaction formalism; process oriented Java based simulation languages; process-interaction formalism; simulation model conceptualization; simulation model specification; single-threaded specification; Dynamic programming; Jacobian matrices; Java; Object oriented modeling; Petri nets; Scheduling; Sun; System recovery; Systems engineering and theory; Yarn;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Simulation Conference, 2004. Proceedings of the 2004 Winter
  • Print_ISBN
    0-7803-8786-4
  • Type

    conf

  • DOI
    10.1109/WSC.2004.1371497
  • Filename
    1371497