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)

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