Service Discovery Using Communication Fingerprints

  • Olivia Oanea
  • Jan Sürmeli
  • Karsten Wolf
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6470)


A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compatibility. In the case of stateful services, there is the additional need to check behavioral (i.e. protocol) compatibility. This paper is concerned with the latter aspect. For speeding up compatibility checks which need to be performed on many candidate services, we propose an abstraction of the behavior of each published service that we call communication fingerprint. The technique is based on linear programming and is thus extremely efficient. We validate our approach on a large set of services that we cut out of real world business processes.


Business Process Model Check Service Discovery Business Process Model Service Broker 
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.
    Oanea, O., Sürmeli, J., Wolf, K.: Service discovery using communication fingerprints. Informatik-Berichte 236, Humboldt-Universität zu Berlin (2010)Google Scholar
  2. 2.
    Clarke, E.M., Peled, D., Grumberg, O.: Model Checking. MIT Press, Cambridge (1999)Google Scholar
  3. 3.
    Wolf, K., Stahl, C., Ott, J., Danitz, R.: Verifying livelock freedom in an SOA scenario. In: ACSD 2009, pp. 168–177. IEEE, Los Alamitos (2009)Google Scholar
  4. 4.
    Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 77–91. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  5. 5.
    Alves, A., et al.: Web Services Business Process Execution Language Version 2.0. Technical Report CS-02-08, OASIS (2007)Google Scholar
  6. 6.
    Zaitsev, D.A.: Compositional analysis of Petri nets. Cybernetics and Systems Analysis 42(1), 126–136 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Sürmeli, J.: Profiling services with static analysis. In: AWPN 2009 Proceedings, of CEUR Workshop Proceedings, vol. 501, pp. 35–40 (2009)Google Scholar
  8. 8.
    Oanea, O., Wolf, K.: An efficient necessary condition for compatibility. In: ZEUS, of CEUR Workshop Proceedings, vol. 438, pp. 81–87 (2009)Google Scholar
  9. 9.
    Wolf, K.: Does my service have partners? In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets. LNCS, vol. 5460, pp. 152–171. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  10. 10.
    Lautenbach, K.: Liveness in Petri Nets. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung Bonn, Interner Bericht ISF-75-02.1 (1975)Google Scholar
  11. 11.
    Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Instantaneous soundness checking of industrial business process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) Business Process Management. LNCS, vol. 5701, pp. 278–293. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  12. 12.
    Mennicke, S., Oanea, O., Wolf, K.: Decomposition into open nets. In: AWPN 2009, Proceedings of CEUR Workshop, pp. 29–34 (2009)Google Scholar
  13. 13.
    van der Aalst, W.M.P.: Matching observed behavior and modeled behavior: an approach based on Petri nets and integer programming. Decis. Support Syst. 42(3), 1843–1859 (2006)CrossRefGoogle Scholar
  14. 14.
    Weidlich, M., Weske, M., Mendling, J.: Change propagation in process models using behavioural profiles. In: SCC 20209, pp. 33–40. IEEE, Los Alamitos (2009)Google Scholar
  15. 15.
    Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Efficient computation of causal behavioural profiles using structural decomposition. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol. 6128, Springer, Heidelberg (2010)Google Scholar
  16. 16.
    Kaschner, K., Wolf, K.: Set algebra for service behavior: Applications and constructions. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 193–210. Springer, Heidelberg (2009)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Olivia Oanea
    • 1
  • Jan Sürmeli
    • 2
  • Karsten Wolf
    • 1
  1. 1.Universität RostockRostockGermany
  2. 2.Humboldt-Universität zu BerlinBerlinGermany

Personalised recommendations