A formal framework for service orchestration testing based on symbolic transition systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5826 LNCS, Issue , 2009, Pages 16-32

  Bentakouk, Lina ^a   Poizat, Pascal ^a,b   Zaïdi, Fatiha ^a  

^a UNIVERSITÉ PARIS SACLAY   (France)

^b UNIVERSITÉ D EVRY VAL D ESSONNE   (France)

Author keywords

Formal testing; Orchestration; Service composition; Symbolic execution; Test case generation; Transition systems; WS BPEL

Indexed keywords

FORMAL TESTING; SERVICE COMPOSITIONS; SYMBOLIC EXECUTION; TEST CASE GENERATION; TRANSITION SYSTEM; WS-BPEL; ORCHESTRATION;

AUTOMATIC TESTING; COMMUNICATION SYSTEMS; COMPUTER AIDED ANALYSIS; COMPUTER SOFTWARE; MODEL STRUCTURES; MODEL CHECKING; QUALITY OF SERVICE; SOFTWARE DESIGN;

MODEL CHECKING; SOFTWARE TESTING;

EID: 70549108087     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-05031-2_2     Document Type: Conference Paper

References (28)

1. OASIS: Web Services Business Process Execution Language (WSBPEL) Version 2.0. Technical report, OASIS (April 2007)
2. Rao, J., Su, X.: A Survey of Automated Web Service Composition Methods. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 43-54. Springer, Heidelberg (2005)
3. Dumas, M., Benatallah, B., Motahari Nezhad, H.R.: Web Service Protocols: Compatibility and Adaptation. IEEE Data Eng. Bull. 31(3), 40-44 (2008)
4. ter Beek, M.H., Bucchiarone, A., Gnesi, S.: Formal Methods for Service Composition. Annals of Mathematics, Computing & Teleinformatics 1(5), 1-10 (2007)
5. Poizat, P., Royer, J.C.: A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic. Journal of Universal Computer Science 12(12), 1741-1782 (2006)
6. King, J.C.: Symbolic Execution and Program Testing. Communications of the ACM 19(7), 385-394 (1976)
7. Attiogbé, C., Poizat, P., Salaün, G.: A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. IEEE Transactions on Software Engineering 33(3), 157-170 (2007)
8. Ouyang, C., van der Aalst, W., Dumas, M., ter Hofstede, A.: Translating BPMN to BPEL. Technical Report BPM-06-02, BPM Center Report (2006)
9. Bucchiarone, A., Melgratti, H., Severoni, F.: Testing Service Composition. In: Proc. of ASSE (2007)
10. Lallali, M., Zaïdi, F., Cavalli, A., Hwang, I.: Automatic Timed Test Case Generation for Web Services Composition. In: Proc. of ECOWS (2008)
11. Mateescu, R., Poizat, P., Salaün, G.: Adaptation of Service Protocols Using Process Algebra and On the Fly Reduction Techniques. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 84-99. Springer, Heidelberg (2008)
12. Mateescu, R., Rampacek, S.: Formal Modeling and Discrete Time Analysis of BPEL Web Services. In: Advances in Enterprise Engineering I. Lecture Notes in Business Information Processing, vol. 10, pp. 179-193. Springer, Heidelberg (2008)
13. Bentakouk, L., Poizat, P., Zaïdi, F.: A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. Long version, in P. Poizat Webpage
14. Khurshid, S., Pǎsǎreanu, C.S., Visser, W.: Generalized Symbolic Execution for Model Checking and Testing. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 553-568. Springer, Heidelberg (2003)
15. Frantzen, L., Tretmans, J., Willemse, T.A.C.: A Symbolic Framework for Model-Based Testing. In: Havelund, K., Núñez, M., Roşu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol. 4262, pp. 40-54. Springer, Heidelberg (2006)
16. Gaston, C., Le Gall, P., Rapin, N., Touil, A.: Symbolic Execution Techniques for Test Purpose Definition. In: Uyar, M.Ü., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol. 3964, pp. 1-18. Springer, Heidelberg (2006)
17. Cabot, J., Clarisó, R., Riera, D.: UMLtoCSP: a Tool for the Formal Verification of UML/OCL Models using Constraint Programming. In: Proc. of ASE (2007)
18. Kaschner, K., Lohmann, N.: Automatic Test Case Generation for Interacting Services. In: Feuerlicht, G., Lamersdorf, W. (eds.) ICSOC 2008 Workshops. LNCS, vol. 5472, pp. 66-78. Springer, Heidelberg (2009)
19. Jeannet, B., Jéron, T., Rusu, V., Zinovieva, E.: Symbolic Test Selection based on Approximate Analysis. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 349-364. Springer, Heidelberg (2005)
20. Mayer, P.: Design and Implementation of a Framework for Testing BPEL Compositions. PhD thesis, Leibnitz University, Germany (2006)
21. Bartolini, C., Bertolino, A., Marchetti, E., Polini, A.: Towards Automated WSDL-Based Testing of Web Services. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 524-529. Springer, Heidelberg (2008)
22. Bartolini, C., Bertolino, A., Marchetti, E., Parissis, I.: Data Flow-Based Validation of Web Services Compositions: Perspective and Examples. In: de Lemos, R., Di Gi-andomenico, F., Gacek, C., Muccini, H., Vieira, M. (eds.) Architecting Dependable Systems V. LNCS, vol. 5135, pp. 298-325. Springer, Heidelberg (2008)
23. Mei, L., Chan, W., Tse, T.: Data Flow Testing of Service-Oriented Workflow Applications. In: Proc. of ICSE (2008)
24. Li, Z., Sun, W., Jiang, B., Zhang, X.: BPEL4WS Unit Testing: Framework and Implementation. In: Proc. of ICWS (2005)
25. Zheng, Y., Zhou, J., Krause, P.: An Automatic Test Case Generation Framework for Web Services. Journal of Software 2(3), 64-77 (2007)
26. García-Fanjul, J., Tuya, J., de la Riva, C.: Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN. In: Proc. of WS-MaTe (2006)
27. Frantzen, L., Huerta, M., Kiss, Z., Wallet, T.: On-The-Fly Model-Based Testing of Web Services with Jambition. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol. 5387, pp. 143-157. Springer, Heidelberg (2009)
28. Foster, H., Uchitel, S., Magee, J., Kramer, J.: WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography. In: Proc. of ICSE (2006)