Please use this identifier to cite or link to this item: https://doi.org/10.1109/WSC.2009.5429293
Title: A time-based formalism for the validation of semantic composability
Authors: Szabo, C.
Teo, Y.M. 
See, S.
Issue Date: 2009
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
URI: http://scholarbank.nus.edu.sg/handle/10635/40455
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.

SCOPUSTM   
Citations

13
checked on Dec 5, 2017

Page view(s)

50
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


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