Complex systems, such as organizations, can be represented as executable simulation models using actor-based languages. Decision-making can be supported 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 analyzing 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 language with temporal extensions to query execution traces. The approach has been implemented and is shown to support a representative system model.
CITATION STYLE
Clark, T., Kulkarni, V., Barat, S., & Barn, B. (2018). Constructing and interrogating actor histories. In Studies in Computational Intelligence (Vol. 764, pp. 27–47). Springer Verlag. https://doi.org/10.1007/978-3-319-74002-7_2
Mendeley helps you to discover research relevant for your work.