Skip to main content
SpringerLink
Log in
Book cover

Service Research Challenges and Solutions for the Future Internet pp 209–270Cite as

Analytical Quality Assurance

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNCCN,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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  3. Ardagna, D., Pernici, B.: Adaptive service composition in flexible processes. IEEE Transactions on Software Engineering 33(6), 369–384 (2007)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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. 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. Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in reo by constraint automata. Sci. Comput. Program. 61(2), 75–113 (2006)

    Article  MathSciNet  Google Scholar 

  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. 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. Baresi, L., DiNitto, E.: Test and Analysis of Web Services. Springer, Heidelberg (2007)

    Book  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. 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. Bianculli, D., Ghezzi, C.: Monitoring Conversational Web Services. In: IW-SOSWE’07 (2007)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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. Canfora, G., di Penta, M.: Testing Services and Service-Centric Systems: Challenges and Opportunities. IT Professional 8(2), 10–17 (2006)

    Article  Google Scholar 

  26. Cardoso, J.: Complexity analysis of BPEL web processes. Software Process: Improvement and Practice 12(1), 35–49 (2007)

    Article  Google Scholar 

  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. 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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  30. Curbera, F.: Components contracts in Service-Oriented architectures. IEEE Computer 11, 74–80 (2007)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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. 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. 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. 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. Decker, G., Zaha, J.M., Dumas, M.: Execution semantics for service choreographies. In: WS-FM, pp. 163–177 (2006)

    Google Scholar 

  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)

    Article  Google Scholar 

  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. 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. 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. 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. 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. 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)

    Chapter  Google Scholar 

  44. Hankin, C., Nielson, F., Nielson, H.R.: Principles of Program Analysis, 2nd edn. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  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. 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. 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)

    Article  Google Scholar 

  48. Fisher, S.: Relational Model for Information and Monitoring. Technical Report GWD-GP-7-1, Global Grid Forum (2001)

    Google Scholar 

  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. 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. 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. 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. 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. 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. Ghezzi, C., Jazayeri, M., Mandrioli, D.: Fundamentals of Software Engineering. Prentice-Hall, Englewood Cliffs (1991)

    MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  58. Gilmore, S., Kloul, L.: A unified tool for performance modelling and prediction. Reliability Engineering and System Safety 89, 17–32 (2005)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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. Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual, 2003. Addison-Wesley Professional, Reading (Sept. 2003)

    Google Scholar 

  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. 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. 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)

    MATH  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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. 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. 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. 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. 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. Kazhamiakin, R.: Formal Analysis of Web Service Compositions. PhD thesis, University of Trento (2007)

    Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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. 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. 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. Luebke, D.: Unit Testing BPEL Compositions, pp. 149–171. Springer, Heidelberg (2007)

    Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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. 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. 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. 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)

    Chapter  Google Scholar 

  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. McGregor, J.D., Sykes, D.A.: A Practical Guide to Testing Object-oriented Software. Addison-Wesley Professional, Reading (2001)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Momm, C., Malec, R., Abeck, S.: Towards a Model-driven Development of Monitored Processes. Wirtschaftsinformatik 2 (2007)

    Google Scholar 

  97. Myers, G.J.: The Art of Software Testing. Wiley, Chichester (2004)

    Google Scholar 

  98. Nakajima, S.: Model-checking verification for reliable web service. In: OOPSLA Workshop on Object-Oriented Web Services (2002)

    Google Scholar 

  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. 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. 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. 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. Osterweil, L.J.: Strategic directions in software quality. ACM Comput. Surv. 28(4), 738–750 (1996)

    Article  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. Di Penta, M., Bruno, M., Esposito, G., Mazza, V., Canfora, G.: Web Services Regression Testing, pp. 205–234. Springer, Heidelberg (2007)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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. 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. 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. Rouached, M., Perrin, O., Godart, C.: Towards formal verification of web service composition. In: Business Process Management, pp. 257–273 (2006)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  116. Rud, D., Schmietendorf, A., Dumke, R.: Performance modeling of WS-BPEL-based web service compositions. scw 0, 140–147 (2006)

    Google Scholar 

  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. 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. 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. 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)

    Chapter  Google Scholar 

  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. 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)

    Article  Google Scholar 

  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. 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. 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. 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. 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. 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. 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. 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. 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. 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)

    Chapter  Google Scholar 

  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. 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)

    Article  Google Scholar 

  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. 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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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. 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. 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. 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. 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. 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. 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. 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)

    Article  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. Vonk, J., Grefen, P.: Cross-organizational transaction support for E-services in virtual enterprises. Distrib. Parallel. Dat. 14, 137–172 (2003)

    Article  Google Scholar 

  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. 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. 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. 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. 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 

Download references

Author information

Authors and Affiliations

  1. Universität Duisburg-Essen, Germany

    Andreas Metzger

  2. Université Claude Bernard, Lyon, 1, France

    Salima Benbernou

  3. Universidad Politécnica de Madrid, Spain

    Manuel Carro

  4. Institut National de Recherche en Informatique et Automatique (INRIA), France

    Maha Driss

  5. MTA Computer & Automation Research Institute (MTA-SZTAKI), Budapest, Hungary

    Gabor Kecskemeti

  6. Fondazione Bruno Kessler (FBK), Trento, Italy

    Raman Kazhamiakin

  7. University of Crete, Greece

    Kyriakos Krytikos

  8. Politecnico di Milano, Italy

    Andrea Mocci & Elisabetta Di Nitto

  9. University of Stuttgart, Germany

    Branimir Wetzstein

  10. Consiglio Nazionale delle Ricerche (CNR), Pisa, Italy

    Fabrizio Silvestri

Authors
  1. Andreas Metzger
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Salima Benbernou
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Manuel Carro
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Maha Driss
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Gabor Kecskemeti
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Raman Kazhamiakin
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Kyriakos Krytikos
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Andrea Mocci
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Elisabetta Di Nitto
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Branimir Wetzstein
    View author publications

    You can also search for this author in PubMed Google Scholar

  11. Fabrizio Silvestri
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. European Research Institute in Service Science (ERISS), Tilburg University, PO Box 90153, 5000 LE, Tilburg, The Netherlands

    Mike P. Papazoglou  & Michael Parkin  & 

  2. University of Duisburg-Essen, Germany

    Klaus Pohl

  3. Paluno (The Ruhr Institute for Software Technology), University Duisburg-Essen, 45127, Essen, Germany

    Andreas Metzger

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Metzger, A. et al. (2010). Analytical Quality Assurance. In: Papazoglou, M.P., Pohl, K., Parkin, M., Metzger, A. (eds) Service Research Challenges and Solutions for the Future Internet. Lecture Notes in Computer Science, vol 6500. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17599-2_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-17599-2_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-17598-5

  • Online ISBN: 978-3-642-17599-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation