Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Talk "Graph Rewriting Components, I"

by Andrea Corradini

Mon, 24 April 2023 at 02:00 pm in Paris, France

Joint work with: Reiko Heckel, Fabio Gadducci

Abstract: We introduce a component model for graph rewriting that allows to model a system as a network of components with interfaces representing shared views of internal states and transformations, and such that their composition assembles a global view whose behaviour is equivalent to the synchronised distributed execution of local components in the network. Formally, components are arrows in a category that, with suitable component connectors, form a Frobenius algebra. This allows the use of string diagrams to model the interconnection of basic components, such that their assembly is freely generated by the algebraic structure.