A Homogeneous Actor-Based Monitor Language for Adaptive Behaviour


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.

Publication DOI: https://doi.org/10.1007/978-3-030-00302-9_8
Divisions: College of Engineering & Physical Sciences
Additional Information: © 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
ISBN: 978-3-030-00301-2, 978-3-030-00301-2
Last Modified: 08 Jul 2024 08:39
Date Deposited: 13 Sep 2018 11:29
Full Text Link:
Related URLs: http://link.spr ... 3-030-00302-9_8 (Publisher URL)
PURE Output Type: Chapter
Published Date: 2018-09-07
Authors: Clark, Tony (ORCID Profile 0000-0003-3167-0739)
Kulkarni, Vinay
Barat, Souvik
Barn, Balbir S.



Version: Accepted Version

| Preview

Export / Share Citation


Additional statistics for this record