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 language | English (US) |
---|---|
Title of host publication | Spring Simulation Multiconference 2009 - Co-located with the 2009 SISO Spring Simulation Interoperability Workshop |
Publisher | Association for Computing Machinery, Inc |
State | Published - Mar 22 2009 |
Event | 2009 Spring Simulation Multiconference, SpringSim 2009 - San Diego, United States Duration: Mar 22 2009 → Mar 27 2009 |
Other
Other | 2009 Spring Simulation Multiconference, SpringSim 2009 |
---|---|
Country/Territory | United States |
City | San Diego |
Period | 3/22/09 → 3/27/09 |
Keywords
- DEVS
- Service-oriented simulation
- Timing specifications and analysis
ASJC Scopus subject areas
- Modeling and Simulation