M. H. Alalfi, J. R. Cordy, and T. R. Dean, A Survey of Analysis Models and Methods in Website Verification and Testing, Proc. Seventh International Conference on Web Engineering ICWE 2007, pp.306-311, 2007.
DOI : 10.1007/978-3-540-73597-7_25

F. Basanieri, A. Bertolino, and E. Marchetti, The cow suite approach to planning and deriving test suites in UML projects, UML 2002 - The Unified Modeling Language. Model Engineering, Languages, Concepts, and Tools. 5th International Conference, pp.383-397, 2002.

E. Bayse, A. Cavalli, M. Núñez, and F. Zaidi, A passive testing approach based on invariants: application to the WAP, Computer Networks, vol.48, issue.2, pp.247-266
DOI : 10.1016/j.comnet.2004.09.009

M. E. Cambronero, G. Diaz, J. J. Pardo, V. Valero, and F. L. Pelayo, Rt-uml for modeling realtime web services, Proc. IEEE Services Computing Workshops SCW 2006, pp.131-139, 2006.
DOI : 10.1109/scw.2006.35

J. Cardoso, Approaches to developing semantic web services, International Journal of Computer Science (IJCS), vol.1, issue.1, pp.8-21, 2006.

A. R. Cavalli, D. Lee, C. Rinderknecht, F. Za¨?diza¨?di, . Forte-xii-/-pstv et al., Hit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services, Proc. of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), pp.41-56, 1999.
DOI : 10.1007/978-0-387-35578-8_3

C. Christensen, F. Meredith, G. Weerawarana, and S. , Web services description language wsdl ver, 2001.

A. Cockburn, Writing Effective Use Cases, 2000.

R. Farahbod, U. Glasser, and M. Vajihollahi, Specification and Validation of the Business Process Execution Language for Web Services, Abstract State Machines, pp.78-94, 2004.
DOI : 10.1007/978-3-540-24773-9_7

H. Fouchal, E. Petitjean, and S. Salva, Testing timed systems with timed purposes, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications, pp.166-171, 2000.
DOI : 10.1109/RTCSA.2000.896386

J. Garca-fanjul, J. Tuya, and C. De-la-riva, Generating test cases specifications for bpel compositions of web services using spin, Proc. International Workshop on Web Services - Modeling and Testing WS-MaTe, pp.83-94, 2006.

O. M. Group, BPMN, business process modeling notation, 2009.

S. Hinz, K. Schmidt, and C. Stahl, Transforming BPEL to Petri Nets, Business Process Management, pp.220-235, 2005.
DOI : 10.1007/11538394_15

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.4950

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003.
DOI : 10.1109/32.588521

R. Kazhamiakin, P. Pandya, and M. Pistore, Timed modelling and analysis in Web service compositions, First International Conference on Availability, Reliability and Security (ARES'06), p.7, 2006.
DOI : 10.1109/ARES.2006.134

M. Krichen and S. Tripakis, An Expressive and Implementable Formal Framework for Testing Real-Time Systems, Proc. 16th IFIP International Conference on Testing of Communicating Systems TestCom 2005, pp.209-225, 2005.
DOI : 10.1007/3-540-45739-9_14

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.535.4078

D. C. Kung, C. H. Liu, and P. Hsia, An object-oriented web test model for testing web applications, Asia-Pacific Conference on Quality Software 0, p.111, 2000.
DOI : 10.1109/apaq.2000.883784

URL : http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.477.3772&rep=rep1&type=pdf

M. Lallali, F. Zaidi, and A. Cavalli, Timed Modeling of Web Services Composition for Automatic Testing, 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System, pp.417-426, 2007.
DOI : 10.1109/SITIS.2007.110

N. Li, Q. Qin-ma, J. Wu, M. Zhong-jin, and C. Liu, A Framework of Model-Driven Web Application Testing, 30th Annual International Computer Software and Applications Conference (COMPSAC'06), pp.157-162, 2006.
DOI : 10.1109/COMPSAC.2006.96

C. Liu, D. Kung, P. Hsia, and C. Hsu, Structure testing of web applications, Proc. 11th Annual International Symposium on Software Reliability Engineering, pp.84-96, 2000.

G. D. Lorenzo, A. R. Fasolino, L. Melcarne, P. Tramontana, and V. Vittorini, Turning Web Applications into Web Services by Wrapping Techniques, 14th Working Conference on Reverse Engineering (WCRE 2007), pp.199-208, 2007.
DOI : 10.1109/WCRE.2007.51

C. M. Mackenzie, K. Laskey, F. Mccabe, P. F. Brown, and R. Metz, Reference model for service oriented architecture 1.0. oasis standard, 12 october, 2006.

P. , E. J. La-fuente-valentn, L. , D. , S. et al., Approaches to developing semantic web services, International Journal of Computer Science, vol.1, issue.1, pp.8-10, 2006.

A. M. Paradkar, A. Sinha, C. Williams, R. D. Johnson, S. Outterson et al., Automated Functional Conformance Test Generation for Semantic Web Services, IEEE International Conference on Web Services (ICWS 2007), pp.110-117, 2007.
DOI : 10.1109/ICWS.2007.48

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.660.2522

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

M. Sheshagiri, Automatic composition and invocation of semantic web services, UMBC, 2004.

Q. Software, . Testing-resource, and . Center, Web site test tools and site management tools. http://www.softwareqatest.com/qatweb1.html 47. W3C: extensible markup language xml

A. Wombacher, P. Fankhauser, and E. Neuhold, Transforming BPEL into annotated deterministic finite state automata for service discovery, Proceedings. IEEE International Conference on Web Services, 2004., pp.316-323, 2004.
DOI : 10.1109/ICWS.2004.1314753

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.593

L. Xu, B. Xu, Z. Chen, J. Jiang, and H. Chen, Regression testing for web applications based on slicing, Computer Software and Applications Conference, Annual International 0, p.652, 2003.

Y. Yang, Q. Tan, J. Yu, and F. Liu, Transformation BPEL to CP-Nets for Verifying Web Services Composition, International Conference on Next Generation Web Services Practices (NWeSP'05), p.6, 2005.
DOI : 10.1109/NWESP.2005.77

Y. Yu, N. Huang, and Q. Luo, OWL-S Based Interaction Testing of Web Service-Based System, Third International Conference on Next Generation Web Services Practices (NWeSP'07), pp.31-34, 2007.
DOI : 10.1109/NWESP.2007.16

R. Zhang, I. B. Arpinar, and B. Aleman-meza, Automatic composition of semantic web services, International Conference on Web Services ICWS 2003, pp.38-41, 2003.