Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
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.