Flocks, herds and schools: A distributed behavioral model
SIGGRAPH '87 Proceedings of the 14th annual conference on Computer graphics and interactive techniques
The synchronization of periodic routing messages
SIGCOMM '93 Conference proceedings on Communications architectures, protocols and applications
Observations on the complexity of composable simulation
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Emergence: From Chaos to Order
Emergence: From Chaos to Order
Evolving data into mining solutions for insights
Communications of the ACM - Evolving data mining into solutions for insights
On the Power of Labels in Transition Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Toward a formalization of emergence
Artificial Life
Emergent (mis)behavior vs. complex software systems
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
An exploration-based taxonomy for emergent behavior analysis in simulations
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Specifying, detecting and analysing emergent behaviours in multi-level agent-based simulations
Proceedings of the 2007 Summer Computer Simulation Conference
CODES: An Integrated Approach to Composable Modeling and Simulation
ANSS-41 '08 Proceedings of the 41st Annual Simulation Symposium (anss-41 2008)
Applying causal inference to understand emergent behavior
Proceedings of the 40th Conference on Winter Simulation
An Approach for Validation of Semantic Composability in Simulation Models
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
Interaction metric of emergent behaviors in agent-based simulation
Proceedings of the Winter Simulation Conference
Proceedings of the Winter Simulation Conference
An integrated approach for the validation of emergence in component-based simulation models
Proceedings of the Winter Simulation Conference
Formalization of emergence in multi-agent systems
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Hi-index | 0.00 |
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.