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