TY - GEN
T1 - A formal development approach for self-organising systems
AU - Li, Qin
AU - Smith, Graeme
N1 - Publisher Copyright:
Copyright © 2014 by The Institute of Electrical and Electronics Engineers, Inc.
PY - 2014/12/4
Y1 - 2014/12/4
N2 - Self-organising systems are distributed systems which achieve an ordered global state without centralised control. They include adaptive sensor networks, swarm robotic systems and mobile ad-hoc networks. Designing such systems is difficult and often based on a trial-and-error approach. In this paper, we provide an approach which is both systematic and formal. Our approach builds on the formalism of Object-Z and the refinement approach of action systems. It follows an intuitive approach to development which breaks a refinement proof into three steps which the designer may iterate through on the way to the final design.
AB - Self-organising systems are distributed systems which achieve an ordered global state without centralised control. They include adaptive sensor networks, swarm robotic systems and mobile ad-hoc networks. Designing such systems is difficult and often based on a trial-and-error approach. In this paper, we provide an approach which is both systematic and formal. Our approach builds on the formalism of Object-Z and the refinement approach of action systems. It follows an intuitive approach to development which breaks a refinement proof into three steps which the designer may iterate through on the way to the final design.
KW - Object-Z
KW - Unifying Theories of Programming
KW - guarded design calculus
KW - refinement
KW - self-organising systems
UR - https://www.scopus.com/pages/publications/84920505821
U2 - 10.1109/TASE.2014.11
DO - 10.1109/TASE.2014.11
M3 - 会议稿件
AN - SCOPUS:84920505821
T3 - Proceedings - 2014 International Symposium on Theoretical Aspects of Software Engineering, TASE 2014
SP - 209
EP - 212
BT - Proceedings - 2014 International Symposium on Theoretical Aspects of Software Engineering, TASE 2014
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 8th International Symposium on Theoretical Aspects of Software Engineering, TASE 2014
Y2 - 1 September 2014 through 3 September 2014
ER -