To help develop and maintain well-engineered agent systems, we must define good modeling tools and methodologies. Despite the impossibility of controlling both individual agents and environmental dynamism, we need ways to predict interactive behavior among large numbers of agents and to provide some sort of control for easily maintaining them. Systematic development of agent-based systems requires rigorous software engineering processes and suitable tools to ensure a future agent "heaven" rather than agent "hell".