T. Berners-lee, J. Hendler, and O. Lassila, The Semantic Web. Scientific American, pp.34-43, 2001.

J. Kahan, M. Koivunen, E. Prud-'hommeaux, and R. R. Swick, Annotea, Proceedings of the tenth international conference on World Wide Web , WWW '01, 2001.
DOI : 10.1145/371920.372166

K. Homma, K. Takahashi, and A. Togashi, Modeling and Verification of Web Applications Using Formal Approach, IEICE Tech. Rep, vol.109, issue.40, pp.2009-2017, 2009.

R. Mateescu, S. Meriot, and S. Rampacek, Extending SPARQL with Temporal logic, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00404761

E. D. Sciascio, M. F. Donini, M. Mongiello, and G. Piscitelli, Web applications design and maintenance using symbolic model checking, Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings., pp.63-72, 2003.
DOI : 10.1109/CSMR.2003.1192411

E. D. Sciascio, M. F. Donini, M. Mongiello, and G. Piscitelli, AnWeb, Proceedings of the 14th international conference on Software engineering and knowledge engineering , SEKE '02, pp.609-616, 2002.
DOI : 10.1145/568760.568866

F. Ricca and P. Tonella, Analysis and testing of Web applications, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001, pp.25-34, 2001.
DOI : 10.1109/ICSE.2001.919078

F. Ricca and P. Tonella, Web site analysis: structure and evolution, Proceedings International Conference on Software Maintenance ICSM-94, pp.76-86, 2000.
DOI : 10.1109/ICSM.2000.883017

M. Han and C. Hofmeister, Modeling and verification of adaptive navigation in web applications, Proceedings of the 6th international conference on Web engineering , ICWE '06, pp.329-336, 2006.
DOI : 10.1145/1145581.1145645

M. Haydar, S. Boroday, A. Petrenko, and H. Sahraoui, Properties and scopes in web model checking, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.400-404, 2005.
DOI : 10.1145/1101908.1101980

S. Yuen, K. Kato, D. Kato, and K. Agusa, Web Automa A Behavioral Model of Web applications based on the MVC model, Computer Software, vol.22, issue.2, pp.44-57, 2005.

M. Haydar, A. Petrenko, and H. Sahraoui, Formal Verification of Web Applications Modeled by Communicating Automata, Proc. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE2004), pp.115-132, 2004.
DOI : 10.1007/978-3-540-30232-2_8

J. P. Katoen, The principal of Model Checking, 2002.

A. Pnueli, A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

M. Ben-ari, Principles of the SPIN Model Checker, 2008.

D. Becket and B. Mcbride, RDF/ XML Syntax Specification (Revised). W3C recommendation, 2004.

V. Bönström, A. Hinze, and H. , Schweppe: Storing RDF as a graph, Latin American WWW conference, 2003.

B. Vatant, Metadata to describe resources (Semantic Web Languages), Proceedings of the INRA Seminar : Metadata: changes and prospects, 2008.