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.

Exportar Referência (APA)
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
Exportar Referência (IEEE)
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
Exportar BibTeX
@article{david2003_1714635144884,
	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"
}
Exportar RIS
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  -