Preventing Performance Violations of Service Compositions Using Assumption-Based Run-Time Verification

  • Eric Schmieders
  • Andreas Metzger
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6994)


Service-based Applications (SBAs) will increasingly be deployed in highly distributed and dynamic settings. To a large extent this dynamicity is caused by the trend to increasingly compose SBAs using third-party services. Those services are provided by external organizations and are thus not under the control of the SBA provider. For critical application domains (such as emergency or financial) and important customers (such as key accounts), the SBA developer needs to ensure that each individual SBA instance will live up to its expected requirements even though its constituent, third-party services might fail. To prevent such requirements violations, SBAs should be equipped with monitoring, prediction and adaptation capabilities which are able to foresee and avert menacing violations. Several approaches exploiting preventive adaptations have been presented in the literature, but they rely on the existence of cost models or comprehensive training data that limit their applicability in practice. In this paper we present SPADE, an automated technique that addresses those limitations. Based on assumptions about the SBA’s constituent services (derived from SLAs), SPADE formally verifies the SBA against its requirements during run-time. The experimental evaluation of SPADE, using data collected for six real services, demonstrates its practical applicability in predicting violations of performance requirements.


Service Composition Service Level Agreement Service Invocation Adaptation Capability Service Level Agreement Violation 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bauer, F.L., Berghammer, et al.: The Munich Project CIP: Volume I: the wide spectrum language CIP-L. Springer, London (1985)CrossRefGoogle Scholar
  2. 2.
    Bianculli, D., Ghezzi, C., Spoletini, P., Baresi, L., Guinea, S.: A guided tour through SAVVY-WS: A methodology for specifying and validating web service compositions. In: Börger, E., Cisternino, A. (eds.) Advances in Software Engineering. LNCS, vol. 5316, pp. 131–160. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  3. 3.
    Cavallo, B., Di Penta, M., Canfora, G.: An empirical comparison of methods to support QoS-aware service selection. In: 2nd International Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2010 (co-located with ICSE 2010, Cape Town), pp. 64–70 (2010)Google Scholar
  4. 4.
    Comuzzi, M., Pernici, B.: A framework for qos-based web service contracting. ACM Transactions on Web 3(3) (2009)Google Scholar
  5. 5.
    Di Nitto, E., Ghezzi, C., Metzger, A., Papazoglou, M., Pohl, K.: A journey to highly dynamic, self-adaptive service-based applications. Automated Software Engineering (2008)Google Scholar
  6. 6.
    Gehlert, A., Bucchiarone, A., Kazhamiakin, R., Metzger, A., Pistore, M., Pohl, K.: Exploiting assumption-based verification for the adaptation of service-based applications. In: Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26. ACM, New York (2010)Google Scholar
  7. 7.
    Ghezzi, C., Tamburrelli, G.: Reasoning on non-functional requirements for integrated services. In: Proceedings of the 2009 17th IEEE International Requirements Engineering Conference. RE 2009, pp. 69–78 (2009)Google Scholar
  8. 8.
    Hermosillo, G., Seinturier, L., Duchien, L.: Using complex event processing for dynamic business process adaptation. In: Proceedings of the 2010 IEEE International Conference on Services Computing, SCC 2010 (2010)Google Scholar
  9. 9.
    Ivanović, D., Treiber, M., Carro, M., Dustdar, S.: Building dynamic models of service compositions with simulation of provision resources. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol. 6412, pp. 288–301. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  10. 10.
    Ivanovic, 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, pp. 107–114 (2010)Google Scholar
  11. 11.
    Leitner, P., Wetzstein, B., Karastoyanova, D., Hummer, W., Dustdar, S., Leymann, F.: Preventing SLA violations in service compositions using aspect-based fragment substitution. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 365–380. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  12. 12.
    Leitner, P., Wetzstein, B., Rosenberg, F., Michlmayr, A., Dustdar, S., Leymann, F.: Runtime prediction of service level agreement violations for composite services. In: Dan, A., Gittler, F., Toumani, F. (eds.) ICSOC/ServiceWave 2009. LNCS, vol. 6275, pp. 176–186. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  13. 13.
    Lin, K.J., Panahi, M., Zhang, Y., Zhang, J., Chang, S.H.: Building accountability middleware to support dependable soa. IEEE Internet Computing 13, 16–25 (2009)CrossRefGoogle Scholar
  14. 14.
    Papazoglou, M., Pohl, K., Parkin, M., Metzger, A. (eds.): Service Research Challenges and Solutions for the Future Internet: Towards Mechanisms and Methods for Engineering, Managing, and Adapting Service-Based Systems. Springer, Heidelberg (2010)Google Scholar
  15. 15.
    Tselentis, G., Domingue, J., Galis, A., Gavras, A., Hausheer, D.: Towards the Future Internet: A European Research Perspective. IOS Press, Amsterdam (2009)Google Scholar
  16. 16.
    Wang, H., Zhou, X., Zhou, X., Liu, W., Li, W., Bouguettaya, A.: Adaptive service composition based on reinforcement learning. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 92–107. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  17. 17.
    Zeng, L., Lingenfelder, C., Lei, H., Chang, H.: Event-driven quality of service prediction. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 147–161. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  18. 18.
    Zheng, Z., Zhang, Y., Lyu, M.R.: Distributed qos evaluation for real-world web services. In: Proceedings of the 2010 IEEE International Conference on Web Services, ICWS 2010, pp. 83–90. IEEE Computer Society, Washington, DC, USA (2010)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Eric Schmieders
    • 1
  • Andreas Metzger
    • 1
  1. 1.Paluno (The Ruhr Institute for Software Technology)University of Duisburg-EssenEssenGermany

Personalised recommendations