Timed model checking based approach forweb services analysis

2009 IEEE International Conference on Web Services, ICWS 2009

Volumn , Issue , 2009, Pages 213-221

  Guermouche, Nawal ^a   Godart, Claude ^a  

^a LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS ORGANIZATIONS; COLLABORATIVE PROCESS; MODEL CHECKER; MULTIPLE SERVICES; SERVICE ORIENTED; TIMED MODEL CHECKING;

WEB SERVICES;

MODEL CHECKING;

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

References (19)

1. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
2. B. Benatallah, F. Casati, J. Ponge, and F. Toumani. On temporal abstractions of web service protocols. In The 17th Conference on Advanced Information Systems Engineering (CAiSE '05). Short Paper Proceedings, 2005.
3. B. Benatallah, F. Casati, and F. Toumani. Analysis and management of web service protocols. 23rd International Conference on Conceptual Modeling, November 2004.
4. D. Berardi. Automatic Service Composition. Models, techniques and tools. PhD thesis, La Sapienza University, Roma, 2005.
5. L. Bordeaux, G. Salaün, D. Berardi, and M. Mecella. When are two web services compatible? In Technologies for EServices, 5th International Workshop (TES), pages 15-28, 2004.
6. T. Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: a new approach to design and analysis of e-service composition. In Proceedings of the international conference on World Wide Web, WWW 2003, pages 403-410, 2003.
7. G. Diaz, J.-J. Pardo, M.-E. Cambronero, V. Valero, and F. Cuartero. Verification of web services with timed automata. In Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), volume 157 of ENTCS, pages 19-34, 2005.
8. J. Eder and A. Tahamtan. Temporal conformance of federated choreographies. In Proceedings of the 19th International Conference on Database and Expert Systems Applications( DEXA'08), Turin, Italy, September 1-5, 2008.
9. N. Guermouche and C. Godart. Uppaal based approach for compatibility analysis of synchronous web services. INRIA, Research report, 2008.
10. N. Guermouche and C. Godart. Timed properties-aware asynchronous web service composition. Proceedings of the 16th International Conference on COOPERATIVE INFORMATION SYSTEMS (CoopIS'08), pages 44-61, Monterrey, Mexico, November 9-14, 2008.
11. N. Guermouche, O. Perrin, and C. Ringeissen. Timed specification for web services compatibility analysis. In International Workshop on Automated Specification and Verification ofWeb Systems (WWV'07), pages 155-170, San Servolo island, Venice, Italy. December 14, 2007.
12. T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193-244, 1994.
13. R. Kazhamiakin, P. K. Pandya, and M. Pistore. Representation, verification, and computation of timed properties in web service compositions. In Proceedings of the IEEE International Conference onWeb Services (ICWS), pages 497- 504, 2006.
14. R. Kazhamiakin, P. K. Pandya, and M. Pistore. Timed modelling and analysis in web service compositions. In Proceedings of the The First International Conference on Availability, Reliability and Security, ARES, pages 840-846. IEEE Computer Society, 2006. (Pubitemid 44732729)
15. K. G. Larsen, P. Pettersson, and W. Yi. Uppaal in a nutshell. In International Journal on Software Tools for Technology Transfer, 1997.
16. M. Mecella and C. Batini. Enabling italian e-government through a cooperative architecture. IEEE Computer, 34(2):40-45, 2001.
17. A. Muscholl and I.Walukiewicz. A lower bound on web services composition. In Proceedings of Foundations of Software Science and Computation Structures (FOSSACS), volume 4423 of LNCS, pages 274-287, 2007.
18. J. Ponge. A new model for web services timed business protocols. In Atelier (Conception des systèmes d'information et services Web) SIWS-Inforsid), 2006.
19. J. Ponge, B. Benatallah, F. Casati, and F. Toumani. Finegrained compatibility and replaceability analysis of timed web service protocols. In the 26th International Conference on Conceptual Modeling (ER), 2007.