Timing specification and analysis for service-oriented simulation

W. T. Tsai, Hessam Sarjoughian, Wu Li, Xin Sun

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

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.

Original languageEnglish (US)
Title of host publication42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference
Pages175-183
Number of pages9
StatePublished - Dec 1 2009
Event42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference - San Diego, CA, United States
Duration: Mar 22 2009Mar 27 2009

Publication series

Name42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference

Other

Other42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference
CountryUnited States
CitySan Diego, CA
Period3/22/093/27/09

Keywords

  • DEVS
  • Service-oriented simulation
  • Timing specifications and analysis

ASJC Scopus subject areas

  • Modeling and Simulation

Fingerprint Dive into the research topics of 'Timing specification and analysis for service-oriented simulation'. Together they form a unique fingerprint.

  • Cite this

    Tsai, W. T., Sarjoughian, H., Li, W., & Sun, X. (2009). Timing specification and analysis for service-oriented simulation. In 42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference (pp. 175-183). (42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference).