CCS expressions finite state processes, and three problems of equivalence
Information and Computation
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
On the Power of Labels in Transition Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Grid Computing: Making the Global Infrastructure a Reality
Grid Computing: Making the Global Infrastructure a Reality
Reusing simulation components: simulation software and model reuse: a polemic
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
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
Observations on new developments in composability and multi-resolution modeling
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
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
CADP 2006: a toolbox for the construction and analysis of distributed processes
CAV'07 Proceedings of the 19th international conference on Computer aided verification
On Validation of Semantic Composability in Data-Driven Simulation
PADS '10 Proceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation
An integrated approach for the validation of emergence in component-based simulation models
Proceedings of the Winter Simulation Conference
| Hi-index | 0.00 |
Simulation components are semantically composable if the newly composed model is meaningful in terms of expressed behaviors, and achieves the desired objective. The validation of semantic composability is challenging because reused simulation components are heterogeneous in nature and validation must consider various aspects including logical, temporal, and formal. In this paper, we propose a new time-based formal approach for semantic composability validation. Our validation process provides a formal composition validation guarantee by establishing the behavioral equivalence between the composed model and a perfect model. Next, composition behaviors are compared through time using semantically related composition states. We evaluate our formal approach using time complexity and experimental analysis using the CADP analyzer.