A Homogeneous Actor-Based Monitor Language for Adaptive Behaviour

Tony Clark, Vinay Kulkarni, Souvik Barat, Balbir S. Barn

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

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.
Original languageEnglish
Title of host publicationProgramming with Actors
Subtitle of host publication State-of-the-Art and Research Perspectives
EditorsAlessandro ricci, Philipp Haller
PublisherSpringer
Chapter8
Pages216-244
Volume10789
ISBN (Electronic)978-3-030-00301-2
ISBN (Print)978-3-030-00301-2
DOIs
Publication statusPublished - 7 Sep 2018

Publication series

NameProgramming with Actors
Volume10789
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

    Fingerprint

Bibliographical note

© 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

Cite this

Clark, T., Kulkarni, V., Barat, S., & Barn, B. S. (2018). A Homogeneous Actor-Based Monitor Language for Adaptive Behaviour. In A. ricci, & P. Haller (Eds.), Programming with Actors: State-of-the-Art and Research Perspectives (Vol. 10789, pp. 216-244). (Programming with Actors; Vol. 10789). Springer. https://doi.org/10.1007/978-3-030-00302-9_8