Title :
An Objective-Based Approach for Semantic Validation of Emergence in Component-Based Simulation Models
Author :
Szabo, Claudia ; Teo, Yong Meng
Author_Institution :
Dept. of Comput. Sci., Univ. of Adelaide North Terrace, Adelaide, SA, Australia
Abstract :
Component-based models have been shown to exhibit emergent properties but despite a plethora of definitions and methods to identify emergence, practical semantic validation approaches remain a key challenge. This paper proposes an objective-based approach for semantic validation of emergence in component-based simulation models. In contrast to current methods, our approach describes model components in terms of what they achieve rather than how they achieve it, and we exploit reconstruct ability analysis in the validation of emergence. This has the advantage of reducing the number of attributes used to describe each component, and thus facilitates the application of more rigorous mathematical formalisms for emergence validation. As an example, we detail how this methodology is integrated into the life-cycle of our component-based model development framework.
Keywords :
formal verification; component based model development; component based simulation models; emergence validation; objective based approach; reconstructability analysis; rigorous formalisms; semantic validation; Adaptation models; Analytical models; Computational modeling; Grammar; Ontologies; Semantics; Strontium; emergent behavior; simulation; validation;
Conference_Titel :
Principles of Advanced and Distributed Simulation (PADS), 2012 ACM/IEEE/SCS 26th Workshop on
Conference_Location :
Zhangjiajie
Print_ISBN :
978-1-4673-1797-9
DOI :
10.1109/PADS.2012.9