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: (Published version)


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: 18 Mar 2021 06:31

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics