Flocks, herds and schools: A distributed behavioral model
SIGGRAPH '87 Proceedings of the 14th annual conference on Computer graphics and interactive techniques
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Autonomous Agents and Multi-Agent Systems
Vision based localisation for a mobile robot
ICTAI '00 Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Software Engineering (7th Edition)
Software Engineering (7th Edition)
ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
A reactive agent-based problem-solving model: Application to localization and tracking
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
International Journal of Agent-Oriented Software Engineering
Formal driven prototyping approach for multiagent systems
International Journal of Agent-Oriented Software Engineering
Goal-oriented requirements analysis and reasoning in the Tropos methodology
Engineering Applications of Artificial Intelligence
ASPECS: an agent-oriented software process for engineering complex systems
Autonomous Agents and Multi-Agent Systems
Prometheus: a methodology for developing intelligent agents
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
A Reactive Agent Based Vehicle Platoon Algorithm with Integrated Obstacle Avoidance Ability
SASO '11 Proceedings of the 2011 IEEE Fifth International Conference on Self-Adaptive and Self-Organizing Systems
Proceedings of the First international conference on Environments for Multi-Agent Systems
E4MAS'04 Proceedings of the First international conference on Environments for Multi-Agent Systems
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification
Journal of Systems and Software
Hi-index | 12.05 |
For more than 20years, researchers have designed models in order to describe swarm intelligence and apply the resulting techniques to complex problems. However, there is still a gap between these models and current MAS methodologies. The goal of this paper is to propose a principled and methodological approach for the engineering of systems based upon swarm intelligence. The constraints are, on the one hand, to enable the analysis, design and implementation of such systems; and, on the other hand, to formally analyze and verify properties of resulting systems. The principles of the approach are based, on the one hand, on requirement driven activities that produce goals to be fulfilled by the system of interest and, on the other, hand on an ontological modeling of the problem domain. This ontological modeling conceptualizes the phenomenon one seek to imitate and thus allows it understanding. The produced ontology is refined through the methodology activities down to organizational models.