Generating filmstrip models from actor-based systems

CLARK, Tony, KULKARNI, V, BARAT, S and BARN, B (2017). Generating filmstrip models from actor-based systems. CEUR Workshop Proceedings, 2019, 576-582.

[img] PDF
demos_4.pdf - Published Version
Restricted to Repository staff only
All rights reserved.

Download (1MB)
Open Access URL: http://ceur-ws.org/Vol-2019/demos_4.pdf (Published version)
Related URLs:

    Abstract

    Actor-based systems are hard to analyse because of their inherent complexity arising from large=scale concurrency and stochastic behaviour. History traces can be produced from such a system that describes what happened during execution leading to a challenge as to how the traces are processed. This tool demonstration shows a novel actor-based language ESL and its development environment EDB that has been extended to produce histories stored in temporal databases, and to use a logic programming language to construct graphical filmstrips from the databases.

    Item Type: Article
    Page Range: 576-582
    SWORD Depositor: Symplectic Elements
    Depositing User: Symplectic Elements
    Date Deposited: 05 Mar 2019 16:46
    Last Modified: 05 Mar 2019 17:00
    URI: http://shura.shu.ac.uk/id/eprint/22803

    Actions (login required)

    View Item View Item

    Downloads

    Downloads per month over past year

    View more statistics