Bigraphs with sharing and applications in wireless networks

Sevegnani, Michele (2012) Bigraphs with sharing and applications in wireless networks. PhD thesis, University of Glasgow.

Full text available as:
[thumbnail of 2012sevegnaniphd.pdf] PDF
Download (2MB)
Printed Thesis Information:


Bigraphs are a fully graphical process algebraic formalism, capable of representing both the position in space of agents and their inter-connections. However, they assume a topology
based on sets of trees and thus cannot represent spatial locations that are shared among several entities in a simple or intuitive way. This is a problem, because shared locations are often a requirement, for example, when modelling scenarios in the physical world or in modern complex computer systems such as wireless networks and spatial-aware applications in ubiquitous computing.
We propose bigraphs with sharing, a generalisation of the original definition of bigraphs, to allow for overlapping topologies. The new locality model is based on directed acyclic graphs.
We demonstrate the new formalism can be defined in the general framework of bigraphical theories and wide reactive systems, as originally devised by Robin Milner. We do so
by defining a categorical interpretation of bigraphs with sharing, an axiomatisation derived from the equations of a bialgebra over finite ordinals, and a normal form to express
bigraphical terms. We illustrate how sharing is essential for modelling overlapping localities by presenting two example case studies in the field of wireless networking. We show that bigraphs with sharing can be used realistically in a production environment by describing the implementation of an efficient matching algorithm and a software tool for the definition, simulation, visualisation and analysis of bigraphical reactive systems.

Item Type: Thesis (PhD)
Qualification Level: Doctoral
Keywords: Bigraphs with sharing, wireless networks, formal methods, stochastic model checking, ubiquitous computing, process calculi, category theory, real-time verification
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Colleges/Schools: College of Science and Engineering > School of Computing Science
Supervisor's Name: Calder, Prof. Muffy
Date of Award: 2012
Depositing User: Mr Michele Sevegnani
Unique ID: glathesis:2012-3742
Copyright: Copyright of this thesis is held by the author.
Date Deposited: 29 Nov 2012
Last Modified: 10 Dec 2012 14:10

Actions (login required)

View Item View Item


Downloads per month over past year