Simulation in Agent-Oriented Software Engineering: The SODA Case Study