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

Authors:
Nuno Amálio;Fiona Polack;Jing Zhang
Affiliations:
Dept of Computing, City University, London, UK EC1V 0HB;Dept of Computer Science, University of York, York, UK YO10 5DD;China Exim Bank, Beijing, P.R. China 100009
Venue:
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Year:
2008

Citing 11
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
Applying UML and patterns: an introduction to object-oriented analysis and design

Applying UML and patterns: an introduction to object-oriented analysis and design
The Unified Modeling Language user guide

The Unified Modeling Language user guide
On the Frame Problem in Procedure Specifications

IEEE Transactions on Software Engineering
The Z/EVES System

ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Engineering Emergence

ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
Toward nature-inspired computing

Communications of the ACM
An object-oriented structuring for z based on views

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
A formal template language enabling metaproof

FM'06 Proceedings of the 14th international conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

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 channelsenabling broadcast communication between individuals and across levels.