Building Bigraphs of the real world
Kang Rong Roy Ang

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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGraph Theory and Algorithms · Data Management and Algorithms · Geographic Information Systems Studies
