SENSORIA All Publications |
|
Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Representation, Verification, and Computation of Timed Properties in Web Service Compositions @INPROCEEDINGS{KPP-ICWS06, title = {{Representation, Verification, and Computation of Timed Properties in Web Service Compositions}}, author = {{Raman} {Kazhamiakin} and {Paritosh} {Pandya} and {Marco} {Pistore}}, booktitle = {Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), September 18th-22nd 2006. Chicago (USA)}, pages = {497 - 504}, abstract = {In this paper we address the problem of qualitative and quantitative analysis of timing aspects of Web service compositions defined as a set of BPEL4WS processes. We introduce a formalism, called Web Service Timed State Transition Systems (WSTTS), to capture the timed behavior of the composite web services. We also exploit an interval temporal logic to express complex timed assumptions and requirements on the system's behavior. Building on top of this formalization, we provide techniques and tools for modelchecking BPEL4WS compositions against time-related requirements. We also present a symbolic algorithm that can be used to compute duration bounds of behavioral intervals that satisfy such requirements. We perform a preliminary experimental evaluation of our approach and tools with the help of an e-Government case study.}, year = {2006}, url = {http://rap.dsi.unifi.it/sensoriasite/RK_icws06-KPP.pdf}, partner = {UNITN}, task = {T3.4}, }
|