A Homogeneous Actor-Based Monitor Language for Adaptive Behaviour

Clark, Tony, Kulkarni, Vinay, Barat, Souvik and Barn, Balbir S. (2018). A Homogeneous Actor-Based Monitor Language for Adaptive Behaviour. IN: Programming with Actors. ricci, Alessandro and Haller, Philipp (eds) Programming with Actors, 10789 . Springer.

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.

Publication DOI: https://doi.org/10.1007/978-3-030-00302-9_8
Divisions: Engineering & Applied 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
Full Text Link:
Related URLs: http://link.spr ... 3-030-00302-9_8 (Publisher URL)
Published Date: 2018-09-07
Authors: Clark, Tony ( 0000-0003-3167-0739)
Kulkarni, Vinay
Barat, Souvik
Barn, Balbir S.

Download

[img]

Version: Accepted Version

| Preview

Export / Share Citation


Statistics

Additional statistics for this record