Parallel simulation in rewriting logic: some observations

Abstract

In this paper, the relationship between the computational models of object-oriented rewriting and parallel discrete-event simulation models is explored. A discrete-event simulation program in which several objects interact with each other by exchanging messages may have a high degree of concurrency (which can be exploited using optimistic or conservative parallel simulation methods). We report on some observations on using rewriting logic in the field of parallel discrete event simulations, and investigate how parallel simulation applications can be expressed using object-oriented rewriting.