@inproceedings{db2c8d3ef8d74455ad463e964f9825a4,
title = "Validation of service oriented computing DEVS simulation models",
abstract = "In the simulation based design and development of Service Based Software Systems (SBS), it is important to analyze the models for correctness and improve confidence in the validity of the model. Of particular interest is the SBS simulation where models are used towards evaluation of time dependent QoS metrics (e.g., service delay, throughput etc.). In this paper, an experiment based validation of Service Based Software Systems using SOC-DEVS (i.e. Service Oriented Computing DEVS) framework is presented. As formal basis towards validation, the real system under consideration is abstracted as a DEVS I/O System model and experiments are developed to observe its time-based I/O trajectories. An exemplar Voice Communication System is simulated and results are analyzed towards model validation w.r.t. a real system prototype.",
keywords = "Co-design, SOA-Complaint DEVS, SOC-DEVS, Service based software system, Verification & validation",
author = "Hessam Sarjoughian and Mohammed Muqsith and Dazhi Huang and Sik-Sang Yau",
year = "2012",
month = dec,
day = "1",
language = "English (US)",
isbn = "9781618397867",
series = "Simulation Series",
number = "4 BOOK",
pages = "342--349",
booktitle = "Proceedings of the 2012 Spring Simulation Multiconference, SpringSim 2012 - Theory of Modeling and Simulation",
edition = "4 BOOK",
note = "Theory of Modeling and Simulation: DEVS Integrative M and S Symposium 2012, DEVS 2012, Part of the 2012 Spring Simulation Multiconference, SpringSim 2012 ; Conference date: 26-03-2012 Through 30-03-2012",
}