An Approach for Validation of Semantic Composability in Simulation Models

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. Firstly, concurrent process validation exploits model checking for logical properties of component coordination including deadlock, safety, and liveness. Secondly, meta-simulation addresses temporal properties by validating safety and liveness of the composition through simulation time. Thirdly, perfect model validation provides a formal composition validation guarantee by determining the behavioral equivalence between the composed model and a perfect...

• Type: Conference
• Year: 2009
• Where: PADS
• Authors: Claudia Szabo, Yong Meng Teo
• Keywords: Modelling And Simulation, PADS 2009, Semantic Composability, Semantic Composability Validation, Simulation Components