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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Kubik, A.: Causal Connectivity Analysis MATLAB toolbox, http://ccatoolbox.pbworks.com/w/page/5805266/FrontPage (last retrieved January 2012)
Bedau, M.: Weak Emergence. Philosophical Perspectives 11, 375–399 (1997)
Cavallo, R., Klir, G.: Reconstructability Analysis of Multi-dimensional Relations: A Theoretical Basis for Computer-aided Determination of Acceptable System Models. Int. Journal of General Systems 5, 143–171 (1979)
Chan, W., Son, Y.S., Macal, C.M.: Simulation of Emergent Behavior and Differences Between Agent-Based Simulation and Discrete-Event Simulation. In: Proceedings of the Winter Simulation Conference, pp. 135–150 (2010)
Chen, C., Nagl, S.B., Clack, C.D.: Specifying, Detecting and Analysing Emergent Behaviours in Multi-Level Agent-Based Simulations. In: Proceedings of the Summer Computer Simulation Conference (2007)
Chen, C.C., Nagl, S.B., Clack, C.D.: A Formalism for Multi-level Emergent Behaviours in Designed Component-based Systems and Agent-based Simulations. Understanding Complex Systems (2009)
Chi, L.: Transplating Social Capital to the Online World: Insights from Two Experimental Studies. Journal of Organizational Computing and Electronic Commerce 19, 214–236 (2009)
Fayyad, U., Uthurusamy, R.: Evolving Data Into Mining Solutions for Insights. Communications of the ACMÂ 45 (2002)
Floyd, S., Jacobson, V.: The synchronization of Periodic Routing Messages. In: Proceedings of SIGCOMM, pp. 33–44 (1993)
Gardner, M.: Mathematical Games (1970)
Gore, R., Reynolds, P.: Applying Causal Inference to Understand Emergent Behavior. In: Proceedings of the Winter Simulation Conference, Miami, USA, pp. 712–721 (2008)
Holland, J.: Emergence, From Chaos to Order. Basic Books (1999)
Johnson, C.W.: What are Emergent Properties and How Do They Affect the Engineering of Complex Systems? Reliability Engineering and System Safety 12, 1475–1481 (2006)
Kubik, A.: Towards a Formalization of Emergence. Journal of Artificial Life 9, 41–65 (2003)
Mogul, J.C.: Emergent (mis) behavior vs. Complex Software Systems. In: Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems, New York, USA, pp. 293–304 (2006)
Page, E., Opper, J.: Observations on the Complexity of Composable Simulations. In: Proceedings of the Winter Simulation Conference, Phoenix, USA, vol. 1, pp. 553–560 (1999)
Ramakrishnan, K.K., Yang, H.: The Ethernet Capture Effect: Analysis and Solution. In: Proceedings of the IEEE Local Computer Networks Conference, Minneapolis, USA (1994)
Seth, A.K.: Measuring Emergence via Nonlinear Granger Causality. In: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems, pp. 545–553 (2008)
Szabo, C., Teo, Y.: An Approach for Validation of Semantic Composability in Simulation Models. In: Proceedings of the 23rd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, New York, USA, pp. 3–10 (2009)
Szabo, C., Teo, Y.: On Validation of Semantic Composability in Data-driven Simulation Models. In: Proceedings of the 24th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, Atlanta, USA, pp. 73–80 (2010)
Szabo, C., Teo, Y., See, S.: A Time-based Formalism for the Validation of Semantic Composability. In: Proceedings of the Winter Simulation Conference, Austin, USA, pp. 1411–1422 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Szabo, C., Teo, Y.M. (2013). Semantic Validation of Emergent Properties in Component-Based Simulation Models. In: Tolk, A. (eds) Ontology, Epistemology, and Teleology for Modeling and Simulation. Intelligent Systems Reference Library, vol 44. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31140-6_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-31140-6_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31139-0
Online ISBN: 978-3-642-31140-6
eBook Packages: EngineeringEngineering (R0)