Service Discovery with Cost Thresholds

  • Jan Sürmeli
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7843)


In a service-oriented architecture, business processes are implemented as interacting services. During service discovery, a service requester N queries a service broker for a compatible service provider. Compatibility criteria exist on different levels, among others behavior and non-functional properties. For several behavioral compatibility criteria the problem to find a compatible service provider has been solved. In this paper, we tackle the case of non-functional compatibility.

In particular, we study cost thresholds. Intuitively, the costs for the service requester to interact with a compatible service provider stay below a given threshold. Thereby, costs are an abstract concept, representing a variety of non-functional properties as for instance execution costs, execution time, reliability or energy consumption. We contribute a formal framework to model such costs based on semirings. Additionally, we present first results in the field of analysis. Thereby, we focus on enabling the reuse of existing analysis techniques for behavioral criteria.


Cost Model Service Discovery State Predicate Service Broker Cost Threshold 
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.
    Abdulla, P., Mayr, R.: Minimal Cost Reachability/Coverability in Priced Timed Petri Nets. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol. 5504, pp. 348–363. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  2. 2.
    Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters 21(4), 181–185 (1985)MathSciNetzbMATHCrossRefGoogle Scholar
  3. 3.
    Alves, A.: Others: Web Services Business Process Execution Language Version 2.0. Oasis standard, OASIS (April 11, 2007)Google Scholar
  4. 4.
    Belhajjame, K., Brambilla, M.: Ontological description and similarity-based discovery of business process models. IJISMD, 47–66 (2011)Google Scholar
  5. 5.
    Dong, X., Halevy, A., Madhavan, J., Nemes, E., Zhang, J.: Similarity search for web services. In: Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, vol. 30, pp. 372–383. VLDB Endowment (2004)Google Scholar
  6. 6.
    Droste, M., Kuich, W., Vogler, H.: Handbook of Weighted Automata, 1st edn. Springer Publishing Company, Incorporated (2009)Google Scholar
  7. 7.
    Grigori, D., Corrales, J.C., Bouzeghoub, M.: Behavioral matchmaking for service retrieval. In: 2012 IEEE 19th International Conference on Web Services, pp. 145–152 (2006)Google Scholar
  8. 8.
    Lohmann, N., Massuthe, P., Wolf, K.: Behavioral Constraints for Services. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 271–287. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  9. 9.
    Lohmann, N., Wolf, K.: How to implement a theory of correctness in the area of business processes and services. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 61–77. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  10. 10.
    Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1, 35–43 (2005)Google Scholar
  11. 11.
    De Paoli, F., Lulli, G., Maurino, A.: Design of Quality-Based Composite Web Services. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 153–164. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Papazoglou, M.P.: What’s in a service? In: Oquendo, F. (ed.) ECSA 2007. LNCS, vol. 4758, pp. 11–28. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  13. 13.
    Papazoglou, M.P.: Web Services: Principles and Technology. Pearson - Prentice Hall, Essex (2007)Google Scholar
  14. 14.
    Reisig, W.: Petri Nets: An Introduction, Monographs in Theoretical Computer Science. An EATCS Series, vol. 4. Springer (1985)Google Scholar
  15. 15.
    Shen, Z., Su, J.: Web service discovery based on behavior signatures. In: Proceedings of the 2005 IEEE International Conference on Services Computing, SCC 2005, vol. 1, pp. 279–286. IEEE Computer Society, Washington, DC (2005)Google Scholar
  16. 16.
    Sürmeli, J.: Synthesizing cost-minimal partners for services. Informatik-Berichte 239, Humboldt-Universität zu Berlin (2012)Google Scholar
  17. 17.
    Toch, E., Gal, A., Reinhartz-Berger, I., Dori, D.: A semantic approach to approximate service retrieval. ACM Trans. Internet Technol. 8(1) (November 2007)Google Scholar
  18. 18.
    van der Aalst, W., Lohmann, N., La Rosa, M., Xu, J.: Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 95–111. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  19. 19.
    Wolf, K.: Does my service have partners? In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol. 5460, pp. 152–171. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  20. 20.
    Zeng, L., Benatallah, B., Ngu, A.H.H., Dumas, M., Kalagnanam, J., Chang, H.: QoS-Aware Middleware for Web Services Composition. IEEE Trans. Software Eng. 30(5), 311–327 (2004)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Jan Sürmeli
    • 1
  1. 1.Institut für InformatikHumboldt-Universität zu BerlinBerlinGermany

Personalised recommendations