Exportar Publicação
A publicação pode ser exportada nos seguintes formatos: referência da APA (American Psychological Association), referência do IEEE (Institute of Electrical and Electronics Engineers), BibTeX e RIS.
David, N., Sichman, J. S. & Coelho, H. (2003). Towards an emergence-driven software process for agent-based simulation. Lecture Notes in Computer Science. 2581, 89-104
N. M. David et al., "Towards an emergence-driven software process for agent-based simulation", in Lecture Notes in Computer Science, vol. 2581, pp. 89-104, 2003
@article{david2003_1742021483261, author = "David, N. and Sichman, J. S. and Coelho, H.", title = "Towards an emergence-driven software process for agent-based simulation", journal = "Lecture Notes in Computer Science", year = "2003", volume = "2581", number = "", doi = "10.1007/3-540-36483-8_7", pages = "89-104", url = "http://link.springer.com/chapter/10.1007/3-540-36483-8_7" }
TY - JOUR TI - Towards an emergence-driven software process for agent-based simulation T2 - Lecture Notes in Computer Science VL - 2581 AU - David, N. AU - Sichman, J. S. AU - Coelho, H. PY - 2003 SP - 89-104 SN - 0302-9743 DO - 10.1007/3-540-36483-8_7 UR - http://link.springer.com/chapter/10.1007/3-540-36483-8_7 AB - In this paper we propose an emergence-driven software process for agent-based simulation that clarifies the traceability of micro and macro observations to micro and macro specifications in agent-based models. We use the concept of hyperstructures [1] to illustrate how micro and macro specifications interact in agent-based models, and show that the reductionism/ non-reductionism debate is important to understand the reliability of agent-based simulations. In particular, we show that the effort expended in the verification of agent-based simulations increases exponentially with the number of micro and macro specifications, and that the reliability assessment of non-anticipated results in simulation is in practice not possible. According to these results we claim to be impossible in practice to verify that an agent-based conceptual model has been implemented properly as a computational model, since we do not usually know what we want the output to be a priori. We thus advocate that the classic process of verification, validation and exploration of non-anticipated results is not reliable in agent-based simulation, and call into question the applicability of traditional software engineering methods to agent-based simulation. ER -