• 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