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

1 Citation (Scopus)

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 publicationSpring Simulation Multiconference 2009 - Co-located with the 2009 SISO Spring Simulation Interoperability Workshop
PublisherAssociation for Computing Machinery, Inc
StatePublished - Mar 22 2009
Event2009 Spring Simulation Multiconference, SpringSim 2009 - San Diego, United States
Duration: Mar 22 2009Mar 27 2009

Other

Other2009 Spring Simulation Multiconference, SpringSim 2009
CountryUnited States
CitySan Diego
Period3/22/093/27/09

Fingerprint

Service-oriented
Timing
Specification
WSDL
Specifications
Static analysis
Simulation
Processing
Deadline
Static Analysis
Modeling Language
Complement
Verify
Modeling languages
Estimate

Keywords

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

ASJC Scopus subject areas

  • Modeling and Simulation

Cite this

Tsai, W. T., Sarjoughian, H., Li, W., & Sun, X. (2009). Timing specification and analysis for service-oriented simulation. In Spring Simulation Multiconference 2009 - Co-located with the 2009 SISO Spring Simulation Interoperability Workshop [51] Association for Computing Machinery, Inc.

Timing specification and analysis for service-oriented simulation. / Tsai, W. T.; Sarjoughian, Hessam; Li, Wu; Sun, Xin.

Spring Simulation Multiconference 2009 - Co-located with the 2009 SISO Spring Simulation Interoperability Workshop. Association for Computing Machinery, Inc, 2009. 51.

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

Tsai, WT, Sarjoughian, H, Li, W & Sun, X 2009, Timing specification and analysis for service-oriented simulation. in Spring Simulation Multiconference 2009 - Co-located with the 2009 SISO Spring Simulation Interoperability Workshop., 51, Association for Computing Machinery, Inc, 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, United States, 3/22/09.
Tsai WT, Sarjoughian H, Li W, Sun X. Timing specification and analysis for service-oriented simulation. In Spring Simulation Multiconference 2009 - Co-located with the 2009 SISO Spring Simulation Interoperability Workshop. Association for Computing Machinery, Inc. 2009. 51
Tsai, W. T. ; Sarjoughian, Hessam ; Li, Wu ; Sun, Xin. / Timing specification and analysis for service-oriented simulation. Spring Simulation Multiconference 2009 - Co-located with the 2009 SISO Spring Simulation Interoperability Workshop. Association for Computing Machinery, Inc, 2009.
@inproceedings{7ade1630030f4354bba4d8ff9b191547,
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 = "3",
day = "22",
language = "English (US)",
booktitle = "Spring Simulation Multiconference 2009 - Co-located with the 2009 SISO Spring Simulation Interoperability Workshop",
publisher = "Association for Computing Machinery, Inc",

}

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/3/22

Y1 - 2009/3/22

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=84874284239&partnerID=8YFLogxK

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

M3 - Conference contribution

AN - SCOPUS:84874284239

BT - Spring Simulation Multiconference 2009 - Co-located with the 2009 SISO Spring Simulation Interoperability Workshop

PB - Association for Computing Machinery, Inc

ER -