Timing specification and analysis for service-oriented simulation

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

Timing specification and analysis for service-oriented simulation

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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	42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference
Pages	175-183
Number of pages	9
State	Published - Dec 1 2009
Event	42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference - San Diego, CA, United States Duration: Mar 22 2009 → Mar 27 2009

Publication series

Name	42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference

Other

Other	42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference
Country/Territory	United States
City	San Diego, CA
Period	3/22/09 → 3/27/09

Keywords

DEVS
Service-oriented simulation
Timing specifications and analysis

ASJC Scopus subject areas

Modeling and Simulation

Cite this

Timing specification and analysis for service-oriented simulation. / Tsai, W. T.; Sarjoughian, Hessam; Li, Wu et al.
42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference. 2009. p. 175-183 (42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Tsai, WT, 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. 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, San Diego, CA, United States, 3/22/09.

@inproceedings{8b380edd89d74edcb14c1bf4c8bd34b7,

title = "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.",

keywords = "DEVS, Service-oriented simulation, Timing specifications and analysis",

author = "Tsai, {W. T.} and Hessam Sarjoughian and Wu Li and Xin Sun",

year = "2009",

month = dec,

day = "1",

language = "English (US)",

isbn = "9781617386404",

series = "42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference",

pages = "175--183",

booktitle = "42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference",

note = "42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference ; Conference date: 22-03-2009 Through 27-03-2009",

}

TY - GEN

T1 - Timing specification and analysis for service-oriented simulation

AU - Tsai, W. T.

AU - Sarjoughian, Hessam

AU - Li, Wu

AU - Sun, Xin

PY - 2009/12/1

Y1 - 2009/12/1

N2 - 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.

AB - 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.

KW - DEVS

KW - Service-oriented simulation

KW - Timing specifications and analysis

UR - http://www.scopus.com/inward/record.url?scp=84870557331&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84870557331&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84870557331

SN - 9781617386404

T3 - 42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference

SP - 175

EP - 183

BT - 42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference

T2 - 42nd Annual Simulation Symposium 2009, ANSS 2009, Part of the 2009 Spring Simulation Multiconference

Y2 - 22 March 2009 through 27 March 2009

ER -

Timing specification and analysis for service-oriented simulation

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this