On the Development of a Swarm Engineering Methodology

This paper explores swarm engineering by revisiting popular concepts from swarm intelligence and making them more rigorous by providing mathematical definitions. The definitions form the basis for an examination of an engineering methodology which starts by examining the desired state of a global property of the system and then generates a requirement for a local behavior that generates the global property. This methodology allows a local behavior to be tested theoretically before it is tested empirically