Formal Development of Self-organising Systems

Authors:
Graeme Smith;Jeffrey W. Sanders
Affiliations:
School of Information Technology and Electrical Engineering, The University of Queensland, Australia;International Institute for Software Technology, United Nations University, Macao SAR, China
Venue:
ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing
Year:
2009

Citing 8
Cited 2

Why interaction is more powerful than algorithms

Communications of the ACM
Refinement in Z and object-Z: foundations and advanced applications

Refinement in Z and object-Z: foundations and advanced applications
Assume-Guarantee Refinement Between Different Time Scales

CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Challenges and Research Directions in Agent-Oriented Software Engineering

Autonomous Agents and Multi-Agent Systems
The Insufficiency of Formal Design Methods " The Necessity of an Experimental Approach - for the Understanding and Control of Complex MAS

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Engineering Emergence

ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
Formal Ensemble Engineering

Software-Intensive Systems and New Computing Paradigms
Ensemble Engineering and Emergence

Software-Intensive Systems and New Computing Paradigms

Refining Emergent Properties

Electronic Notes in Theoretical Computer Science (ENTCS)
A formal framework for compositional verification of organic computing systems

ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Attempts to engineer autonomic multi-agent systems, particularly those having large numbers of agents, have revealed the need for design structures and formalisms to support the construction of properties that emerge at the system level. Such emergence, like self-*** behaviour, relies typically on intricate inter-agent interactions. This paper shows how the top-down incremental approach of Formal Methods can be used satisfactorily in that situation, by considering a case study in which agents adapt and autonomously achieve a given configuration.