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
Link To Document