Timing specification and analysis for service-oriented simulation

ABSTRACT

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.

References

1. D. Brutzman, M. Zyda, M. Pullen, and K. L. Morse, "Extensible Modeling and Simulation Framework (XMSF): Challenges for Web-Based Modeling and Simulation: XMSF 2002 Findings and Recommendations Report: Technical Challenges Workshop and Strategic Opportunities Symposium", October 2002.
2. R Buyya, A. Sulistio, "Service and Utility Oriented Distributed Computing Systems: Challenges and Opportunities for Modeling and Simulation Communities", The 41st Annual Simulation Symposium (ANSS), Ottawa, April 14--16, 2008, pp. 68--81.
3. Y. Chen and W. T. Tsai, Distributed Service-Oriented Software Development, Kendall/Hunt, 2008.
4. IBM. "PLM: Product Lifecycle Management." "http://www-03.ibm.com/solutions/plm/index.jsp" (27 February 2007).
5. INOA. ISTF http://www.iona.com/solutions/it_solutions/istf.htm.
6. B. H. Li, X. Chai, X., Y. Di, H. Yu, Z. Du, and X. Peng, "Research on Service Oriented Simulation Grid", In proceedings of the 8th International Symposium on Autonomous Decentralized Systems (ISADS 2005), April 4--8, 2005, pp. 7--14.
7. "Towards Open Grid Services Architecture" <http://www.globus.org/ogsa/> (27 February 2007).
8. W. T. Tsai, "Service-Oriented System Engineering: A New Paradigm", Proc. of IEEE International Workshop on Service-Oriented System Engineering (SOSE), October 2005, pp. 3--8.
9. W. T. Tsai, C. Fan, and Y. Chen, "DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework", The 39th Annual Simulation Symposium (ANSS), Huntsville, AL, April 2006, pp. 160--167.
10. W. T. Tsai, Q. Huang Q, J. Xu, Y. Chen, and R. Paul, "Ontology-based Dynamic Process Collaboration in Service-Oriented Architecture", Proc. of IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 2007, pp. 39--46.
11. W. T. Tsai, X. Sun, Q. Huang, and H. Karatza, "An Ontology-Based Collaborative Service-Oriented Simulation Framework with Microsoft Robotics Studio", Simulation Modelling Practice and Theory 16 (2008), pp. 1392--1414
12. W. T. Tsai, Q. Huang, X. Sun, and Y. Chen, "Dynamic Collaboration Simulation in Service-Oriented Computing Paradigm", in Proceedings of 40th Annual Simulation Symposium (ANSS), March 2007, Norfolk, VA, USA, pp. 41--48.
13. W. T. Tsai, Z. Cao, X. Wei, R. Paul, Q. Huang, and X. Sun, "Modeling and Simulation in Service-Oriented Software Development", Special Issue on Modeling and Simulation for and in Service-Orientated Computing Paradigm, Simulation Journal, Vol. 83, No. 1, January 2007, pp. 7--32.
14. W. T. Tsai, X. Zhou, X. Wei, "A Policy Enforcement Framework for Verification and Control of Service Collaboration", Information Systems and E-Business Management, Springer, Sep, 2007, pp. 83--107.
15. XMSF, "SAIC Web-Enabled RTI." 2003. http://www.movesinstitute.org/xmsf/projects/WebRTI/XmsfSaicWebEnabledRtiDecember2003.pdf, (27 February 2007).
16. Sarjoughian, H., Kim, S., Ramaswamy, M., Yau, S. "A Simulation framework for Service-oriented computing Systems", Winter Simulation Conference 2008, Miami, FL, USA.
17. Mittal, S., José L. Risco, Bernard P. Zeigler, "DEVS-Based Simulation Web Services for Net-Centric T&E", Spring Simulation Conference, 2007.
18. Zeigler, B. P., Praehofer, H.,&Kim, T. G. (2000). Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems Second Edition: Academic Press.
19. DEVS-Suite, http://acims1.eas.asu.edu/WebStarts.
20. S. Kim, (2008), Simulation of service Based System: Modeling and Implementation using the DEVS-Suite. Department of Computer Science and Engineering, Arizona State University, Tempe, AZ, USA.

Index Terms

• Computing methodologies

  • Modeling and simulation

    • Model development and analysis

      • Modeling methodologies

    • Simulation types and techniques

      • Distributed simulation

• Information systems

  • World Wide Web

    • Web applications

    • Web services

• Software and its engineering

  • Software organization and properties

    • Software system structures

      • Software architectures