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
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;
Conference_Titel :
Simulation Conference, 2004. Proceedings of the 2004 Winter
Print_ISBN :
0-7803-8786-4
DOI :
10.1109/WSC.2004.1371497