School of Computing

Mobile processes, mobile channels and dynamic systems

Eric Bonnici and Peter H. Welch

In 2009 IEEE Congress on Evolutionary Computation (CEC 2009), pages 182-196. IEEE Press, May 2009.

Abstract

This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems studied are self-organising, with emergent and evolving behaviours (apparent at the global level) arising from massive interactions between relatively simple components (that have only local knowledge). Classical ant foraging is used as a case study. Processes are used to represent space, environmental factors and the ants themselves. Ant processes (like all processes) only have knowledge of their internal state (looking for food, looking for their nest) and what they can glean from their local neighbourhood (by interacting with the processes making up that neighbourhood). The networks constructed are dynamic, changing as the ants move around and environmental factors are introduced and modified. The paper reports on two mechanisms for achieving this: channel mobility and process mobility. The language for implementation is occam, which has the necessary concurrency mechanisms built in as fundamental primitives and whose semantics is rooted in the process algebras of CSP and the pi-calculus. Performance figures are given, including speedup curves for multicores, and some conclusions drawn.

Download publication 335 kbytes (PDF)

Bibtex Record

@inproceedings{2911,
author = {Eric Bonnici and Peter H. Welch},
title = {Mobile Processes, Mobile Channels and Dynamic Systems},
month = {May},
year = {2009},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2009/2911},
    publication_type = {inproceedings},
    submission_id = {6494_1243433891},
    ISBN = {978-1-4244-2959-2},
    booktitle = {2009 IEEE Congress on Evolutionary Computation (CEC 2009)},
    publisher = {IEEE Press},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014