Please use this identifier to cite or link to this item: https://doi.org/10.1109/PADS.2009.14
Title: An approach for validation of semantic composability in simulation models
Authors: Szabo, C.
Teo, Y.M. 
Issue Date: 2009
Source: Szabo, C., Teo, Y.M. (2009). An approach for validation of semantic composability in simulation models. Proceedings - Workshop on Principles of Advanced and Distributed Simulation, PADS : 3-10. ScholarBank@NUS Repository. https://doi.org/10.1109/PADS.2009.14
Abstract: 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. The first layer exploits model checking for logical properties of component coordination including deadlock, safety, and liveness. Next, we address temporal properties by validating composition safety and liveness through simulation time. The third layer provides a formal composition validation guarantee by determining the behavioral equivalence between the composed model and a perfect model. In contrast to state-of-the-art approaches, we propose time-based formalisms to describe simulation components and compare the composition behaviors through time using semantically related composition states. © 2009 IEEE.
Source Title: Proceedings - Workshop on Principles of Advanced and Distributed Simulation, PADS
URI: http://scholarbank.nus.edu.sg/handle/10635/41104
ISBN: 9780769537139
DOI: 10.1109/PADS.2009.14
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

21
checked on Dec 14, 2017

WEB OF SCIENCETM
Citations

11
checked on Nov 19, 2017

Page view(s)

54
checked on Dec 10, 2017

Google ScholarTM

Check

Altmetric


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