General Purpose Discrete Event Simulation using ♠︎
| Title | General Purpose Discrete Event Simulation using ♠︎ |
| Publication Type | Conference Paper |
| Year of Publication | 1998 |
| Authors | D'Argenio, PR, Katoen, J-P, Brinksma, E |
| Editor | Priami, C |
| Conference Name | Proc. of 6th International Workshop on Process Algebras and Performance Modeling, PAPM'98, {\rm Nice, France} |
| Abstract | We discuss the use of the stochastic process algebra \spades (spades) for discrete event simulation, and report on a prototype simulation algorithm that has been implemented. The use of process algebraic techniques in \spades offers a number of advantages with respect to existing simulation techniques. The compositional nature of \spades allows an on-the-fly construction of the simulation model, and hence only the current state need to be saved. \spades, moreover, allows us to model and simulate on a general purpose basis, as the simulation algorithm applies to any well founded process specified in \spades. Finally, specifications in \spades are also amenable to traditional process algebraic analysis of their functional behaviour, like e.g. absence of deadlocks. We illustrate our result with a simulation example of a nontrivial system. |
PDF (Full text):
