Template-Based Generation of Semantic Services

  • Felix Mohr
  • Sven Walther
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8919)


There are many technologies for the automation of processes that deal with services; examples are service discovery and composition. Automation of these processes requires that the services are described semantically. However, semantically described services are currently not or only rarely available, which limits the applicability of discovery and composition approaches. The systematic support for creating new semantic services usable by automated technologies is an open problem.

We tackle this problem with a template based approach: Domain independent templates are instantiated with domain specific services and boolean expressions. This process yields both the description and the implementation of new services whose correctness directly follows from the correctness of the template. Besides the theory, we present a preliminary evaluation for service repositories in which 85% of the services were generated automatically in efficient time and explain why these are indeed useful.


services templates correctness semantic descriptions automation composition 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Apt, K., de Boer, F., Olderog, E.R.: Verification of sequential and concurrent programs. Springer (2009)Google Scholar
  2. 2.
    Bartalos, P., Bieliková, M.: Automatic dynamic web service composition: A survey and problem formalization. Computing and Informatics 30(4), 793–827 (2012)Google Scholar
  3. 3.
    Bertoli, P., Pistore, M., Traverso, P.: Automated composition of web services via planning in asynchronous domains. Artificial Intelligence 174(3), 316–361 (2010)CrossRefMathSciNetGoogle Scholar
  4. 4.
    Cavallaro, L., Nitto, E.D., Furia, C.A., Pradella, M.: A tile-based approach for self-assembling service compositions. In: Proceedings of 15th International Conference on Engineering of Complex Computer Systems, pp. 43–52 (2010)Google Scholar
  5. 5.
    Cok, D.R., Kiniry, J.R.: ESC/Java2: Uniting ESC/Java and JML. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol. 3362, pp. 108–128. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  6. 6.
    Junghans, M., Agarwal, S., Studer, R.: Towards practical semantic web service discovery. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part II. LNCS, vol. 6089, pp. 15–29. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  7. 7.
    Klusch, M., Kaufer, F.: WSMO-MX: A hybrid semantic web service matchmaker. Web Intelligence and Agent Systems 7(1), 23–42 (2009)Google Scholar
  8. 8.
    Klusch, M., Zhing, X.: Deployed semantic services for the common user of the web: A reality check. In: Proceedings of the 2nd IEEE International Conference on Semantic Computing. pp. 347–353. IEEE (2008)Google Scholar
  9. 9.
    Lécué, F., Silva, E., Pires, L.F.: A framework for dynamic web services composition. In: Emerging Web Services Technology, vol. II, pp. 59–75. Springer (2008)Google Scholar
  10. 10.
    Mohr, F., Kleine Büning, H.: Semi-automated software composition through generated components. In: Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services. ACM (2013)Google Scholar
  11. 11.
    Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proceedings of the 11th International World Wide Web Conference (WWW 2011), pp. 77–88. ACM (2002)Google Scholar
  12. 12.
    Naujokat, S., Lamprecht, A.-L., Steffen, B.: Loose programming with PROPHETS. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 94–98. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  13. 13.
    Schulte, S., Lampe, U., Eckert, J., Steinmetz, R.: LOG4SWS. KOM: self-adapting semantic web service discovery for SAWSDL. In: Proceedings of the 6th World Congress on Services, pp. 511–518. IEEE (2010)Google Scholar
  14. 14.
    Sohrabi, S., McIlraith, S.A.: Preference-based web service composition: A middle ground between execution and search. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 713–729. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  15. 15.
    Srivastava, S., Gulwani, S., Foster, J.S.: From program verification to program synthesis. In: Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, pp. 313–326. ACM, New York (2010)Google Scholar
  16. 16.
    Walther, S., Wehrheim, H.: Knowledge-based verification of service compositions – An SMT approach. In: Proceedings of the 18th International Conference on Engineering of Complex Computer Systems, pp. 24–32 (2013)Google Scholar
  17. 17.
    Walther, S., Wehrheim, H.: Verified service compositions by template-based construction. In: Formal Aspects of Component Software. LNCS. Springer, Heidelberg (2014)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Felix Mohr
    • 1
  • Sven Walther
    • 1
  1. 1.Department of Computer ScienceUniversity of PaderbornGermany

Personalised recommendations