Paper Info
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.
Year
Venue
Keywords
2012
SpringSim (TMS-DEVS)
software systems,devs simulation model,o trajectory,real system prototype,formal basis,real system,exemplar voice communication system,model validation w,service oriented computing devs,sbs simulation,o system model,verification validation,co design
Field
DocType
Volume
Verification and validation,Simulation,Computer science,Correctness,Quality of service,Real-time computing,Software system,DEVS,Throughput,Service-oriented architecture,System model
Conference
44
Issue
ISSN
Citations 
4
0735-9276
0
PageRank 
References 
Authors
0.34
8
4
Name
Order
Citations
PageRank
Hessam S. Sarjoughian125343.42
Mohammed Muqsith210.75
Dazhi Huang316314.81
Stephen S Yau41768193.24