Please use this identifier to cite or link to this item:
|Title:||A time-based formalism for the validation of semantic composability|
|Source:||Szabo, C.,Teo, Y.M.,See, S. (2009). A time-based formalism for the validation of semantic composability. Proceedings - Winter Simulation Conference : 1411-1422. ScholarBank@NUS Repository. https://doi.org/10.1109/WSC.2009.5429293|
|Abstract:||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. ©2009 IEEE.|
|Source Title:||Proceedings - Winter Simulation Conference|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Dec 5, 2017
checked on Dec 9, 2017
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.