Skip to main content

Advertisement

SpringerLink
Log in
Menu
Find a journal Publish with us
Search
Cart
Book cover

International Conference on Service-Oriented Computing

ICSOC 2012: Service-Oriented Computing pp 252–267Cite as

  1. Home
  2. Service-Oriented Computing
  3. Conference paper
A Constraint-Based Approach to Quality Assurance in Service Choreographies

A Constraint-Based Approach to Quality Assurance in Service Choreographies

  • Dragan Ivanović20,
  • Manuel Carro20,21 &
  • Manuel V. Hermenegildo20,21 
  • Conference paper
  • 2223 Accesses

  • 4 Citations

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 7636)

Abstract

The knowledge about the quality characteristics (QoS) of service compositions is crucial for determining their usability and economic value; the quality of service compositions is usually regulated using Service Level Agreements (SLAs). While end-to-end SLAs are well suited for request-reply interactions, more complex, decentralized, multi-participant compositions (service choreographies) typically need multiple message exchanges between stateful parties and the corresponding SLAs thus involve several cooperating parties with interdependent QoS. The usual approaches to determining QoS ranges structurally (which are by construction easily composable) are not applicable in this scenario. Additionally, the intervening SLAs may depend on the exchanged data. We present an approach to data-aware QoS assurance in choreographies through the automatic derivation of composable QoS models from participant descriptions. Such models are based on a message typing system with size constraints and are derived using abstract interpretation. The models obtained have multiple uses including run-time prediction, adaptive participant selection, or design-time compliance checking. We also present an experimental evaluation and discuss the benefits of the proposed approach.

Keywords

  • Service Compositions
  • Quality of Service
  • Quality Assurance
  • Constraints
  • Abstract Interpretation

The authors were partially supported by Spanish MINECO project 2008-05624/TIN DOVES and Community of Madrid project P2009/TIC/1465 PROMETIDOS-CM.

Download conference paper PDF

References

  1. Apt, K.R.: Principles of Constraint Programming. Cambridge University Press (2003)

    Google Scholar 

  2. Apt, K.R., Wallace, M.G.: Constraint Logic Programming Using ECLIPSE. Cambridge University Press (2007)

    Google Scholar 

  3. Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, pp. 191–202. ACM, New York (2012)

    CrossRef  Google Scholar 

  4. Cousot, P., Cousot, R.: Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proc. of POPL 1977, pp. 238–252. ACM Press (1977)

    Google Scholar 

  5. Ivanović, D., Carro, M., Hermenegildo, M.: Exploring the impact of inaccuracy and imprecision of qos assumptions on proactive constraint-based QoS prediction for service orchestrations. In: Proceedings of the 4th International Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2012, pp. 931–937. IEEE Press (June 2012)

    Google Scholar 

  6. Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press (2002)

    Google Scholar 

  7. Dechter, R.: Constraint Processing. Morgan Kauffman Publishers (2003)

    Google Scholar 

  8. Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: Extending BPEL for Modeling Choreographies. In: ICWS, pp. 296–303 (2007)

    Google Scholar 

  9. Dezani-Ciancaglini, M., de’Liguoro, U.: Sessions and Session Types: An Overview. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 1–28. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  10. Di Nitto, E., Ghezzi, C., Metzger, A., Papazoglou, M., Pohl, K.: A journey to highly dynamic, self-adaptive service-based applications. Automated Software Engineering 15, 313–341 (2008), doi:10.1007/s10515-008-0032-x

    CrossRef  Google Scholar 

  11. Faltings, B., Yokoo, M. (eds.): Artificial Intelligence Journal: Special Issue on Distributed Constraint Satisfaction, vol. 161. Elsevier Science Publishers Ltd., Essex (2005)

    Google Scholar 

  12. Hielscher, J., Kazhamiakin, R., Metzger, A., Pistore, M.: A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing. In: Mähönen, P., Pohl, K., Priol, T. (eds.) ServiceWave 2008. LNCS, vol. 5377, pp. 122–133. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  13. Ivanović, D., Carro, M., Hermenegildo, M.: Towards Data-Aware QoS-Driven Adaptation for Service Orchestrations. In: Proceedings of the 2010 IEEE International Conference on Web Services, ICWS 2010, Miami, FL, USA, July 5-10, pp. 107–114. IEEE (2010)

    Google Scholar 

  14. Ivanović, D., Carro, M., Hermenegildo, M.: Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. In: Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) ICSOC 2011. LNCS, vol. 7084, pp. 62–76. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  15. Leitner, P., Michlmayr, A., Rosenberg, F., Dustdar, S.: Monitoring, prediction and prevention of sla violations in composite services. In: ICWS, pp. 369–376. IEEE Computer Society (2010)

    Google Scholar 

  16. Metzger, A., Benbernou, S., Carro, M., Driss, M., Kecskemeti, G., Kazhamiakin, R., Krytikos, K., Mocci, A., Di Nitto, E., Wetzstein, B., Silvestril, F.: Analytical Quality Assurance. In: Papazoglou, M.P., Pohl, K., Parkin, M., Metzger, A. (eds.) Service Research Challenges and Solutions. LNCS, vol. 6500, pp. 209–270. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  17. Object Management Group. Business Process Modeling Notation (BPMN), Version 1.2 (January 2009)

    Google Scholar 

  18. Reynolds, J.C.: The discoveries of continuations. LISP and Symbolic Computation Journal 6, 233–247 (1993)

    CrossRef  Google Scholar 

  19. Sammodi, O., Metzger, A., Franch, X., Oriol, M., Marco, J., Pohl, K.: Usage-based online testing for proactive adaptation of service-based applications. In: COMPSAC 2011 – The Computed World: Software Beyond the Digital Society. IEEE Computer Society (2011)

    Google Scholar 

  20. Schmieders, E., Metzger, A.: Preventing Performance Violations of Service Compositions Using Assumption-Based Run-Time Verification. In: Abramowicz, W., Llorente, I.M., Surridge, M., Zisman, A., Vayssière, J. (eds.) ServiceWave 2011. LNCS, vol. 6994, pp. 194–205. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  21. Stein, S., Payne, T.R., Jennings, N.R.: Robust execution of service workflows using redundancy and advance reservations. IEEE T. Services Computing 4(2), 125–139 (2011)

    CrossRef  Google Scholar 

  22. Tselentis, G., Dominigue, J., Galis, A., Gavras, A., Hausheer, D.: Towards the Future Internet: A European Research Perspective. IOS Press, Amsterdam (2009)

    Google Scholar 

  23. van der Aalst, W.M.P., Dumas, M., Ouyang, C., Rozinat, A., Verbeek, H.M.W.: Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. In: The Role of Business Processes in Service Oriented Architectures, Dagstuhl Seminar Proceedings (2006)

    Google Scholar 

  24. World Wide Web Consortium. Web Services Choreography Description Language Version 1.0 (November 2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, T. University of Madrid (UPM), Spain

    Dragan Ivanović, Manuel Carro & Manuel V. Hermenegildo

  2. IMDEA Software Institute, Spain

    Manuel Carro & Manuel V. Hermenegildo

Authors
  1. Dragan Ivanović
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manuel Carro
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Manuel V. Hermenegildo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of ICT, Swinburne University of Technology, John Street, 3122, Hawthorn, VIC, Australia

    Chengfei Liu

  2. IBM Almaden Research Center, 650 Harry Road, 95120, San Jose, CA, USA

    Heiko Ludwig

  3. LIMOS - UMR 6158, Blaise Pascal University, Complexe scientifique des Cézeaux, 63177, Aubiere, France

    Farouk Toumani

  4. College of Computing and Information Sciences, Rochester Institute of Technology, 1 Lomb Memorial Drive, 14623, Rochester, NY, USA

    Qi Yu

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ivanović, D., Carro, M., Hermenegildo, M.V. (2012). A Constraint-Based Approach to Quality Assurance in Service Choreographies. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds) Service-Oriented Computing. ICSOC 2012. Lecture Notes in Computer Science, vol 7636. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34321-6_17

Download citation

  • .RIS
  • .ENW
  • .BIB
  • DOI: https://doi.org/10.1007/978-3-642-34321-6_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34320-9

  • Online ISBN: 978-3-642-34321-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Share this paper

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

Search

Navigation

  • Find a journal
  • Publish with us

Discover content

  • Journals A-Z
  • Books A-Z

Publish with us

  • Publish your research
  • Open access publishing

Products and services

  • Our products
  • Librarians
  • Societies
  • Partners and advertisers

Our imprints

  • Springer
  • Nature Portfolio
  • BMC
  • Palgrave Macmillan
  • Apress
  • Your US state privacy rights
  • Accessibility statement
  • Terms and conditions
  • Privacy policy
  • Help and support

167.114.118.210

Not affiliated

Springer Nature

© 2023 Springer Nature