Towards a Quality Model for Choreography

  • Michele Mancioppi
  • Mikhail Perepletchikov
  • Caspar Ryan
  • Willem-Jan van den Heuvel
  • Mike P. Papazoglou
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6275)


Quality attributes of software products like maintainability and reliability have been widely studied in the Software Engineering literature. Their understanding has proven instrumental for developing best practices and tooling support that ultimately result in higher-quality software.

In this paper we investigate external quality attributes (i.e. aspects of quality visible to the end user) of service choreographies. Service choreographies are service compositions that specify completely distributed, message-based interactions among services. Our work is a first step towards the definition of a quality model for service choreographies.


Quality Attribute Quality Model Service Composition Service Orient Architecture Message Exchange 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Su, J., Bultan, T., Fu, X., Zhao, X.: Towards a theory of web service choreographies. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 1–16. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  2. 2.
    ISO/EIC 9126-1:2001: Software engineering – Product quality – Part 1: Quality model. International Organization for Standardization, Geneva, Switzerland (2001)Google Scholar
  3. 3.
    Perepletchikov, M., Ryan, C., Frampton, K., Schmidt, H.W.: Formalising service-oriented design. JSW 3(2), 1–14 (2008)CrossRefGoogle Scholar
  4. 4.
    Henry, S.M., Selig, C.: Predicting source-code complexity at the design stage. IEEE Software 7(2), 36–44 (1990)CrossRefGoogle Scholar
  5. 5.
    Briand, L.C., Wüst, J., Daly, J.W., Porter, D.V.: A comprehensive empirical validation of design measures for object-oriented systems. In: IEEE METRICS, pp. 246–257. IEEE Computer Society, Los Alamitos (1998)Google Scholar
  6. 6.
    Alshayeb, M., Li, W.: An empirical validation of object-oriented metrics in two different iterative software processes. IEEE Trans. Software Eng. 29(11), 1043–1049 (2003)CrossRefGoogle Scholar
  7. 7.
    Perepletchikov, M., Ryan, C., Frampton, K.: Cohesion metrics for predicting maintainability of service-oriented software. In: QSIC, pp. 328–335. IEEE Computer Society, Los Alamitos (2007)Google Scholar
  8. 8.
    Perepletchikov, M., Ryan, C., Frampton, K., Tari, Z.: Coupling metrics for predicting maintainability in service-oriented designs. In: ASWEC, pp. 329–340. IEEE Computer Society, Los Alamitos (2007)Google Scholar
  9. 9.
    Decker, G.: Design and analysis of process choreographies. PhD thesis, Hasso Plattner Institute, University of Potsdam (June 2009)Google Scholar
  10. 10.
    Decker, G., Riegen, M.V.: Scenarios and techniques for choreography design. In: Abramowicz, W. (ed.) BIS 2007. LNCS, vol. 4439, pp. 121–132. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  11. 11.
    Decker, G., Kopp, O., Barros, A.P.: An introduction to service choreographies (Servicechoreographien - eine Einführung). it - Information Technology 50(2), 122–127 (2008)CrossRefGoogle Scholar
  12. 12.
    Mendling, J., Hafner, M.: From inter-organizational workflows to process execution: Generating BPEL from WS-CDL. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2005. LNCS, vol. 3762, pp. 506–515. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  13. 13.
    Wieczorek, S., Roth, A., Stefanescu, A., Charfi, A.: Precise steps for choreography modeling for SOA validation and verification. In: SOSE, pp. 148–153. IEEE Computer Society, Los Alamitos (2008)Google Scholar
  14. 14.
    Kopp, O., van Lessen, T., Nitzsche, J.: The need for a choreography-aware service bus. In: YR-SOC 2008, pp. 28–34 (June 2008) (Online)Google Scholar
  15. 15.
    Zaha, J.M., Barros, A.P., Dumas, M., ter Hofstede, A.H.M.: Let’s Dance: A language for service behavior modeling. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 145–162. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  16. 16.
    Kazhamiakin, R., Pandya, P.K., Pistore, M.: Timed modelling and analysis in web service compositions. In: ARES, pp. 840–846. IEEE Computer Society, Los Alamitos (2006)Google Scholar
  17. 17.
    Mancioppi, M., Carro, M., van den Heuvel, W.J., Papazoglou, M.P.: Sound multi-party business protocols for service networks. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 302–316. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  18. 18.
    Lohmann, N., Kopp, O., Leymann, F., Reisig, W.: Analyzing BPEL4Chor: Verification and participant synthesis. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 46–60. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  19. 19.
    Qiu, Z., Zhao, X., Cai, C., Yang, H.: Towards the theoretical foundation of choreography. In: WWW, pp. 973–982. ACM, New York (2007)CrossRefGoogle Scholar
  20. 20.
    Ponge, J., Benatallah, B., Casati, F., Toumani, F.: Fine-grained compatibility and replaceability analysis of timed web service protocols. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 599–614. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  21. 21.
    Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying the conformance of web services to global interaction protocols: A first step. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 257–271. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  22. 22.
    Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 63–81. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  23. 23.
    Fu, X., Bultan, T., Su, J.: Realizability of conversation protocols with message contents. Int. J. Web Service Res. 2(4), 68–93 (2005)CrossRefGoogle Scholar
  24. 24.
    Salaün, G., Bultan, T.: Realizability of choreographies using process algebra encodings. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 167–182. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  25. 25.
    Ran, S.: A model for web services discovery with QoS. SIGecom Exchanges 4(1), 1–10 (2003)CrossRefGoogle Scholar
  26. 26.
    Gehlert, A., Metzger, A.: Quality reference model for SBA. Contractual Deliverable CD-JRA-1.3.2, S-Cube Consortium (March 2009),
  27. 27.
    Zhao, X., Cai, C., Yang, H., Qiu, Z.: A QoS view of web service choreography. In: ICEBE, pp. 607–611. IEEE Computer Society, Los Alamitos (2007)Google Scholar
  28. 28.
    Chapin, N., Hale, J.E., Khan, K.M., Ramil, J.F., Tan, W.G.: Types of software evolution and software maintenance. Journal of Software Maintenance 13(1), 3–30 (2001)CrossRefzbMATHGoogle Scholar
  29. 29.
    Juric, M.B., Sasa, A., Rozman, I.: WS-BPEL extensions for versioning. Information and Software Technology 51(8), 1261–1274 (2009)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Michele Mancioppi
    • 1
  • Mikhail Perepletchikov
    • 2
  • Caspar Ryan
    • 2
  • Willem-Jan van den Heuvel
    • 1
  • Mike P. Papazoglou
    • 1
  1. 1.European Research Institute in Services Science (ERISS)Tilburg UniversityThe Netherlands
  2. 2.School of Computer Science and ITRMIT UniversityAustralia

Personalised recommendations