Building Bigraphs of the real world

TL;DR

This paper introduces a formal method to create hierarchical bigraph models of the world's geography using OpenStreetMap data, enabling efficient large-scale digital twins with improved construction algorithms.

Contribution

It presents a novel hierarchical specification for world mapping into bigraphs and enhances bigraph-building tools for better performance on large datasets.

Findings

Achieved up to 97x speedup in bigraph construction

Developed a formal hierarchical specification for world mapping

Implemented a tool for constructing bigraphs from global regions

Abstract

This report proposes a formal specification for organising all buildings, streets and administrative areas in the world into a hierarchical space-partitioning tree using data from OpenStreetMap. This hierarchical structure is encoded into a bigraph, serving as a digital twin of the world and capturing complete street connectivity. It presents a tool implemented in OCaml (source code at https://github.com/royangkr/bigraph-of-the-world ) that constructs bigraphs for regions from any part of the world. In addition, it contributes algorithmic improvements to open-source bigraph-building tools that enable them to efficiently construct and transform extremely large bigraphs, achieving up to a 97x speedup among other gains.