Advertisement

Analytical Quality Assurance

  • Andreas Metzger
  • Salima Benbernou
  • Manuel Carro
  • Maha Driss
  • Gabor Kecskemeti
  • Raman Kazhamiakin
  • Kyriakos Krytikos
  • Andrea Mocci
  • Elisabetta Di Nitto
  • Branimir Wetzstein
  • Fabrizio Silvestri
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6500)

Abstract

As we described in Chapter 1, Services are often provisioned within short-term, volatile and highly dynamic (business) processes. These processes are designed in an abstract manner and when instantiated can involve service providers not known of during the design time of the service-based application. Thus, different from traditional software systems, service-based applications require the composition and coordination of services within highly distributed environments, cutting across the administrative boundaries of various organizations.

This chapter provides a review of quality contracts, or more generally, those parts of Service Level Agreements (SLAs) which deal with statements about the services quality levels on which the service requestor and the providers have reached an agreement. Aspects of the contracts, such as the identification of parties, legal obligations and penalties for contract violation, are not covered by this chapter.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Andreozzi, S., De Bortoli, N., Fantinel, S., Ghiselli, A., Rubini, G.L., Tortone, G., Vistoli, M.C.: GridICE: a monitoring service for grid systems. Future Generation Computer Systems 21(4), 559–571 (2005)CrossRefGoogle Scholar
  2. 2.
    Ankolekar, A., Paolucci, M., Sycara, K.: Towards a formal verification of OWL-S process models. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 37–51. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Ardagna, D., Pernici, B.: Adaptive service composition in flexible processes. IEEE Transactions on Software Engineering 33(6), 369–384 (2007)CrossRefGoogle Scholar
  4. 4.
    Ardissono, L., Furnari, R., Goy, A., Petrone, G., Segnan, M.: Fault tolerant web service orchestration by means of diagnosis. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol. 4344, pp. 2–16. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    Bai, X., Chen, Y., Shao, Z.: Adaptive web services testing. In: 31st Annual International Computer Software and Applications Conference (COMPSAC), vol. 2, pp. 233–236 (2007)Google Scholar
  6. 6.
    Bai, X., Xu, D., Dai, G., Tsai, W., Chen, Y.: Dynamic reconfigurable testing of service-oriented architecture. In: Proceedings of the 31st Annual International Computer Software and Applications Conference (COMPSAC), vol. 1, pp. 368–375 (2007)Google Scholar
  7. 7.
    Bai, X., Dai, G., Xu, D., Tsai, W.-T.: A multi-agent based framework for collaborative testing on Web services. In: The Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2006 and the 2006 Second International Workshop on Collaborative Computing, Integration, and Assurance.SEUS 2006/WCCIA 2006, p. 6 (2006)Google Scholar
  8. 8.
    Bai, X., Dong, W., Tsai, W.-T., Chen, Y.: WSDL-Based Automatic Test Case Generation for Web Services Testing. In: Proceedings of the IEEE International Workshop on Service-Oriented System Engineering (SOSE), pp. 215–220. IEEE Computer Society (2005)Google Scholar
  9. 9.
    Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in reo by constraint automata. Sci. Comput. Program. 61(2), 75–113 (2006)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Barbon, F., Traverso, P., Pistore, M., Trainotti, M.: Run-Time Monitoring of Instances and Classes of Web Service Compositions. In: IEEE International Conference on Web Services (ICWS 2006), pp. 63–71 (2006)Google Scholar
  11. 11.
    Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.: A Timed Extension of WSCoL. In: 2007 IEEE International Conference on Web Services (ICWS 2007), pp. 663–670 (2007)Google Scholar
  12. 12.
    Baresi, L., DiNitto, E.: Test and Analysis of Web Services. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  13. 13.
    Baresi, L., Ghezzi, C., Guinea, S.: Smart Monitors for Composed Services. In: Service-Oriented Computing - ICSOC 2004, Second International Conference, pp. 193–202 (2004)Google Scholar
  14. 14.
    Baresi, L., Guinea, S.: Towards Dynamic Monitoring of WS-BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 269–282. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  15. 15.
    Baresi, L., Guinea, S., Plebani, P.: WS-Policy for Service Monitoring. In: Technologies for E-Services, 6th International Workshop, TES 2005, pp. 72–83 (2005)CrossRefGoogle Scholar
  16. 16.
    Beeri, C., Eyal, A., Milo, T., Pilberg, A.: Monitoring Business Processes with Queries. In: Proceedings of the 33rd International Conference on Very Large Data Bases, pp. 603–614 (2007)Google Scholar
  17. 17.
    Benbernou, S., Meziane, H., Hacid, M.S.: Run-time monitoring for privacy-agreement compliance. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 353–364. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  18. 18.
    Bertolino, A., Polini, A.: The audition framework for testing Web services interoperability. In: Proceedings. 31st Euromicro Conference on Software Engineering and Advanced Applications, pp. 134–142 (2005)Google Scholar
  19. 19.
    Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web Service Interfaces. In: Proceeding of the International Conference on World Wide Web, WWW (2005)Google Scholar
  20. 20.
    Bianculli, D., Ghezzi, C.: Monitoring Conversational Web Services. In: IW-SOSWE’07 (2007)Google Scholar
  21. 21.
    Bianculli, D., Ghezzi, C., Spoletini, P.: A model checking approach to verify BPEL4WS workflows. In: Proceedings of the 2007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007), Newport Beach, USA, June 2007, pp. 13–20. IEEE Computer Society Press, Los Alamitos (2007)Google Scholar
  22. 22.
    Bruno, M., Canfora, G., Di Penta, M., Esposito, G., Mazza, V.: Using Test Cases as Contract to Ensure Service Compliance Across Releases. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 87–100. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  23. 23.
    Bryce, R.C., Chen, Y., Colbourn, C.J.: Biased covering arrays for progressive ranking and composition of Web Services. International Journal of Simulation and Process Modelling 3(1-2), 80–87 (2007)CrossRefGoogle Scholar
  24. 24.
    Canfora, G., di Penta, M.: SOA: Testing and Self-checking. In: Proceedings of International Workshop on Web Services - Modeling and Testing - WS-MaTE, pp. 3–12 (2006)Google Scholar
  25. 25.
    Canfora, G., di Penta, M.: Testing Services and Service-Centric Systems: Challenges and Opportunities. IT Professional 8(2), 10–17 (2006)CrossRefGoogle Scholar
  26. 26.
    Cardoso, J.: Complexity analysis of BPEL web processes. Software Process: Improvement and Practice 12(1), 35–49 (2007)CrossRefGoogle Scholar
  27. 27.
    Castellanos, M., Casati, F., Shan, M.-C., Dayal, U.: iBOM: A Platform for Intelligent Business Operation Management. In: ICDE ’05: Proceedings of the 21st International Conference on Data Engineering, pp. 1084–1095 (2005)Google Scholar
  28. 28.
    Chan, W.K., Cheung, S.C., Leung, K.R.P.H.: A metamorphic testing approach for online testing of service-oriented software applications. International Journal of Web Services Research 4(2), 61–81 (2007)CrossRefGoogle Scholar
  29. 29.
    Chowdhary, P., Bhaskaran, K., Caswell, N.S., Chang, H., Chao, T., Chen, S.-K., Dikun, M., Lei, H., Jeng, J.-J., Kapoor, S., Lang, C.A., Mihaila, G., Stanoi, I., Zeng, L.: Model Driven Development for Business Performance Management. IBM Syst. J. 45(3), 587–605 (2006)CrossRefGoogle Scholar
  30. 30.
    Curbera, F.: Components contracts in Service-Oriented architectures. IEEE Computer 11, 74–80 (2007)CrossRefGoogle Scholar
  31. 31.
    Curbera, F., Duftler, M.J., Khalaf, R., Nagy, W., Mukhi, N., Weerawarana, S.: Colombo: Lightweight Middleware for Service-Oriented Computing. IBM Systems Journal 44(4), 799–820 (2005)CrossRefGoogle Scholar
  32. 32.
    Czajkowski, K., Fitzgerald, S., Foster, I., Kesselman, C.: Grid Information Services for Distributed Resource Sharing. In: 10th IEEE International Symposium on High Performance Distributed Computing (HPDC-10 2001), pp. 181–194 (2001)Google Scholar
  33. 33.
    Dai, G., Bai, X., Wang, Y., Dai, F.: Contract-based testing for web services. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), vol. 1, pp. 517–524 (2007)Google Scholar
  34. 34.
    Davulcu, H., Kifer, M., Ramakrishnan, I.V.: CTR-S: A Logic for Specifying Contracts in Semantic Web Services. In: Proceeding of the International Conference on World Wide Web (WWW), pp. 144–153 (2004)Google Scholar
  35. 35.
    Júnior de Almeida, L.F., Vergilio, S.R.: Exploring Perturbation Based Testing for Web Services. In: IEEE International Conference on Web Services (ICWS), pp. 717–726 (2006)Google Scholar
  36. 36.
    Decker, G., Zaha, J.M., Dumas, M.: Execution semantics for service choreographies. In: WS-FM, pp. 163–177 (2006)Google Scholar
  37. 37.
    Delgado, N., Gates, A.Q., Roach, S.: A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Trans. Software Eng. 30(12), 859–872 (2004)CrossRefGoogle Scholar
  38. 38.
    Deutsch, A., Sui, L., Vianu, V., Zhou, D.: Verification of Communicating Data-driven Web Services. In: Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pp. 90–99 (2006)Google Scholar
  39. 39.
    Devaurs, D., Musaraj, K., De Marchi, F., Hacid, M.-S.: Timed Transition Discovery from Web Service conversation Logs. In: 20th International Conference on Advanced Information Systems Engineering, CAISE’08 (2008)Google Scholar
  40. 40.
    Di Penta, M., Canfora, G., Esposito, G., Mazza, V., Bruno, M.: Search-based Testing of Service Level Agreements. In: Proceedings of the Conference on Genetic and Evolutionary Computation – GECCO, pp. 1090–1097. ACM Press, New York (2007)Google Scholar
  41. 41.
    Dong, W.-L., Yu, H., Zhang, Y.-B.: Testing BPEL-based Web Service Composition Using High-level Petri Nets. In: EDOC ’06: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference, pp. 441–444. IEEE Computer Society (2006)Google Scholar
  42. 42.
    Duan, Z., Bernstein, A.J., Lewis, P.M., Lu, S.: Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes. In: Proceeding of the International Conference on Web Services (ICWS), pp. 734–737 (2004)Google Scholar
  43. 43.
    Dustdar, S., Haslinger, S.: Testing of service-oriented architectures – A practical approach. In: Weske, M., Liggesmeyer, P. (eds.) NODe 2004. LNCS, vol. 3263, pp. 97–109. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  44. 44.
    Hankin, C., Nielson, F., Nielson, H.R.: Principles of Program Analysis, 2nd edn. Springer, Heidelberg (2005)zbMATHGoogle Scholar
  45. 45.
    Farahbod, R., Glässer, U., Vajihollahi, M.: Specification and validation of the business process execution language for web services. In: Abstract State Machines, pp. 78–94 (2004)Google Scholar
  46. 46.
    Farrell, A., Sergot, M., Bartolini, C., Salle, M., Trastour, D., Christodoulou, A.: Using the Event Calculus for the Performance Monitoring of Service-Level Agreements for Utility Computing. In: Proceedings of First IEEE International Workshop on Electronic Contracting, WEC 2004 (2004)Google Scholar
  47. 47.
    Ferrari, G.-L., Gnesi, S., Montanari, U., Pistore, M.: A model-checking verification environment for mobile processes. ACM Trans. Softw. Eng. Methodol. 12(4), 440–473 (2003)CrossRefGoogle Scholar
  48. 48.
    Fisher, S.: Relational Model for Information and Monitoring. Technical Report GWD-GP-7-1, Global Grid Forum (2001)Google Scholar
  49. 49.
    Foster, H., Uchitel, S., Magee, J., Kramer, J.: Compatibility verification for web service choreography. In: ICWS ’04: Proceedings of the IEEE International Conference on Web Services, Washington, DC, USA, p. 738. IEEE Computer Society (2004)Google Scholar
  50. 50.
    Foster, H., Uchitel, S., Magee, J., Kramer, J.: LTSA-WS: a tool for model-based verification of web service compositions and choreography. In: ICSE ’06: Proceedings of the 28th international conference on Software engineering, New York, NY, USA, pp. 771–774. ACM (2006)Google Scholar
  51. 51.
    Foster, I., Kishimoto, H., Savva, A., Berry, D., Djaoui, A., Grimshaw, A., Horn, B., Maciel, F., Siebenlist, F., Subramaniam, R., Treadwell, J., von Reich, J.: The Open Grid Services Architecture, Version 1.0. Technical Report GFD-I.030, Global Grid Forum (January 2005)Google Scholar
  52. 52.
    Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proceedings of the 13th International World Wide Web Conference, WWW’04 (2004)Google Scholar
  53. 53.
    Fugini, M.G., Pernici, B., Ramoni, F.: Quality analysis of composed services through fault injection. Information System Frontiers, Special Issue on Collaborative Business Processes (in press)Google Scholar
  54. 54.
    Garcia-Fanjul, J., de la Riva, C., Tuya, J.: Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking. In: TAIC-PART ’06: Proceedings of the Testing: Academic & Industrial Conference on Practice And Research Techniques, pp. 127–130. IEEE Computer Society (2006)Google Scholar
  55. 55.
    Ghezzi, C., Jazayeri, M., Mandrioli, D.: Fundamentals of Software Engineering. Prentice-Hall, Englewood Cliffs (1991)zbMATHGoogle Scholar
  56. 56.
    Ghezzi, C., Guinea, S.: Run-Time Monitoring in Service-Oriented Architectures. In: Baresi, L., Di Nitto, E. (eds.) Test and Analysis of Web Services, pp. 237–264. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  57. 57.
    Gilmore, S., Haenel, V., Kloul, L., Maidl, M.: Choreographing security and performance analysis for web services. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 200–214. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  58. 58.
    Gilmore, S., Kloul, L.: A unified tool for performance modelling and prediction. Reliability Engineering and System Safety 89, 17–32 (2005)CrossRefGoogle Scholar
  59. 59.
    Günther, C.W., van der Aalst, W.M.P.: Fuzzy Mining – Adaptive Process Simplification Based on Multi-perspective Metrics. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 328–343. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  60. 60.
    Hanna, S., Munro, M.: An approach for specification-based test case generation for Web services. In: IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2007, pp. 16–23 (2007)Google Scholar
  61. 61.
    Heckel, R., Lohmann, M.: Towards Contract-based Testing of Web Services. In: Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004). Electronic Notes in Theoretical Computer Science, vol. 116, pp. 145–156. Elsevier B.V., Amsterdam (2005)Google Scholar
  62. 62.
    Heckel, R., Mariani, L.: Automatic conformance testing of web services. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 34–48. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  63. 63.
    Henzinger, T.A., Jhala, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: POPL ’02: Proceedings of the 29th ACM SIGPLAN-SIGACT Annual Symposium on Principles of Programming Languages, Portland, Oregon, USA, pp. 58–70. ACM (2002)Google Scholar
  64. 64.
    Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual, 2003. Addison-Wesley Professional, Reading (Sept. 2003)Google Scholar
  65. 65.
    Huang, H., Tsai, W.-T., Paul, R., Chen, Y.: Automated Model Checking and Testing for Composite Web Services. In: 8th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), pp. 300–307. IEEE Computer Society (2005)Google Scholar
  66. 66.
    Jeng, J.-J., Schiefer, J., Chang, H.: An Agent-based Architecture for Analyzing Business Processes of Real-Time Enterprises. In: EDOC ’03: Proceedings of the 7th International Conference on Enterprise Distributed Object Computing, p. 86 (2003)Google Scholar
  67. 67.
    Jensen, K. (ed.): Coloured Petri Nets – Basic concepts, analysis methods and practical use, vol. 1, 2nd edn. Monographs in Theoretical Computer Science. Springer, Heidelberg (1997)zbMATHGoogle Scholar
  68. 68.
    Karam, M., Safa, H., Artail, H.: An abstract workflow-based framework for testing composed web services. In: International Conference on Computer Systems and Applications (AICCSA), pp. 901–908 (2007)Google Scholar
  69. 69.
    Kazhamiakin, R., Pandya, P.K., Pistore, M.: Representation, Verification, and Computation of Timed Properties in Web Service Compositions. In: Proceeding of the International Conference on Web Services (ICWS), pp. 497–504 (2006)Google Scholar
  70. 70.
    Kazhamiakin, R., Pistore, M.: Analysis of Realizability Conditions for Web Service Choreographies. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 61–76. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  71. 71.
    Kazhamiakin, R., Pistore, M.: Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. In: Proceedings of the International Workshon on Web Services and Formal Methods (WS-FM), pp. 227–241 (2006)Google Scholar
  72. 72.
    Kazhamiakin, R., Pistore, M.: Static Verification of Control and Data in Web Service Compositions. In: Proceeding of the International Conference on Web Services, ICWS (2006)Google Scholar
  73. 73.
    Kazhamiakin, R., Pistore, M., Roveri, M.: Formal Verification of Requirements using SPIN: A Case Study on Web Services. In: Proceedings of the International Conference on Software Engineering and Formal Methods (SEFM), pp. 406–415 (2004)Google Scholar
  74. 74.
    Kazhamiakin, R., Pistore, M., Roveri, M.: A Framework for Integrating Business Processes and Business Requirements. In: Proceedings of the International Enterprise Distributed Object Computing Conference (EDOC), pp. 9–20 (2004)Google Scholar
  75. 75.
    Kazhamiakin, R., Pistore, M., Santuari, L.: Analysis of Communication Models in Web Service Compositions. In: Proceeding of the International Conference on World Wide Web, WWW (2006)Google Scholar
  76. 76.
    Kazhamiakin, R.: Formal Analysis of Web Service Compositions. PhD thesis, University of Trento (2007)Google Scholar
  77. 77.
    Keller, A., Ludwig, H.: The WSLA framework: Specifying and monitoring service level agreements for web services. Journal of Network and Systems Management 11(1), 57–81 (2003)CrossRefGoogle Scholar
  78. 78.
    Keum, C., Kang, S., Ko, I.-Y., Baik, J., Choi, Y.-I.: Generating test cases for web services using extended finite state machine. In: Uyar, M.Ü., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol. 3964, pp. 103–117. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  79. 79.
    Kloukinas, C., Spanoudakis, G.: A pattern-driven framework for monitoring security and dependability. In: Lambrinoudakis, C., Pernul, G., Tjoa, A.M. (eds.) TrustBus. LNCS, vol. 4657, pp. 210–218. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  80. 80.
    Koshkina, M., van Breugel, F.: Modelling and verifying web service orchestration by means of the concurrency workbench. SIGSOFT Softw. Eng. Notes 29(5), 1–10 (2004)CrossRefGoogle Scholar
  81. 81.
    Lazovik, A., Aiello, M., Papazoglou, M.P.: Associating Sssertions with Business Processes and Monitoring their Execution. In: Service-Oriented Computing - ICSOC 2004, Second International Conference, pp. 94–104 (2004)Google Scholar
  82. 82.
    Lohmann, M., Mariani, L., Heckel, R.: A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services, pp. 173–204. Springer, Heidelberg (2007)Google Scholar
  83. 83.
    Ludwig, H., Dan, A., Kearney, R.: Cremona: An Architecture and Library for Creation and Monitoring of WS-Agreements. In: Service-Oriented Computing - ICSOC 2004, Second International Conference, pp. 65–74 (2004)Google Scholar
  84. 84.
    Luebke, D.: Unit Testing BPEL Compositions, pp. 149–171. Springer, Heidelberg (2007)Google Scholar
  85. 85.
    Luo, N., Yan, J., Liu, M.: Towards efficient verification for process composition of semantic web services. In: IEEE SCC, pp. 220–227. IEEE Computer Society (2007)Google Scholar
  86. 86.
    Mahbub, K., Spanoudakis, G.: Run-time Monitoring of Requirements for Systems Composed of Web Services: Initial Implementation and Evaluation Experience. In: 2005 IEEE International Conference on Web Services (ICWS 2005), pp. 257–265 (2005)Google Scholar
  87. 87.
    Mahbub, K., Spanoudakis, G.: Monitoring WS-Agreements: An Event Calculus-Based Approach. In: Baresi, L., Di Nitto, E. (eds.) Test and Analysis of Web Services, pp. 265–306. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  88. 88.
    Martin, E., Basu, S., Xie, T.: Automated Robustness Testing of Web Services. In: Proc. 4th International Workshop on SOA And Web Services Best Practices, SOAWS 2006 (2006)Google Scholar
  89. 89.
    Martin, E., Basu, S., Xie, T.: Automated Testing and Response Analysis of Web Services. In: IEEE International Conference on Web Services (ICWS), pp. 647–654 (2007)Google Scholar
  90. 90.
    Martin, E., Basu, S., Xie, T.: WebSob: A tool for robustness testing of web services. In: Companion to the proceedings of the 29th International Conference on Software Engineering (ICSE), pp. 65–66 (2007)Google Scholar
  91. 91.
    Marzolla, M., Mirandola, R.: Performance prediction of web service workflows. In: Overhage, S., Szyperski, C., Reussner, R., Stafford, J.A. (eds.) QoSA 2007. LNCS, vol. 4880, pp. 127–144. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  92. 92.
    Mayer, P., Luebke, D.: Towards a BPEL unit testing framework. In: Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications, TAV WEB’06, volume 2006, pp. 33–42 (2006)Google Scholar
  93. 93.
    McGregor, J.D., Sykes, D.A.: A Practical Guide to Testing Object-oriented Software. Addison-Wesley Professional, Reading (2001)Google Scholar
  94. 94.
    Mecella, M., Parisi Presicce, F., Pernici, B.: Modeling E-service orchestration through petri nets. In: Buchmann, A., Casati, F., Fiege, L., Hsu, M.-C., Shan, M.-C. (eds.) TES 2002. LNCS, vol. 2444, pp. 38–47. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  95. 95.
    Mei, H., Zhang, L.: A Framework for Testing Web Services and Its Supporting Tool. In: SOSE ’05: Proceedings of the IEEE International Workshop, pp. 207–214. IEEE Computer Society (2005)Google Scholar
  96. 96.
    Momm, C., Malec, R., Abeck, S.: Towards a Model-driven Development of Monitored Processes. Wirtschaftsinformatik 2 (2007)Google Scholar
  97. 97.
    Myers, G.J.: The Art of Software Testing. Wiley, Chichester (2004)Google Scholar
  98. 98.
    Nakajima, S.: Model-checking verification for reliable web service. In: OOPSLA Workshop on Object-Oriented Web Services (2002)Google Scholar
  99. 99.
    Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: WWW ’02: Proceedings of the 11th international conference on World Wide Web, Honolulu, Hawaii, USA, pp. 77–88. ACM (2002)Google Scholar
  100. 100.
    Newman, H.B., Legrand, I.C., Galvez, P., Voicu, R.: MonALISA: A Distributed Monitoring Service Architecture. In: International Conference on Computing in High Energy Physics, CHEP2003 (2003)Google Scholar
  101. 101.
    Nezhad, H.R.M., Saint-Paul, R., Benatallah, B., Casati, F.: Deriving Protocol Models from Imperfect Service Conversation Logs. In: IEEE Transactions on Knowledge and Data Engineering (TKDE), to appear (2008)Google Scholar
  102. 102.
    Offutt, J., Xu, W.: Generating Test Cases for Web Services Using Data Perturbation. In: Workshop on Testing, Analysis and Verification of Web Services (2004)Google Scholar
  103. 103.
    Osterweil, L.J.: Strategic directions in software quality. ACM Comput. Surv. 28(4), 738–750 (1996)CrossRefGoogle Scholar
  104. 104.
    Ouyang, C., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M., Verbeek, H.M.W.: Formal Semantics and Analysis of Control Flow in WS-BPEL. Technical report, BPMcenter.org, BPM Center Report BPM-05-15 (2005)Google Scholar
  105. 105.
    Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: WofBPEL: A tool for automated analysis of BPEL processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 484–489. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  106. 106.
    Paradkar, A.M., Sinha, A., Williams, C., Johnson, R.D., Outterson, S., Shriver, C., Liang, C.: Automated Functional Conformance Test Generation for Semantic Web Services. In: IEEE International Conference on Web Services, ICWS 2007, pp. 110–117 (2007)Google Scholar
  107. 107.
    Di Penta, M., Bruno, M., Esposito, G., Mazza, V., Canfora, G.: Web Services Regression Testing, pp. 205–234. Springer, Heidelberg (2007)Google Scholar
  108. 108.
    Pistore, M., Traverso, P.: Assumption-Based Composition and Monitoring of Web Services. In: Baresi, L., Di Nitto, E. (eds.) Test and Analysis of Web Services, pp. 307–335. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  109. 109.
    Radha Krishna, P., Karlapalem, K., Chiu, D.K.W.: An ER EC framework for e-contract modeling, enactment, and monitoring. Data Knowl. Eng. 51, 31–58 (2004)CrossRefGoogle Scholar
  110. 110.
    Ramsokul, P., Sowmya, A., Ramesh, S.: A test bed for web services protocols. In: Second International Conference on Internet and Web Applications and Services, ICIW (2007)Google Scholar
  111. 111.
    Rosario, S., Beneveniste, A., Haar, S., Jard, C.: Probablistic QoS and soft contracts for transaction based web services. In: IEEE ICWS, pp. 126–133 (2007)Google Scholar
  112. 112.
    Roth, H., Schiefer, J., Schatten, A.: Probing and Monitoring of WSBPEL Processes with Web Services. In: CEC-EEE ’06: Proceedings of the The 8th IEEE International Conference on E-Commerce Technology and The 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services, p. 30 (2006)Google Scholar
  113. 113.
    Rouached, M., Perrin, O., Godart, C.: Towards formal verification of web service composition. In: Business Process Management, pp. 257–273 (2006)Google Scholar
  114. 114.
    Rozinat, A., van der Aalst, W.M.P.: Conformance testing: Measuring the fit and appropriateness of event logs and process models. In: Bussler, C., Haller, A. (eds.) Business Process Management Workshops, pp. 163–176 (2006)CrossRefGoogle Scholar
  115. 115.
    Rozinatand, A., van der Aalst, W.M.P.: Conformance Checking of Processes Based on Monitoring Real Behavior. Inf. Syst. 33(1), 64–95 (2008)CrossRefGoogle Scholar
  116. 116.
    Rud, D., Schmietendorf, A., Dumke, R.: Performance modeling of WS-BPEL-based web service compositions. scw 0, 140–147 (2006)Google Scholar
  117. 117.
    Ruth, M., Oh, S., Loup, A., Horton, B., Gallet, O., Mata, M., Tu, S.: Towards automatic regression test selection for web services. In: Proceedings of the 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), vol. 2, pp. 729–734 (2007)Google Scholar
  118. 118.
    Ruth, M., Tu, S.: A safe regression test selection technique for Web services. In: Second International Conference on Internet and Web Applications and Services, ICIW (2007)Google Scholar
  119. 119.
    Ruth, M.E.: Concurrency in a decentralized automatic regression test selection framework for web services. In: MG ’08: Proceedings of the 15th ACM Mardi Gras conference, pp. 1–8. ACM (2008)Google Scholar
  120. 120.
    Sahai, A., Machiraju, V., Sayal, M., van Moorsel, A.P.A., Casati, F.: Automated SLA Monitoring for Web Services. In: Feridun, M., Kropf, P.G., Babin, G. (eds.) DSOM 2002. LNCS, vol. 2506, pp. 28–41. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  121. 121.
    Salaün, G., Bordeaux, L., Schaerf, M.: Describing and reasoning on web services using process algebra. In: ICWS ’04: Proceedings of the IEEE International Conference on Web Services, Washington, DC, USA, IEEE Computer Society (2004)Google Scholar
  122. 122.
    Schieferdecker, I., Din, G., Apostolidis, D.: Distributed functional and load tests for Web services. International Journal on Software Tools for Technology Transfer 7(4), 351–360 (2005)CrossRefGoogle Scholar
  123. 123.
    Schlingloff, B.-H., Martens, A., Schmidt, K.: Modeling and model checking web services. In: Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, vol. 126, Elsevier, Amsterdam (2005)Google Scholar
  124. 124.
    Sen, S., Baudry, B., Mottu, J.-M.: On combining mullti-formalism knowledge to select test models for model transformaion testing. In: ACM/IEEE International Conference on Software Testing, Lillehammer, Norway (April 2008)Google Scholar
  125. 125.
    Sharygina, N., Krning, D.: Model checking with abstraction for web services. In: Test and Analysis of Web Services, pp. 121–145 (2007)Google Scholar
  126. 126.
    Siblini, R., Mansour, N.: Testing Web services. In: ACS/IEEE 2005 International Conference on Computer Systems and Applications (AICCSA), p. 135. IEEE Computer Society (2005)Google Scholar
  127. 127.
    Sinha, A., Paradkar, A.: Model-based functional conformance testing of Web services operating on persistent data. In: Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications, vol. 2006, pp. 17–22 (2006)Google Scholar
  128. 128.
    Sneed, H.M., Huang, S.: WSDLTest - A tool for testing web services. In: Proceedings of the Eighth IEEE International Symposium on Web Site Evolution (WSE’06), pp. 14–21 (2006)Google Scholar
  129. 129.
    Spanoudakis, G., Kloukinas, C., Androutsopoulos, K.: Towards security monitoring patterns. In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), pp. 1518–1525 (2007)Google Scholar
  130. 130.
    Spanoudakis, G., Mahbub, K.: Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus. In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), Linz, Austria, 20-25 September 2004, pp. 379–384 (2004)Google Scholar
  131. 131.
    Tang, Y., Chen, L., He, K.T., Jing, N.: SRN: An Extended Petri-Net-Based Workflow Model for Web Service Composition. In: Proceeding of the International Conference on Web Services (ICWS), pp. 591–599 (2004)Google Scholar
  132. 132.
    Tarhini, A., Fouchal, H., Mansour, N.: A simple approach for testing web service based applications. In: Bui, A., Bui, M., Böhme, T., Unger, H. (eds.) IICS 2005. LNCS, vol. 3908, pp. 134–146. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  133. 133.
    Tierney, B., Aydt, R.A., Gunter, D., Smith, W., Taylor, V., Wolski, R., Swany, M.: A Grid Monitoring Architecture. Informational Document GFD-I.7, Global Grid Forum (January 2002)Google Scholar
  134. 134.
    Truong, H.-L., Fahringer, T.: SCALEA-G: a Unified Monitoring and Performance Analysis System for the Grid. Scientific Programming (AxGrids 2004 Special Issue) 12(4), 225–237 (2004)CrossRefGoogle Scholar
  135. 135.
    Tsai, W., Chen, Y., Paul, R., Huang, H., Zhou, X., Wei, X.: Adaptive testing, oracle generation, and test case ranking for web services. In: 29th Annual International Computer Software and Applications Conference (COMPSAC), vol. 1, pp. 101–106 (2005)Google Scholar
  136. 136.
    Tsai, W., Wei, X., Chen, Y., Paul, R., Xiao, B.: Swiss cheese test case generation for web services testing. IEICE Transactions on Information and Systems, E88-D(12):2691–2698 (2005)CrossRefGoogle Scholar
  137. 137.
    Tsai, W.-T., Chen, Y., Cao, Z., Bai, X., Huang, H., Paul, R.: Testing web services using progressive group testing. In: Chi, C.-H., Lam, K.-Y. (eds.) AWCC 2004. LNCS, vol. 3309, pp. 314–322. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  138. 138.
    Tsai, W.T., Paul, R., Yu, L., Saimi, A., Cao, Z.: Scenario-Based Web Services Testing with Distributed Agents. IEICE Transaction on Information and System, E86-D(10):2130–2144 (2003)Google Scholar
  139. 139.
    Tsai, W.T., Paul, R., Wang, Y., Fan, C., Wang, D.: Extending WSDL to Facilitate Web Services Testing. In: 7th IEEE International Symposium on High Assurance Systems Engineering (HASE’02), vol. 00, p. 171. IEEE Computer Society (2002)Google Scholar
  140. 140.
    Tsai, W.T., Wei, X., Chen, Y., Paul, R.: A Robust Testing Framework for Verifying Web Services by Completeness and Consistency Analysis. In: SOSE ’05: Proceedings of the IEEE International Workshop, pp. 159–166. IEEE Computer Society (2005)Google Scholar
  141. 141.
    Tsai, W.T., Wei, X., Chen, Y., Xiao, B., Paul, R., Huang, H.: Developing and assuring trustworthy web services. In: ISADS 2005: Proceedings of the 7th International Symposium on Autonomous Decentralized Systems, Chengdu, China, 2005, pp. 43–50. IEEE Computer Society, Google Scholar
  142. 142.
    Tsai, W.T., Zhang, D., Paul, R., Chen, Y.: Stochastic Voting Algorithms for Web Services Group Testing. In: QSIC ’05: Proceedings of the Fifth International Conference on Quality Software, pp. 99–108. IEEE Computer Society (2005)Google Scholar
  143. 143.
    Tsai, W.-T., Paul, R.A., Song, W., Cao, Z.: Coyote: An XML-Based Framework for Web Services Testing. In: Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering (HASE), pp. 173–176 (2002)Google Scholar
  144. 144.
    Tsai, W.T., Bai, X., Chen, Y., Zhou, X.: Web Service Group Testing with Windowing Mechanisms. In: IEEE International Workshop on Service-Oriented System Engineering (SOSE), pp. 213–218 (2005)Google Scholar
  145. 145.
    Tsai, W.T., Chen, Y., Paul, R., Liao, N., Huang, H.: Cooperative and Group Testing in Verification of Dynamic Composite Web Services. In: Workshop on Quality Assurance and Testing of Web-Based Applications, in conjunction with COMPSAC, pp. 170–173 (2004)Google Scholar
  146. 146.
    van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using petri-net-based techniques. In: Business Process Management, pp. 161–183 (2000)Google Scholar
  147. 147.
    van der Aalst, W.M.P., de Medeiros, A.K.A.: Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance. Electr. Notes Theor. Comput. Sci. 121, 3–21 (2005)CrossRefGoogle Scholar
  148. 148.
    van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.): BPM 2003. LNCS, vol. 2678. Springer, Heidelberg (2003)Google Scholar
  149. 149.
    van Dongen, B.F., de Medeiros, A.K.A., Verbeek, H.M.W(E.), Weijters, A.J.M.M.T., van der Aalst, W.M.P.: The proM framework: A new era in process mining tool support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 444–454. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  150. 150.
    Verbeek, H.M.W., van der Aalst, W.M.P.: Analyzing BPEL Processes using Petri Nets. In: Proceedings of the 2nd International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, pp. 59–78 (2005)Google Scholar
  151. 151.
    Vonk, J., Grefen, P.: Cross-organizational transaction support for E-services in virtual enterprises. Distrib. Parallel. Dat. 14, 137–172 (2003)CrossRefGoogle Scholar
  152. 152.
    Wang, Y., Bai, X., Li, J., Huang, R.: Ontology-based test case generation for testing web services. In: Proceedings of the Eighth International Symposium on Autonomous Decentralized Systems, pp. 43–50 (2007)Google Scholar
  153. 153.
    Wombacher, A., Fankhauser, P., Neuhold, E.: Transforming BPEL into annotated deterministic finite state automata for service discovery. In: ICWS ’04: Proceedings of the IEEE International Conference on Web Services, Washington, DC, USA, p. 316. IEEE Computer Society (2004)Google Scholar
  154. 154.
    Xu, W., Offutt, J., Luo, J.: Testing Web services by XML perturbation. In: Proceedings. 16th IEEE International Symposium on Software Reliability Engineering, p. 10 (2006)Google Scholar
  155. 155.
    Yi, X., Kochut, K.J.: A CP-nets-based Design and Verification Framework for Web Services Composition. In: Proceeding of the International Conference on Web Services (ICWS), p. 756 (2004)Google Scholar
  156. 156.
    Zannier, C., Melnik, G., Maurer, F.: On the success of empirical studies in the international conference on software engineering. In: ICSE ’06: Proceedings of the 28th international conference on Software engineering, New York, NY, USA, pp. 341–350. ACM (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Andreas Metzger
    • 1
  • Salima Benbernou
    • 2
  • Manuel Carro
    • 3
  • Maha Driss
    • 4
  • Gabor Kecskemeti
    • 5
  • Raman Kazhamiakin
    • 6
  • Kyriakos Krytikos
    • 7
  • Andrea Mocci
    • 8
  • Elisabetta Di Nitto
    • 8
  • Branimir Wetzstein
    • 9
  • Fabrizio Silvestri
    • 10
  1. 1.Universität Duisburg-EssenGermany
  2. 2.Université Claude BernardLyonFrance
  3. 3.Universidad Politécnica de MadridSpain
  4. 4.Institut National de Recherche en Informatique et Automatique (INRIA)France
  5. 5.MTA Computer & Automation Research Institute (MTA-SZTAKI)BudapestHungary
  6. 6.Fondazione Bruno Kessler (FBK)TrentoItaly
  7. 7.University of CreteGreece
  8. 8.Politecnico di MilanoItaly
  9. 9.University of StuttgartGermany
  10. 10.Consiglio Nazionale delle Ricerche (CNR)Pisa

Personalised recommendations