Toggle Main Menu Toggle Search

Open Access padlockePrints

Algebra of Parameterised Graphs

Lookup NU author(s): Dr Andrey Mokhov, Dr Victor Khomenko

Downloads


Licence

This is the authors' accepted manuscript of an article that has been published in its final definitive form by ACM Press, 2014.

For re-use rights please refer to the publisher's terms and conditions.


Abstract

One of the difficulties in designing modern hardware systems is the necessity for comprehending and dealing with a very large number of system configurations, operational modes, and behavioural scenarios. It is often infeasible to consider and specify each individual mode explicitly, and one needs methodologies and tools to exploit similarities between the individual modes and work with groups of modes rather than individual ones. The modes and groups of modes have to be managed in a compositional way: the specification of the system should be composed from specifications of its blocks. This includes both structural and behavioural composition. Furthermore, one should be able to transform and optimise the specifications in a formal way. In this article, we propose a new formalism, called parameterised graphs. It extends the existing conditional partial order graphs (CPOGs) formalism in several ways. First, it deals with general graphs rather than just partial orders. Moreover, it is fully compositional. To achieve this, we introduce an algebra of parameterised graphs by specifying the equivalence relation by a set of axioms, which is proved to be sound, minimal, and complete. This allows one to manipulate the specifications as algebraic expressions using the rules of this algebra. We demonstrate the usefulness of the developed formalism on several case studies coming from the area of microelectronics design.


Publication metadata

Author(s): Mokhov A, Khomenko V

Publication type: Article

Publication status: Published

Journal: ACM Transactions on Embedded Computing Systems

Year: 2014

Volume: 13

Issue: 4s

Print publication date: 01/07/2014

Acceptance date: 01/01/1900

Date deposited: 08/02/2018

ISSN (print): 1539-9087

ISSN (electronic): 1558-3465

Publisher: ACM Press

URL: https://doi.org/10.1145/2627351

DOI: 10.1145/2627351

Notes: Special Issue on Best Papers from ACSD'12


Altmetrics

Altmetrics provided by Altmetric


Actions

Find at Newcastle University icon    Link to this publication


Share