Verification validation and accreditation of simulation models
Proceedings of the 29th conference on Winter simulation
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model composability: formulating a research thrust: composable simulations
Proceedings of the 32nd conference on Winter simulation
Theory of Modeling and Simulation
Theory of Modeling and Simulation
What Comes After the Semantic Web - PADS Implications for the Dynamic Web
Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation
Analyzing static and temporal properties of simulation models
Proceedings of the 38th conference on Winter simulation
On Syntactic Composability and Model Reuse
AMS '07 Proceedings of the First Asia International Conference on Modelling & Simulation
A Rule-based Approach to Syntactic and Semantic Composition of BOMs
DS-RT '07 Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Principles of the Spin Model Checker
Principles of the Spin Model Checker
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
CADP 2006: a toolbox for the construction and analysis of distributed processes
CAV'07 Proceedings of the 19th international conference on Computer aided verification
A time-based formalism for the validation of semantic composability
Winter Simulation Conference
On Validation of Semantic Composability in Data-Driven Simulation
PADS '10 Proceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation
Architecture and standard proposals for next generation modeling and simulation
Proceedings of the 2010 Conference on Grand Challenges in Modeling & Simulation
An Analysis of the Cost of Validating Semantic Composability
PADS '11 Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation
Fairness Verification of BOM-Based Composed Models Using Petri Nets
PADS '11 Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation
PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets
PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
An approach to semantic-based model discovery and selection
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the new composed model. Validation of semantic composability is a non-trivial problem because reused simulation components are heterogeneous in nature and validation must consider various orthogonal aspects including logical, temporal, and formal. In this paper, we propose a layered approach to semantic composability validation with increasing accuracy and complexity. The first layer exploits model checking for logical properties of component coordination including deadlock, safety, and liveness. Next, we address temporal properties by validating composition safety and liveness through simulation time. The third layer provides a formal composition validation guarantee by determining the behavioral equivalence between the composed model and a perfect model. In contrast to state-of-the-art approaches, we propose time-based formalisms to describe simulation components and compare the composition behaviors through time using semantically related composition states.