Skip to main content

Outline

The modelling concepts and examples in this series are adapted from Blair Archibald, Muffy Calder, and Michele Sevegnani, Practical Modelling with Bigraphs, published in Formal Aspects of Computing (see [1]), and are reformulated here as hands-on exercises with corresponding implementations using the Bigraph Framework.

I Modelling Structure​

  1. Place Graphs, Sites and Operators: Model hierarchical structure and unspecified or variable contents.
  2. Link Graphs and Interfaces: Model connectivity, while distinguishing open interfaces from internal connections.
  3. Combining Place and Link Structure: Construct complete bigraphs by integrating spatial hierarchy, connectivity and interaction.

II Modelling Behaviour​

  1. Reaction Rules: describing state transformations
    1. Context and Sites in Rules: preserving unspecified structure during rewriting
    2. Parameterized Rules: defining reusable families of reactions
  2. Controlled Rewriting: constraining when and where reactions may occur
  3. Tracking Entities over Time: identifying and following nodes across reactions

References​

  • [1] B. Archibald, M. Calder, and M. Sevegnani. Practical Modelling with Bigraphs. Formal Aspects of Computing, 37(3), Article 20, pp. 1–36, 2025. DOI: 10.1145/3721142.