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.

PDF demos_4.pdf - Published Version Restricted to Repository staff only All rights reserved. Download (1MB)

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:	18 Mar 2021 06:31
URI:	https://shura.shu.ac.uk/id/eprint/22803

Actions (login required)

View Item

Downloads

Publication Metrics