DocumentCode :
571718
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
fYear :
2012
fDate :
15-19 July 2012
Firstpage :
155
Lastpage :
162
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Principles of Advanced and Distributed Simulation (PADS), 2012 ACM/IEEE/SCS 26th Workshop on
Conference_Location :
Zhangjiajie
ISSN :
1087-4097
Print_ISBN :
978-1-4673-1797-9
Type :
conf
DOI :
10.1109/PADS.2012.9
Filename :
6305901
Link To Document :
بازگشت