A homogeneous actor-based monitor language for adaptive behaviour

CLARK, Tony, KULKARNI, Vinay, BARAT, Souvik and BARN, Balbir (2018). A homogeneous actor-based monitor language for adaptive behaviour. In: RICI, Alessandro and HALLER, Philipp, (eds.) Programming with actors. Switzerland, Springer, 216-244.

Full text not available from this repository.
Official URL: http://dx.doi.org/10.1007/978-3-030-00302-9_8
Link to published version:: https://doi.org/10.1007/978-3-030-00302-9_8
Related URLs:

    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

    Item Type: Book Section
    Research Institute, Centre or Group - Does NOT include content added after October 2018: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
    Identification Number: https://doi.org/10.1007/978-3-030-00302-9_8
    Page Range: 216-244
    Depositing User: Carmel House
    Date Deposited: 17 Oct 2018 08:55
    Last Modified: 17 Oct 2018 08:55
    URI: http://shura.shu.ac.uk/id/eprint/22650

    Actions (login required)

    View Item View Item

    Downloads

    Downloads per month over past year

    View more statistics