This paper describes a structured approach to encoding monitors in an actor language. Within a configuration of actors, each of which publishes a history, a monitor is an independent actor that triggers an action based on patterns occurring in the histories. We define a monitor language based on linear temporal logic and show how it can be homogeneously embedded within an actor language. The approach is demonstrated through a number of examples and evaluated in terms of a real-world actor-based simulation.
|Title of host publication||Programming with Actors|
|Subtitle of host publication|| State-of-the-Art and Research Perspectives|
|Editors||Alessandro ricci, Philipp Haller|
|Publication status||Published - 7 Sep 2018|
|Name||Programming with Actors|
© Springer Nature B.V. 2018. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-00302-9_8