This article is cited in 1 paper

Algebraic specification of graph computational structures

S. P. Kovalyov

V. A. Trapeznikov Institute of Control Sciences of the Russian Academy of Sciences, 65 Profsoyuznaya Str., Moscow 117997, Russian Federation

Abstract: The previously proposed generalized approach to algebraic specification of distributed systems is developed based on the novel category-theoretic construction called graphalgebra. The graphalgebraic specification is based upon a directed multigraph, the edges of which represent computational operations performed in the nodes of the system and the vertices denote the data exchange ports between the components. Changing the system architecture during the life cycle leads to changes in the graph shape, computation algorithms, and data exchange contents. For a formal description of such changes, a graph transformation technique for graphalgebras is proposed. A novel category-theoretic construction called flexible graphalgebra is introduced which appeared to be closely related to the well-known monad of diagrams. A functor is presented that produces all categories of flexible graphalgebras from their signatures. The theoretical results are illustrated by examples from the field of automatic synthesis of neural network architecture by step-by-step transformations.

Keywords: algebraic specification, distributed system, architecture evolution, category theory, graphalgebra, monad of diagrams.

Received: 12.09.2022

DOI: 10.14357/19922264240102