Constructing and interrogating actor histories

Complex systems, such as organizations, can be represented as execut- able simulation models using actor-based languages. Decision-making can be sup- ported by system simulation so that different configurations provide a basis for what-if analysis. Actor-based models are expressed in terms of large numbers of concurrent actors that communicate using asynchronous messages leading to complex non-deterministic behaviour. This chapter addresses the problem of ana- lyzing the results of model executions and proposes a general approach that can be added to any actor-based system. The approach uses a logic programming lan- guage with temporal extensions to query execution traces. The approach has been implemented and is shown to support a representative system model.