A Framework for Linking and Pricing No-Cure-No-Pay Services

  • K. M. van Hee
  • H. M. W. Verbeek
  • Christian Stahl
  • N. Sidorova
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5460)


In this paper, we present a framework that allows us to orchestrate web services such that the web services involved in this orchestration interact properly. To achieve this, we predefine service interfaces and certain routing constructs.

Furthermore, we define a number of rules to incrementally compute the price of such a properly interacting orchestration (i.e. a web service) from the price of its web services. The fact that a web service gets only payed after its service is delivered (no-cure-no-pay) is reflected by considering a probability of success. To determine a safe price that includes the risk a web service takes, we consider the variance of costs.


Model Check Cost Variance Parallel Composition Input Place Service Orchestration 
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.
    Micali, S., Rivest, R.L.: Micropayments revisited. In: Preneel, B. (ed.) CT-RSA 2002. LNCS, vol. 2271, pp. 149–163. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  2. 2.
    Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)CrossRefGoogle Scholar
  3. 3.
    Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, vol. 4. Springer, Berlin (1985)CrossRefzbMATHGoogle Scholar
  4. 4.
    van der Aalst, W.M.P.: The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  5. 5.
    Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnozing workflow processes using Woflan. The Computer Journal 44(4), 246–279 (2001)CrossRefzbMATHGoogle Scholar
  6. 6.
    Verbeek, H.M.W., van der Aalst, W.M.P.: Woflan 2.0: A Petri-net-based workflow diagnosis tool. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 475–484. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  7. 7.
    Ross, S.: Introduction to probability models. Academic Press, London (2007)Google Scholar
  8. 8.
    Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3), 35–43 (2005)Google Scholar
  9. 9.
    van Hee, K.M., Verbeek, H.M.W., Stahl, C., Sidorova, N.: A Framework for Linking and Pricing No-Cure-No-Pay Services. Computer Science Report 08/19, Technische Universiteit Eindhoven, The Netherlands (2008)Google Scholar
  10. 10.
    van der Aalst, W.M.P., Beisiegel, M., van Hee, K.M., König, D., Stahl, C.: An SOA-based architecture framework. International Journal of Business Process Integration and Management (IJBPIM) 2(2), 91–101 (2007)CrossRefGoogle Scholar
  11. 11.
    Beisiegel, M., et al.: Service Component Architecture – Assembly Model Specification. SCA Version 1.00, March 15 2007, IBM, SAP et al (2007)Google Scholar
  12. 12.
    Milanovic, N.: Contract-based web service composition framework with correctness guarantees. In: Malek, M., Nett, E., Suri, N. (eds.) ISAS 2005. LNCS, vol. 3694, pp. 52–67. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  13. 13.
    Díaz, G., Cambronero, M.-E., Pardo, J.J., Valero, V., Cuartero, F.: Automatic generation of correct web services choreographies and orchestrations with model checking techniques. In: AICT/ICIW (2006)Google Scholar
  14. 14.
    Magnani, M., Montesi, D.: BPMN: How Much Does It Cost? An Incremental Approach. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 80–87. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  15. 15.
    Cardoso, J., Sheth, A.P., Miller, J.A., Arnold, J., Kochut, K.: Quality of service for workflows and web service processes. J. Web Sem. 1(3), 281–308 (2004)CrossRefGoogle Scholar
  16. 16.
    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
  17. 17.
    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
  18. 18.
    vom Brocke, J., Lindner, M.A.: Service portfolio measurement: a framework for evaluating the financial consequences of out-tasking decisions. In: Aiello, M., Aoyama, M., Curbera, F., Papazoglou, M.P. (eds.) ICSOC 2004, pp. 203–211. ACM, New York (2004)Google Scholar
  19. 19.
    Günther, O., Tamm, G., Leymann, F.: Pricing web services. International Journal of Business Process Integration and Management (IJBPIM) 2(2), 132–140 (2007)CrossRefGoogle Scholar
  20. 20.
    Ding, W.: Services pricing through business value modeling and analysis. In: 2007 IEEE International Conference on Services Computing (SCC 2007), July 9-13, 2007, pp. 380–386. IEEE Computer Society, Salt Lake City (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • K. M. van Hee
    • 1
  • H. M. W. Verbeek
    • 1
  • Christian Stahl
    • 2
    • 1
  • N. Sidorova
    • 1
  1. 1.Department of Mathematics and Computer ScienceEindhoven University of TechnologyEindhovenThe Netherlands
  2. 2.Institut für InformatikHumboldt-Universität zu BerlinBerlinGermany

Personalised recommendations