Theory of Modeling and Simulation
Theory of Modeling and Simulation
Service-Oriented System Engineering: A New Paradigm
SOSE '05 Proceedings of the IEEE International Workshop
DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework1
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Dynamic Collaboration Simulation in Service-Oriented Computing Paradigm
ANSS '07 Proceedings of the 40th Annual Simulation Symposium
Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture
SOCA '07 Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications
DEVS-based simulation web services for net-centric T&E
Proceedings of the 2007 Summer Computer Simulation Conference
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
Event-driven service-oriented simulation framework
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
SimSaaS: simulation software-as-a-service
Proceedings of the 44th Annual Simulation Symposium
Hi-index | 0.00 |
This paper is an attempt to complement service-oriented simulation with the timing concept of the DEVS formalism. One of the key features of DEVS is its timing specification; however, currently timing information is not available in service-oriented models such as WSDL and BPEL yet. This paper presents timing specification and associated analysis techniques for PSML, a service-oriented modeling language. Specifically, timing constraints such as delays, processing time, deadlines among elements can be specified, and consistency among timing constraints can be verified. The timing information can be used for static analysis to estimate time needed as well as dynamically to verify runtime behavior of service-oriented application.