Please use this identifier to cite or link to this item:
Title: A time-based formalism for the validation of semantic composability
Authors: Szabo, C.
Teo, Y.M. 
See, S.
Issue Date: 2009
Citation: 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.
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
ISBN: 9781424457700
ISSN: 08917736
DOI: 10.1109/WSC.2009.5429293
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.