Please use this identifier to cite or link to this item: https://doi.org/10.1057/jos.2012.11
Title: An analysis of the cost of validating semantic composability
Authors: Szabo, C.
Teo, Y.M. 
Keywords: composability
cost
validation
Issue Date: 2012
Source: Szabo, C.,Teo, Y.M. (2012). An analysis of the cost of validating semantic composability. Journal of Simulation 6 (3) : 152-163. ScholarBank@NUS Repository. https://doi.org/10.1057/jos.2012.11
Abstract: Validation of semantic composability is a non-trivial problem and a key step in component-based modelling and simulation. Recent work in semantic composability validation promises to reduce verification, validation, and accreditation efforts. However, the underlying cost of current validation approaches can undermine the promised benefits, and the trade-off between validation accuracy and validation cost is not well understood. In this paper we present, to the best of our knowledge, the first quantitative study on the cost of validating semantic composability. Our study covers four representative validation approaches, including two DEVS-based methods, Petty and Weisel formal validation, and deny-validity, and for simplicity, we use computation time as a measure of validation cost. For a queueing model with 1000 components, there is significant trade-off between validation accuracy and cost, with the time-based deny-validity costing seven times that of timeless Petty and Weisel formalism. © 2012 Operational Research Society Ltd. All rights reserved.
Source Title: Journal of Simulation
URI: http://scholarbank.nus.edu.sg/handle/10635/39330
ISSN: 17477778
DOI: 10.1057/jos.2012.11
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

5
checked on Dec 13, 2017

WEB OF SCIENCETM
Citations

4
checked on Oct 31, 2017

Page view(s)

83
checked on Dec 16, 2017

Google ScholarTM

Check

Altmetric


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