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

Temporal logic

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
Clark, Tony ; Kulkarni, Vinay ; Barat, Souvik ; Barn, Balbir S. / A Homogeneous Actor-Based Monitor Language for Adaptive Behaviour. Programming with Actors: State-of-the-Art and Research Perspectives. editor / Alessandro ricci ; Philipp Haller. Vol. 10789 Springer, 2018. pp. 216-244 (Programming with Actors).
@inbook{dbaf64ae8c7c46d0a7ba54e2b9e404f6,
title = "A Homogeneous Actor-Based Monitor Language for Adaptive Behaviour",
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.",
author = "Tony Clark and Vinay Kulkarni and Souvik Barat and Barn, {Balbir S.}",
note = "{\circledC} 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",
year = "2018",
month = "9",
day = "7",
doi = "10.1007/978-3-030-00302-9_8",
language = "English",
isbn = "978-3-030-00301-2",
volume = "10789",
series = "Programming with Actors",
publisher = "Springer",
pages = "216--244",
editor = "Alessandro ricci and Philipp Haller",
booktitle = "Programming with Actors",
address = "Germany",

}

Clark, T, Kulkarni, V, Barat, S & Barn, BS 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, Programming with Actors, vol. 10789, Springer, pp. 216-244. https://doi.org/10.1007/978-3-030-00302-9_8

A Homogeneous Actor-Based Monitor Language for Adaptive Behaviour. / Clark, Tony; Kulkarni, Vinay; Barat, Souvik; Barn, Balbir S.

Programming with Actors: State-of-the-Art and Research Perspectives. ed. / Alessandro ricci; Philipp Haller. Vol. 10789 Springer, 2018. p. 216-244 (Programming with Actors; Vol. 10789).

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - A Homogeneous Actor-Based Monitor Language for Adaptive Behaviour

AU - Clark, Tony

AU - Kulkarni, Vinay

AU - Barat, Souvik

AU - Barn, Balbir S.

N1 - © 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

PY - 2018/9/7

Y1 - 2018/9/7

N2 - 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.

AB - 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.

UR - http://link.springer.com/10.1007/978-3-030-00302-9_8

U2 - 10.1007/978-3-030-00302-9_8

DO - 10.1007/978-3-030-00302-9_8

M3 - Chapter

SN - 978-3-030-00301-2

VL - 10789

T3 - Programming with Actors

SP - 216

EP - 244

BT - Programming with Actors

A2 - ricci, Alessandro

A2 - Haller, Philipp

PB - Springer

ER -

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