coupled with a JavaScript framework for visualiza-
tions, like d3. js, or an end-to-end solution using
Python are also viable and worthy exploring solu-
tions. Nevertheless, this choice was made based on
what the authors considered to be the best tool for the
job, which again should not be considered as a uni-
versally best solution. Implementations with different
tools, like Java or Python, can lead into a comparative
analysis on which tools are preferable for a validation
study.
Moreover, in the future, an implementation based
on a NoSQL database will provide more functional-
ity with semi-structured and unstructured data, which
can enhance even further the applicability of the
validation tool. Finally, commercial use of the
tool would be possible through a full scale imple-
mentation, which will take advantages of a mod-
ern JavaScript framework (like Angular.js, React.js,
Backbone.js etc.) for a fully customizable user in-
terface, Ajax for asynchronous communication with
the database, and more optimized SQL (or NoSQL)
and shell scripts for importing, cleaning, and trans-
forming data. Using the aforementioned technologies
would benefit modelers, validation experts, and SMEs
from developments in other domains, e.g. JavaScript,
query optimization etc., hence preventing them from
reinventing the wheel and focusing on what is impor-
tant to them.
ACKNOWLEDGEMENTS
This research is supported and funded by ProRail; the
Dutch governmental task organization that takes care
of maintenance and extensions of the national railway
network infrastructure, of allocating rail capacity, and
of traffic control.
REFERENCES
Albers, A., Hettel, R., Behrendt, M., D
¨
user, T., and
Schwarz, A. (2012). Extended Flexible Environment
and Vehicle Simulation for an Automated Validation.
In Proceedings of the FISITA 2012 World Automotive
Congress, pages 1263–1273. Springer London Hei-
delberg New York Dordrecht.
Axelrod, R. and Cohen, M. D. (1999). Harnessing complex-
ity: Organizational implications of a scientific fron-
tier. The Free Press.
Balci, O. (1994). Validation, verification, and testing tech-
niques throughout the life cycle of a simulation study.
Annals of Operations Research, 53(1):121–173.
Balci, O. (1997). Verification validation and accreditation
of simulation models. In Andradhttir, S., Healy, K. J.,
Withers, D. H., and Nelson, B. L., editors, Proceed-
ings of the 29th Conference on Winter Simulation,
pages 135–141, Atlanta, Georgia, USA. IEEE.
Balci, O. (1998). Verification, validation, and testing. In
Banks, J., editor, Handbook of Simulation, chapter 10,
pages 335–393. Engineering & Management Press.
Balci, O., Adams, R. J., Myers, D. S., and Nance, R. E.
(2002). A collaborative evaluation environment for
credibility assessment of modeling and simulation ap-
plications. In Yucesan, E., Chen, C.-H., Snowdon,
J. L., and Charnes, J. M., editors, Proceedings of the
2002 Winter Simulation Conference, pages 214–220,
San Diego, CA, USA. IEEE.
Bergmann, S. and Strassburger, S. (2010). Challenges
for the automatic generation of simulation models for
production systems. In Proceedings of the 2010 Sum-
mer Computer Simulation Conference, pages 545–
549, Ottawa, Ontario, Canada.
Bever, B. and Collofello, J. S. (2002). An investigation of
techniques for addressing software affordability. In
Aerospace Conference Proceedings, volume 5, pages
2577–2585, Big Sky, Montana, USA. IEEE.
Bhargava, H. K., Power, D. J., and Sun, D. (2007). Progress
in web-based decision support technologies. Decision
Support Systems, 43(4):1083–1095.
Blomqvist, E. (2014). The use of semantic web technolo-
gies for decision support - a survey. Semantic Web,
5(3):177–201.
Bolton, M. L. (2013). Automatic validation and failure di-
agnosis of human-device interfaces using task analytic
models and model checking. Comput Math Organ
Theory, 19(3):288–312.
Bovee, M., Srivastava, R. P., and Mak, B. (2003). A concep-
tual framework and belieffunction approach to assess-
ing overall information quality. International Journal
of Intelligent Systems, 18(1):51–74.
Byrne, J., Heavey, C., and Byrne, P. J. (2010). A review of
web-based simulation and supporting tools. Simula-
tion Modelling Practice and Theory, 18:253–276.
Chandrasekaran, S., Silver, G., Miller, J. A., Cardoso, J.,
and Sheth, A. P. (2002). Web service technologies and
their synergy with simulation. In Yucesan, E., Chen,
C.-H., Snowdon, J. L., and Charnes, J. M., editors,
Proceedings of the 2002 Winter Simulation Confer-
ence, pages 606–615, San Diego, CA, USA. IEEE.
Cooper, J. (2008). Automatic validation and optimisation of
biological models. Doctor of philosophy, University
of Oxford.
De Weck, O. L., Roos, D., and Magee, C. L. (2011). Life-
cycle properties of engineering systems: The ilities.
In Engineering Systems: Meeting Human Needs in a
Complex Technological World, chapter 4, pages 65–
96. Massachusetts Institute of Technology.
Fox, C., Levitin, A., and Redman, T. (1994). The notion of
data and its quality dimensions. Information Process-
ing & Management, 30(1):9–19.
Henry, S. L., Abou-Zahra, S., and Brewer, J. (2014). The
role of accessibility in a universal web. In Proceedings
of the 11th Web for All Conference, pages 1–4, New
York, New York, USA. ACM.
Harnessing Web 3.0 and R to Mitigate Simulation Validation Restrictions
53