Representation, verification, and computation of timed properties in Web service compositions

Proceedings - ICWS 2006: 2006 IEEE International Conference on Web Services

Volumn , Issue , 2006, Pages 497-504

  Kazhamiakin, Raman ^a   Pandya, Paritosh ^b   Pistore, Marco ^a  

^a UNIVERSITY OF TRENTO   (Italy)

^b TATA INSTITUTE OF FUNDAMENTAL RESEARCH   (India)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); TEMPORAL LOGIC;

BEHAVIORAL INTERVALS; SYMBOLIC ALGORITHMS;

WEB SERVICES;

EID: 38949149639     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2006.112     Document Type: Conference Paper

References (15)

1. R. Alur and D. L. Dill. A theory of timed automata. Theor. Comput. Sci., 1994.
2. B. Benatallah, F. Casati, J. Ponge, and F. Toumani. On Temporal Abstractions of Web Service Protocols. In Procs of CAiSE Forum, 2005.
3. S. Campos, E. Clarke, W. Marrero, and H. Haraishi. Computing Quantitative Characteristics of Finite-State Real Time Systems. In Proc. IEEE Real-time systems symposium, 1994.
4. Z. Chaochen, C.Hoare, and A. Ravn. A Calculus of Durations. In IPL, 1991.
5. A. Cimatti, E. M. Clarke, F. Giunchiglia, and M. Roveri. NuSMV: a new symbolic model checker. International Journal on Software Tools for Technology Transfer (STTT), 2(4), 2000.
6. th International Conference on Automated Software Engineering (ASE'03), 2003.
7. X. Fu, T. Bultan, and J. Su. Analysis of Interacting BPEL Web Services. In Proc. WWW'04, 2004.
8. P. Geguang, Z. Xiangpeng, W. Shuling, and Q. Zongyan. Towards the Semantics and Verification of BPEL4WS. In Proc. WS-FM'04, ENTCS, 2004.
9. R. Kazhamiakin, P. Pandya, and M. Pistore. Timed Modelling and Analysis in Web Service Compositions. In Proc. ARES'06, 2006.
10. S. Nakajima. Model-checking verification for reliable web service. In Proc. OOPSLA'02 Workshop on OOWS, 2002.
11. S. Narayanan and S. McIlraith. Simulation, Verification and Automated Composition of Web Services. In Proc. WWW'02, 2002.
12. P. Pandya. Specifying and Deciding Qauntified Discretetime Duration Calculus formulae using DCVALID. In Proc. Real-Time Tools, RTTOOLS'2001, 2001.
13. P. Pandya. Finding extremal models of discrete duration calculus formulae using symbolic search. In Proc. AV-OCS'2004, 2004.
14. M. Pistore, M. Roveri, and P. Busetta. Requirements-Driven Verification of Web Services. In Proc. WS-FM'04, ENTCS, 2004.
15. D. Thomas, P. Pandya, and S. Chakraborty. Scheduling clusters in model checking of real-time systems. Technical Report TR-04-16, CFDVS, IIT Bombay, September 2004.