Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity

Abstract

As part of our work on the formal analysis of object-oriented models, we turn to systems where many autonomous individuals interact to give rise to complex collective behaviour. We adapt our ZOO [1,2] structuring and apply it to a case study based on a published model of part of the immune system [3]. The formalisation calls for a bottom-up solution with no central control over individual units, and includes an approach to represent feedback channels enabling broadcast communication between individuals and across levels.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{AmalioPZ08,
  author       = {Nuno Am{\'{a}}lio and
                  Fiona Polack and
                  Jing Zhang},
  editor       = {Egon B{\"{o}}rger and
                  Michael J. Butler and
                  Jonathan P. Bowen and
                  Paul Boca},
  title        = {Autonomous Objects and Bottom-Up Composition in {ZOO} Applied to a
                  Case Study of Biological Reactivity},
  booktitle    = {Abstract State Machines, {B} and Z, First International Conference,
                  {ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5238},
  pages        = {323--336},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87603-8\_25},
  doi          = {10.1007/978-3-540-87603-8\_25},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/AmalioPZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}