Verification, validation, and accreditation
Proceedings of the 30th conference on Winter simulation
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Computer
Software Architecture in Practice
Software Architecture in Practice
Service-Oriented Architecture: Concepts, Technology, and Design
Service-Oriented Architecture: Concepts, Technology, and Design
Verification and validation of simulation models
WSC '05 Proceedings of the 37th conference on Winter simulation
A UML Simulator for Behavioral Validation of Systems Based on SOA
NWESP '06 Proceedings of the International Conference on Next Generation Web Services Practices
SOA Simulation and Verification by Event-Driven Policy Enforcement
ANSS-41 '08 Proceedings of the 41st Annual Simulation Symposium (anss-41 2008)
A simulation framework for service-oriented computing systems
Proceedings of the 40th Conference on Winter Simulation
Toward Development of Adaptive Service-Based Software Systems
IEEE Transactions on Services Computing
A simulator for service-based software system co-design
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
DEVS-DOC: a modeling and simulation environment enabling distributed codesign
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
| Hi-index | 0.00 |
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.