.. Approche-de-modélisation, 57 3.3.3 modélisation des activités internes 60 3.3.5 Modélisation des activités de communication Modélisation de la corrélation des messages, p.79

. Génération-de and -. Testgen, 166 6.4.5 Dérivation des tests concrets, p.176

A. Cavalli, M. Lallali, S. Maag, G. Morales, and F. Zaidi, Studies in Computational Intelligence, chapter Modeling and testing of Web based systems, Emergent Web Intelligence, 2009.

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

A. C. , M. Lallali, F. Zaidi, and P. Felix, Definition of the Mapping from BPEL to WS-TEFSM, 2008.

M. Lallali, F. Zaidi, A. Cavalli, and I. Hwang, Automatic Timed Test Case Generation for Web Services Composition, 2008 Sixth European Conference on Web Services, pp.53-62, 2008.
DOI : 10.1109/ECOWS.2008.14

M. Lallali, F. Zaidi, and A. Cavalli, Transforming BPEL into Intermediate Format Language for Web Services Composition Testing, 2008 4th International Conference on Next Generation Web Services Practices, pp.191-197, 2008.
DOI : 10.1109/NWeSP.2008.14

A. C. , M. Lallali, F. Zaidi, and P. Felix, Automation of the Mapping from BPEL to WS-TEFSM-IF. Livrable WEBMOV-FC-D2

A. Rosa-cavalli, E. Montes-de-oca, W. Mallouli, and M. Lallali, Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints, 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, pp.315-318, 2008.
DOI : 10.1109/DS-RT.2008.43

W. Mallouli, M. Lallali, G. Morales, and A. R. Cavalli, Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study, 2008 IEEE International Conference on Signal Image Technology and Internet Based Systems, pp.128-136, 2008.
DOI : 10.1109/SITIS.2008.58
URL : https://hal.archives-ouvertes.fr/hal-00796034

I. Hwang, M. Lallali, A. Cavalli, and D. Verchere, Modeling, validation, and test generation of pcep using formal method, The IFIP International Conference on Formal Techniques ofr Distributed Systems FMOODS/FORTE'09, pp.9-11, 2009.

T. Erl, Service-oriented Architecture : Concepts, Technology, and Design, 2005.

M. Gaudel, Validation et Vérification, Encyclopédie de l'informatique et des systèmes d'information, pp.1136-1150, 2006.

F. Christensen, G. Curbera, S. Meredith, and . Weerawarana, Web services description language wsdl (version 1.1), march 2001

A. R. Cavalli, D. Lee, C. Rinderknecht, and F. Zaïdi, Hit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services, Proceedings of the IFIP TC6 WG6
DOI : 10.1007/978-0-387-35578-8_3

T. Erl, Service-Oriented Architecture : A Field Guide to Integrating Xml and Web Services, 2004.

C. K. , S. Xanthakis, and P. Regnier, Le test des logiciels, Hermès, 2000.

C. Le, Comité Français des Tests Logiciels (CFTL)

S. Morimoto, A Survey of Formal Verification for Business Process Modeling, Proceedings of the 8th international conference on Computational Science, Part II (ICCS '08), pp.514-522, 2008.
DOI : 10.1007/978-3-540-69387-1_58

A. Maurice, S. Bucciarone, and . Gnesi, A Survey on Service Composition Approaches : From Industrial Standards to Formal Methods, 2006.

B. Franck, V. , and K. Maria, Models and verification of BPEL, 2006.

W. Reisig and G. Rozenberg, Lectures on Petri Nets I : Basic Models Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, Lecture Notes in Computer Science, vol.1491, 1996.

N. Lohmann, E. Verbeek, and R. Dijkman, Petri Net Transformations for Business Processes -A Survey. Transactions on Petri Nets and Other Models of Concurrency, 2008.

R. Hamadi and B. Benatallah, A Petri net-based model for Web service composition, Proceedings of the fourteenth Australasian database conference (ADC '03), pp.191-200, 2003.

C. Stahl, A Petri Net Semantics for BPEL, 2004.

C. Ouyang, E. Verbeek, M. Wil, S. Van-der-aalst, M. Breutel et al., Formal semantics and analysis of control flow in WS-BPEL, Science of Computer Programming, vol.67, issue.2-3, pp.162-198, 2007.
DOI : 10.1016/j.scico.2007.03.002

C. Ouyang, E. Verbeek, M. P. Wil, S. Van-der-aalst, M. Breutel et al., WofBPEL: A Tool for Automated Analysis of BPEL Processes, ICSOC, pp.484-489, 2005.
DOI : 10.1007/11596141_37

K. Schmidt, Distributed Verification with LoLA, Fundamenta Informaticae, vol.54, issue.2-3, pp.253-262, 2003.

N. Lohmann, P. Massuthe, C. Stahl, and D. Weinberg, Analyzing interacting WS-BPEL processes using flexible model generation, Data & Knowledge Engineering, vol.64, issue.1, pp.38-54, 2008.
DOI : 10.1016/j.datak.2007.06.006

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

W. Dong, H. Yu, and Y. Zhang, Testing BPEL-based Web Service Composition Using High-level Petri Nets, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06), pp.441-444, 2006.
DOI : 10.1109/EDOC.2006.59

H. Kang, X. Yang, and S. Yuan, Modeling and Verification of Web Services Composition based on CPN, 2007 IFIP International Conference on Network and Parallel Computing Workshops (NPC 2007), pp.613-617, 2007.
DOI : 10.1109/NPC.2007.55

Y. Yang, Q. Tan, and Y. Xiao, Verifying web services composition based on hierarchical colored petri nets, Proceedings of the first international workshop on Interoperability of heterogeneous information systems , IHIS '05, pp.47-54, 2005.
DOI : 10.1145/1096967.1096977

Y. Yang, Q. Tan, Y. Xiao, J. Yu, and F. Liu, Verifying Web Services Composition: A Transformation-Based Approach, Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05), pp.546-548, 2005.
DOI : 10.1109/PDCAT.2005.248

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.137, 2005.
DOI : 10.1109/NWESP.2005.77

C. Girault and R. Valk, Petri Nets for Systems Engineering ? A Guide to Modeling, Verification, and Applications, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01489070

Y. Zheng and P. Krause, Automata Semantics and Analysis of BPEL, 2007 Inaugural IEEE-IES Digital EcoSystems and Technologies Conference, pp.147-152, 2007.
DOI : 10.1109/DEST.2007.371961

Y. Zheng, J. Zhou, and P. Krause, A Model Checking based Test Case Generation Framework for Web Services, Proceedings of the International Conference on Information Technology ITNG '07, pp.715-722, 2007.

Y. Zheng, J. Zhou, and P. Krause, An Automatic Test Case Generation Framework for Web Services, Journal of Software, vol.2, issue.3, pp.64-77, 2007.
DOI : 10.4304/jsw.2.3.64-77

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, Representation, Verification, and Computation of Timed Properties in Web Services Composition, Proceedings of the International Conference on Web Services (ICWS '06), pp.497-504, 2006.

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), pp.840-846, 2006.
DOI : 10.1109/ARES.2006.134

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

B. Mahleko and A. Wombacher, Indexing Business Processes based on Annotated Finite State Automata, 2006 IEEE International Conference on Web Services (ICWS'06), pp.303-311, 2006.
DOI : 10.1109/ICWS.2006.74

M. Pistore, P. Traverso, P. Bertoli, and A. Marconi, Automated synthesis of composite BPEL4WS Web services, IEEE International Conference on Web Services (ICWS'05), pp.293-301, 2005.
DOI : 10.1109/ICWS.2005.27

Y. Yan, M. Cordier, Y. Pencole, and A. Grastien, Monitoring Web Service Networks in a Model-based Approach, Proceedings of the Third European Conference on Web Services (ECOWS '05), p.192, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000533

X. Fu, T. Bultan, and J. Su, Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, pp.621-630, 2004.
DOI : 10.1145/988672.988756

X. Fu, T. Bultan, and J. Su, WSAT: A Tool for Formal Analysis of Web Services, Proceedings of the 16th Int. Conf. on Computer Aided Verification (CAV '04, pp.510-514
DOI : 10.1007/978-3-540-27813-9_48

R. Gerth, Concise Promela Reference, 1997.

N. Shin, Lightweight formal analysis of Web service flows, Progress in Informatics, pp.57-76, 2005.

J. Garcia-fanjul, C. De-la-riva, and J. Tuya, Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking, Testing: Academic & Industrial Conference, Practice And Research Techniques (TAIC PART'06), pp.127-130, 2006.
DOI : 10.1109/TAIC-PART.2006.11

J. García-fanjul, J. Tuya, and C. Riva, Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN, WS-MaTe'06, pp.83-94, 2006.

R. Mateescu and S. Rampacek, Formal Modeling and Discrete-Time Analysis of BPEL Web Services, Int. J. of Simulation and Process Modelling, vol.4, pp.183-194, 2009.
DOI : 10.1007/978-3-540-68644-6_13
URL : https://hal.archives-ouvertes.fr/inria-00319100

I. Cadp, Construction and Analysis of Distributed Processes Software Tools for Designing Reliable Protocols and Systems

H. Foster, S. Urrutia, J. Magee, and J. Kramer, Web Service Compositions : From XML Syntax to Service Models, IDEAlliance XML Conference, 2005.

M. Koshkina, Verification of Business Processes for Web Services, 2003.

M. Koshkina and F. Van-breugel, Modelling and verifying web service orchestration by means of the concurrency workbench, ACM SIGSOFT Software Engineering Notes, vol.29, issue.5, pp.1-10, 2004.
DOI : 10.1145/1022494.1022526

M. Weidlich, G. Decker, and M. Weske, Efficient Analysis of BPEL 2.0 Processes Using p-Calculus, The 2nd IEEE Asia-Pacific Service Computing Conference (APSCC 2007), pp.266-274, 2007.
DOI : 10.1109/APSCC.2007.36

G. Salaun, A. Ferrara, and A. Chirichiello, Negotiation Among Web Services Using LOTOS/CADP, ECOWS, pp.198-212, 2004.
DOI : 10.1007/978-3-540-30209-4_15

R. Farahbod, U. Glässer, and M. Vajihollahi, Abstract Operational Semantics of the Business Process Execution Language for Web Services, School of Computing Science, 2004.

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

. Codeplex, AsmL : The Abstract State Machine Language

D. Fahland, Complete Abstract Operational Semantics for the Web Service Business Process Execution Language, Informatik-Berichte, vol.190, 2005.

D. Fahland and W. Reisig, Asm-based semantics for bpel : The negative control flow, Proceedings of the 12th International Workshop on Abstract State Machines (ASM'05), pp.131-152, 2005.

W. Reisig, Modeling- and Analysis Techniques for Web Services and Business Processes, 7th IFIP WG 6.1 International Conference, FMOODS 2005. Proceedings, pp.243-258, 2005.
DOI : 10.1142/S0218126698000043

M. Butler, C. Ferreira, and M. Y. Ng, Precise Modelling of Compensating Business Transactions and its Application to BPEL. j-jucs, pp.712-743, 2005.

Y. Yuan, Z. Li, and W. Sun, A Graph-Search Based Approach to BPEL4WS Test Generation, 2006 International Conference on Software Engineering Advances (ICSEA'06), pp.14-14, 2006.
DOI : 10.1109/ICSEA.2006.261270

O. Management-group and . Uml, Unified Modeling Language, version 2.1.2, 2008.

M. E. Cambronero, G. Diaz, J. J. Pardo, and V. Valero, Using UML Diagrams to Model Real-Time Web Services, Second International Conference on Internet and Web Applications and Services (ICIW'07), p.24, 2007.
DOI : 10.1109/ICIW.2007.68

A. Bucchiarone, H. Melgratti, and F. Severoni, Testing Service Composition, Proceedings of ASSE'07, 2007.

S. Salva and A. Rollet, Automatic Web Service Testing from WSDL Descriptions, Proceedings of the 8th IEEE International Conference on Innovative Internet Community Systems (I2CS'08), 2008.
URL : https://hal.archives-ouvertes.fr/hal-00353899

C. Bartolini, A. Bertolino, E. Marchetti, and A. Polini, Towards automated wsdlbased testing of web services, Proceedings of the 6th International Conference on Service- Oriented Computing (ICSOC '08), pp.524-529, 2008.

S. Troschütz, Web Service Test Framework with TTCN-3, 2007.

X. Bai, W. Dong, W. Tsai, and Y. Chen, WSDL-based automatic test case generation for Web services testing, pp.207-212, 2005.

A. Bertolino, L. Frantzen, A. Polini, and J. Tretmans, Audition of Web Services for Testing Conformance to Open Specified Protocols, Architecting Systems with Trustworthy Components, number 3938 in Lecture Notes in Computer Science, pp.1-25, 2006.
DOI : 10.1007/3-540-45254-0_12

L. Frantzen, J. Tretmans, and R. D. Vries, Towards Model-Based Testing of Web Services, International Workshop on Web Services -Modeling and Testing (WS-MaTe '06), pp.67-82, 2006.

S. Salva and I. Rabhi, Automatic Web Service Robustness Testing from WSDL descriptions, Proceedings of the 12th European Workshop on Dependable Computing (EWDC '09), 2009.
URL : https://hal.archives-ouvertes.fr/hal-00380717

E. Martin, S. Basu, and T. Xie, Automated robustness testing of web services, Proceedings of the 4th International Workshop on SOA And Web Services Best Practices (SOAWS '06), 2006.

J. Offutt and W. Xu, Generating test cases for web services using data perturbation, ACM SIGSOFT Software Engineering Notes, vol.29, issue.5, pp.1-10, 2004.
DOI : 10.1145/1022494.1022529

A. Bertolino, J. Gao, E. Marchetti, and A. Polini, TAXI--A Tool for XML-Based Testing, 29th International Conference on Software Engineering (ICSE'07 Companion), pp.53-54, 2007.
DOI : 10.1109/ICSECOMPANION.2007.72

A. Bertolino, J. Gao, E. Marchetti, and A. Polini, Automatic Test Data Generation for XML Schema-based Partition Testing, Second International Workshop on Automation of Software Test (AST '07), p.4, 2007.
DOI : 10.1109/AST.2007.6

A. Bertolino and A. Polini, The Audition Framework for Testing Web Services Interoperability, pp.134-142, 2005.

C. Bartolini, A. Bertolino, E. Marchetti, and I. Parissis, Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples, pp.298-325, 2008.
DOI : 10.1016/j.comnet.2006.08.003

C. Liu, S. Chen, and X. Li, A WS-BPEL Based Structural Testing Approach for Web Service Compositions, 2008 IEEE International Symposium on Service-Oriented System Engineering, pp.135-141, 2008.
DOI : 10.1109/SOSE.2008.30

J. Yan, Z. Li, Y. Yuan, W. Sun, and J. Zhang, BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach, 2006 17th International Symposium on Software Reliability Engineering, pp.75-84, 2006.
DOI : 10.1109/ISSRE.2006.16

Z. J. Li, H. F. Tan, H. H. Liu, J. Zhu, and N. M. Mitsumori, Business-process-driven gray-box SOA testing, IBM Systems Journal, vol.47, issue.3, pp.457-472, 2008.
DOI : 10.1147/sj.473.0457

P. Mayer and D. Lübke, Towards a BPEL unit testing framework, Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications , TAV-WEB '06, pp.33-42, 2006.
DOI : 10.1145/1145718.1145723

Z. Li, W. Sun, Z. B. Jiang, and X. Zhang, BPEL4WS unit testing: framework and implementation, Proceedings of the IEEE International Conference on Web Services (ICWS '05), pp.103-110, 2005.
DOI : 10.1504/IJBPIM.2008.020976

P. Mayer, Design and Implementation of a Framework for Testing BPEL Compositions, 2006.

P. Mayer, BPELUnit -The Open Source Unit Testing Framework for BPEL

H. Huang, W. Tsai, R. Paul, and Y. Chen, Automated Model Checking and Testing for Composite Web Services, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05), pp.300-307, 2005.
DOI : 10.1109/ISORC.2005.16

K. Kaschner and N. Lohmann, Automatic Test Case Generation for Services, 3rd Young Researchers Workshop on Service Oriented Computing (YR-SOC 2008), 2008.

G. J. Tretmans, Test Generation with Inputs, Outputs and Repetitive Quiescence. Software? Concepts and Tools, pp.103-120, 1996.

J. Zhou, J. Koivisto, and E. Niemelä, A Survey on Semantic Web Services and a Case Study, 2006 10th International Conference on Computer Supported Cooperative Work in Design, pp.763-769, 2006.
DOI : 10.1109/CSCWD.2006.253254

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

M. Sheshagiri, Automatic Composition and Invocation of Semantic Web Services, 2004.

R. Zhang, I. Budak-arpinar, and B. , Automatic Composition of Semantic Web Services, International Conference on Web Services (ICWS '03), pp.38-41, 2003.

S. Dustdar and W. Schreiner, A survey on web services composition, International Journal of Web and Grid Services, vol.1, issue.1, pp.1-30, 2005.
DOI : 10.1504/IJWGS.2005.007545

S. Lee, X. Bai, and Y. Chen, Automatic Mutation Testing and Simulation on OWL-S Specified Web Services, 41st Annual Simulation Symposium (anss-41 2008), pp.149-156, 2008.
DOI : 10.1109/ANSS-41.2008.13

Y. Wang, X. Bai, J. Li, and R. Huang, Ontology-Based Test Case Generation for Testing Web Services, Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07), pp.43-50, 2007.
DOI : 10.1109/ISADS.2007.54

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

M. Amit, A. Paradkar, C. Sinha, R. D. Williams, S. Johnson et al., Automated Functional Conformance Test Generation for Semantic Web Services, ICWS, pp.110-117, 2007.

M. Amit, A. Paradkar, C. Sinha, R. D. Williams, S. Johnson et al., Automated Functional Conformance Test Generation for Semantic Web Services, IEEE International Conference on Web Services (ICWS '07), pp.110-117, 2007.

A. Both and W. Zimmermann, Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems, Michel R. V. Chaudron, Clemens A
DOI : 10.1007/978-3-540-87891-9_11

Y. Qian, Y. Xu, Z. Wang, G. Pu, H. Zhu et al., Tool Support for BPEL Verification in ActiveBPEL Engine, 2007 Australian Software Engineering Conference (ASWEC'07), pp.90-100, 2007.
DOI : 10.1109/ASWEC.2007.50

G. Pu, X. Zhao, S. Wang, and Z. Qiu, Towards the Semantics and Verification of BPEL4WS, Electronic Notes in Theoretical Computer Science, vol.151, issue.2, pp.33-52, 2006.
DOI : 10.1016/j.entcs.2005.07.035

H. Cao, S. Ying, and D. Du, Towards Model-based Verification of BPEL with Model Checking, The Sixth IEEE International Conference on Computer and Information Technology (CIT'06), p.190, 2006.
DOI : 10.1109/CIT.2006.185

O. Moser, F. Rosenberg, and S. Dustdar, VieDAME - flexible and robust BPEL processes through monitoring and adaptation, Companion of the 13th international conference on Software engineering , ICSE Companion '08, pp.917-918, 2008.
DOI : 10.1145/1370175.1370186

L. Baresi, S. Guinea, R. Kazhamiakin, and M. Pistore, An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations, Proceedings of the 1st European Conference on Towards a Service-Based Internet (ServiceWave '08), pp.1-12, 2008.
DOI : 10.1007/978-3-540-89897-9_1

C. Ghezzi and S. Guinea, Run-Time Monitoring in Service-Oriented Architectures, Test and Analysis of Web Services, pp.237-264, 2007.
DOI : 10.1007/978-3-540-72912-9_9

M. Pistore and P. Traverso, Assumption-Based Composition and Monitoring of Web Services, Test and Analysis of Web Services, pp.307-335, 2007.
DOI : 10.1007/978-3-540-72912-9_11

F. Barbon, P. Traverso, M. Pistore, and M. Trainotti, Run-Time Monitoring of Instances and Classes of Web Service Compositions, 2006 IEEE International Conference on Web Services (ICWS'06), pp.63-71, 2006.
DOI : 10.1109/ICWS.2006.113

Y. Yan, Y. Pencole, M. Cordier, and A. Grastien, Monitoring Web Service Networks in a Model-based Approach, Proceedings of the Third IEEE European Conference on Web Services (ECOWS '05, p.12, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000533

H. Gros-desormeaux, H. Fouchal, and P. Hunel, A Distributed Approach for Testing Timed Systems, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06), pp.94-94, 2006.
DOI : 10.1109/AICT-ICIW.2006.10

I. Berrada, R. Castanet, and P. Félix, Testing Communicating Systems: a Model, a Methodology, and a Tool, 17th IFIP International Conference on Testing of Communicating Systems, 2005.
DOI : 10.1007/978-3-540-30232-2_10
URL : https://hal.archives-ouvertes.fr/hal-00408493

I. Berrada, R. Castanet, and P. Félix, A formal approach for Real-Time Test Generation, Proc. of Workshop on testing real-time and embedded systems, 2003.

H. Bohnenkamp and A. Belinfante, Timed Testing with TorX, FM 2005 : Formal Methods, pp.173-188, 2005.
DOI : 10.1007/11526841_13

L. Brandan-briones and E. Brinksma, A Test Generation Framework for quiescent Real-Time Systems, Formal Approaches to Software Testing, volume LNCS 3395 of Lecture Notes in Computer Science 3395, pp.64-78, 2005.
DOI : 10.1007/978-3-540-24732-6_8

L. , B. Briones, and M. , Test derivation from timed automata, Model-Based Testing of Reactive Systems, pp.201-231, 2005.

M. Mikucionis, K. G. Larsen, B. Nielsen, and . T-uppaal, T-uppaal : online model-based testing of real-time systems, Proceedings. 19th International Conference on Automated Software Engineering, 2004., 2004.
DOI : 10.1109/ASE.2004.1342774

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

A. Khoumsi, T. Jeron, and H. Marchand, Test Cases Generation for Nondeterministic Real-Time Systems, FATES, pp.131-146, 2003.
DOI : 10.1007/978-3-540-24617-6_10

I. Berrada, R. Castanet, and P. Félix, TGSE : Un outil générique pour le test, Colloque Francophone sur l'ingénierie des Protocoles (CFIP'05), pp.67-84, 2005.

A. Cavalli, M. Lallali, S. Maag, G. Morales, and F. Zaidi, Studies in Computational Intelligence, chapter Modeling and testing of Web based systems, Emergent Web Intelligence, 2009.

A. C. , M. Lallali, F. Zaidi, and P. Felix, Definition of the Mapping from BPEL to WS-TEFSM, 2008.

J. Bengtsson and W. Yi, Timed Automata : Semantics, Algorithms and Tools. Lecture Notes on Concurrency and Petri Nets, LNCS, vol.3098, 2004.
DOI : 10.1007/978-3-540-27755-2_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.8701

K. Chen, J. Sztipanovits, and S. Abdelwahed, A Semantic Unit for Timed Automata Based Modeling Languages, Proceedings of RTAS'06, pp.347-360, 2006.

M. Krichen and S. Tripakis, Black-Box Conformance Testing for Real-Time Systems, SPIN, pp.109-126, 2004.
DOI : 10.1007/978-3-540-24732-6_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.515

A. Arnold, Finite transition systems, 1994.

A. Arnold, Systèmes de transitions finis et sémantique des processus communicants, 1992.
DOI : 10.1051/ita/1981150201031
URL : http://archive.numdam.org/article/ITA_1981__15_2_103_0.pdf

D. Marius and B. , Vérification symbolique pour les protocoles de communication, 1999.

M. Bozga, S. Graf, I. Ober, I. Ober, and J. Sifakis, The IF Toolset, SFM-04, pp.237-267, 2004.
DOI : 10.1007/978-3-540-30080-9_8
URL : https://hal.archives-ouvertes.fr/hal-00361307

M. Bozga and Y. Lakhnech, IF-2.0 Common Language Operational Semantics, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00357518

M. Bozga, J. Fernandez, L. Ghirvu, S. Graf, J. P. Krimm et al., IF: An Intermediate Representation for SDL and its Applications, SDL Forum, pp.423-440, 1999.
DOI : 10.1016/B978-044450228-5/50028-X
URL : https://hal.archives-ouvertes.fr/hal-00374129

A. C. , M. Lallali, F. Zaidi, and P. Felix, Automation of the Mapping from BPEL to WS-TEFSM-IF. Livrable WEBMOV-FC-D2

U. Glässer, R. Gotzhein, and A. Prinz, The formal semantics of SDL-2000: Status and perspectives, Computer Networks, vol.42, issue.3, pp.343-358, 2003.
DOI : 10.1016/S1389-1286(03)00247-0

K. K. Sandhu, Specification and description language SDL, Proceedings of the IEE Tutorial Colloquium on Formal Methods and Notations Applicable to Telecommunications, pp.3-4, 1992.

T. Bolognesi and E. Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, vol.14, issue.1, pp.25-59, 1987.
DOI : 10.1016/0169-7552(87)90085-7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.466.7443

M. Bozga and Y. Lakhnech, IF-2.0 Language : Concrete Syntax Annotated, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00357518

. Verimag, Common Description Language, 2003.

M. Bozga, S. Graf, and L. Mounier, IF-2.0: A Validation Environment for Component-Based Real-Time Systems, Proceedings of The International Conference on Computer Aided Verification (CAV'02), pp.343-348, 2002.
DOI : 10.1007/3-540-45657-0_26
URL : https://hal.archives-ouvertes.fr/hal-00357518

T. Mackinnon, S. Freeman, and P. Craig, Endo-testing : unit testing with mock objects, pp.287-301, 2001.

. Oracle, Interaction Patterns, 2007.

J. Tretmans, Testing Concurrent Systems: A Formal Approach, Proceedings of the 10th International Conference on Concurrency Theory (CONCUR '99), pp.46-65, 1999.
DOI : 10.1007/3-540-48320-9_6

A. Hessel, K. G. Larsen, M. Mikuèionis, B. Nielsen, P. Pettersson et al., Testing Real-Time Systems Using UPPAAL, pp.77-117, 2008.
DOI : 10.1007/978-3-540-78917-8_3

J. Springintveld, F. Vaandrager, and P. R. Argenio, Testing timed automata, Theoretical Computer Science, vol.254, issue.1-2, pp.225-257, 2001.
DOI : 10.1016/S0304-3975(99)00134-6
URL : http://doi.org/10.1016/s0304-3975(99)00134-6

I. Berrada, R. Castanet, P. Félix, and A. Salah, Timed diagnostics and test Case minimization for real-time systems, Proceedings of the 18th IFIP International Conference on Testing of Communicating Systems (TESTCOM '06), Lecture Notes in Computer Science, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00391057

E. Martí, E. Cambronero, G. Dí, and . Valero, Design and Verification of Web Services Compositions, Fourth International Conference on Internet and Web Applications and Services (ICIW '09), pp.395-400, 2009.

H. Yang, X. Zhao, Z. Qiu, G. Pu, and S. Wang, A Formal Model for Web Service Choreography Description Language (WS-CDL), International Conference on Web Services (ICWS '06), pp.893-894, 2006.

W. L. Yeung, Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services, 2006 European Conference on Web Services (ECOWS'06), pp.297-305, 2006.
DOI : 10.1109/ECOWS.2006.26

P. Poizat and J. Royer, A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic. j-jucs, pp.1741-1782, 2006.

T. Jéron, Symbolic Model-based Test Selection, Proceedings of the Brazilian Symposium on Formal Methods, pp.17-32, 2008.
DOI : 10.1016/j.entcs.2009.05.051

L. Frantzen, J. Tretmans, and T. A. Willemse, A Symbolic Framework for Model-Based Testing, Formal Approaches to Software Testing and Runtime Verification ? FATES/RV 2006, number 4262 in Lecture Notes in Computer Science, pp.40-54, 2006.
DOI : 10.1007/11940197_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.463.358

J. Cabot, R. Clarisó, and D. Riera, UMLtoCSP, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.547-548, 2007.
DOI : 10.1145/1321631.1321737

M. Gogolla, F. Büttner, and M. Richters, USE: A UML-based specification environment for validating UML and OCL, Science of Computer Programming, vol.69, issue.1-3, pp.1-327, 2007.
DOI : 10.1016/j.scico.2007.01.013

T. Architecture-de, Types d'interactions entre un service sous test et son environnement, p.125

. Génération-de and -. Testgen, 166 Description des trois scénarios, p.168

.. Édition-d-'une-activité-send, Receive synchrone dans BPELUnit ? Condition de vérification des données reçues par Receive, p.178