Please use this identifier to cite or link to this item:
Scopus Web of Science® Altmetric
Type: Book chapter
Title: Semantic validation of emergent properties in component-based simulation models
Author: Szabo, C.
Teo, Y.
Citation: Ontology, Epistemology, and Teleology for Modeling and Simulation: Philosophical Foundations for Intelligent M&S Applications, 2013 / Tolk, A. (ed./s), vol.44, pp.319-333
Publisher: Springer
Publisher Place: Germany
Issue Date: 2013
Series/Report no.: Intelligent Systems Reference Library, 44
ISBN: 9783642311390
Editor: Tolk, A.
Statement of
Claudia Szabo and Yong Meng Teo
Abstract: Advances in composable modeling and simulation have facilitated the development and our understanding of more complex models. As a result, the representation, identification and validation of emergence is becoming of increasing importance because emergent properties can have a negative effect on the overall system behavior. Despite a plethora of definitions and methods, a practical approach to identify and validate emergent properties in newly composed simulation models remains a challenge. This chapter reviews current approaches and presents a new approach for identifying emergent properties in component-based systems. Using a simple example of a flock of birds model, we compare and contrast three main approaches: grammar-based, variable-based and event-based. Lastly, building on our previous work on formal semantic validation of model behavior, we present a new objective-based approach for semantic validation of emergent properties in composable simulation.
Rights: © Springer-Verlag Berlin Heidelberg 2013
DOI: 10.1007/978-3-642-31140-6_16
Appears in Collections:Aurora harvest 4
Computer Science publications

Files in This Item:
File Description SizeFormat 
  Restricted Access
Restricted Access379.33 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.