Toggle Main Menu Toggle Search

Open Access padlockePrints

Algebra of Parametrised Graphs

Lookup NU author(s): Dr Andrey Mokhov, Dr Victor Khomenko, Arseniy Alekseyev, Professor Alex Yakovlev

Downloads


Abstract

One of the difficulties in designing modern hardware systems is the necessity to comprehend and to deal 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 fully formal and natural way. In this paper 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 two case studies coming from the area of microelectronics design.


Publication metadata

Author(s): Mokhov A, Khomenko V, Alekseyev A, Yakovlev A

Editor(s): Brandt, J., Heljanko, K.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 12th International Conference on Application of Concurrency to System Design (ACSD 2012)

Year of Conference: 2012

Pages: 22-31

Online publication date: 02/08/2012

Date deposited: 04/07/2012

ISSN: 1550-4808

Publisher: IEEE Computer Society

URL: http://dx.doi.org/10.1109/ACSD.2012.15

DOI: 10.1109/ACSD.2012.15

Library holdings: Search Newcastle University Library for this item

ISBN: 9780769547091


Share