ICGT 2024
Wed 10 - Thu 11 July 2024 Enschede, Netherlands
co-located with STAF 2024
Thu 11 Jul 2024 11:00 - 11:30 at Waaier 1 - ICGT Session 4 Chair(s): Detlef Plump

Bigraphs are an expressive graphical modelling formalism to represent systems with a mix of both spatial and non-local connectivity. Currently it is possible to write nonsensical models, e.g. with a Room nested inside a Person rather than Person nested inside a Room, or to create a hyperedge from what should be a binary link. A sorting scheme can be used to filter badly-formed bigraphs from those that are well formed. While the theory of bigraph sorts is well developed, none of the existing methods leads to a practical implementation. Instead they are based on tables of descriptions or semi-mathematical notations. We look at sorting bigraphs through a practical lens: developing a new sorting language, and show how an extension to the existing theory of bigraphs, in the form of well-sorted interfaces, paves the way for an implementation of well-sorted bigraphs. We discuss the trade-offs of this approach, and show how it allows sorts to be specified for existing bigraph models found in the literature.

Thu 11 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
ICGT Session 4ICGT Research Papers at Waaier 1
Chair(s): Detlef Plump University of York
11:00
30m
Talk
A Bigraph Paper of Sorts
ICGT Research Papers
P: Blair Archibald University of Glasgow, Michele Sevegnani University of Glasgow
11:30
30m
Talk
Extension and Restriction of Derivations in Adhesive Categories
ICGT Research Papers
P: Hans-Jörg Kreowski University of Bremen, Aaron Lye German Aerospace Center, Institute for the Protection of Maritime Infrastructures, Aljoscha Windhorst University of Bremen
12:00
30m
Talk
Generalized Weighted Type Graphs for Termination of Graph Transformation Systems
ICGT Research Papers
Joerg Endrullis Vrije Universiteit Amsterdam, Roy Overbeek Vrije Universiteit Amsterdam