Bigraphs with sharing and applications in wireless networks

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

Abstract

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
• URI: https://theses.gla.ac.uk/id/eprint/3742